«circuit-complexity» etiketlenmiş sorular

Devre karmaşıklığı, kaynağa bağlı devrelerin ve bu devreler tarafından hesaplanan fonksiyonların incelenmesidir.

2
Sınırlı derinlik olasılık dağılımları
Sınırlı derinlik hesaplaması ile ilgili iki soru: 1) n bit ile başladığınızı ve i bitiyle başlamak için bağımsız olarak bazı p (i) olasılıkla 0 veya 1 olabileceğini varsayın. (Sorunu basitleştirirse, tüm p (i) 'lerin 0,1 veya 1/2 olduğunu varsayabiliriz.hatta hepsi 1/2.) Şimdi sınırlı sayıda hesaplama turu yapıyorsunuz. Her turda, ayrık …
2
NC ve P arasındaki sorunlar: Bu listeden kaç tanesi çözüldü?
Greenlaw, Hoover ve Ruzzo (PS) (PDF) tarafından yazılan "P için Tamamlanmış Bir Sorunlar Özeti" makalesinde , P'de NC'de bilinmeyen ve P-tamamlandığı bilinmeyen sorunların bir listesi vardır. . (Bu liste, Karp ve Ramachandran'ın mükemmel anketindeki tüm açık problemleri ele almaktadır .) Açık problemler listesi sayfa 89'da başlamaktadır. Bu listeden kaç sorun …
2
Kolmogorov'un P'nin devre karmaşıklığı hakkındaki varsayımına karşı / karşı görüşler
(Doğrulanmamış) tarihsel hesaba göre, Kolmogorov içindeki her dilin doğrusal devre karmaşıklığına sahip olduğunu düşündü . ( Kolmogorov'un doğrusal boyutlu devreleri olduğu yönündeki önceki sorusuna bakın .) anlamına geldiğine dikkat edin .P P ≠ K PPP\mathsf{P}PPPP ≠ N PP≠N-P\mathsf{P}\neq \mathsf{NP} Ancak Kolmogorov'un varsayımının başarısız olacağı düşünülüyor. Örneğin, Ryan Williams yeni bir …
1
Derinlemesine sayabilir miyiz
bit eşik geçidini lg n derinlik polinom boyutu (sınırsız fan girişi) devreleri ile hesaplayabilir miyiznnn ? Alternatif olarak, bu devreleri kullanarak giriş bitlerindeki 1s sayısını sayabilir miyiz?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} Mi ?TC0⊆AltTime(O(lgnlglgn),O(lgn))TC0⊆AltTime(O(lg⁡nlg⁡lg⁡n),O(lg⁡n))\mathsf{TC^0} \subseteq \mathsf{AltTime}(O(\frac{\lg n}{\lg \lg n}), O(\lg n)) Not bu . Yani soru aslında eşik kapılarını hesaplarken devrelerin derinliğinde …
1
Faktoring ve ayrık log için lineerden daha iyi bir alt sınır var mı?
Tamsayı çarpanlarına ayırma, asal / kompozit ayrık logaritma problemi ve eliptik eğrilerin nokta grubu (ve daha yüksek boyutlu abelyan çeşitleri) ve genel özellikleri gibi kriptografide ortaya çıkan belirli zor problemler için devre alt sınırları hakkında ayrıntı sağlayan herhangi bir referans var mı? gizli alt grup sorunu? Özellikle bu problemlerden herhangi …
4
Eşlik ve
Eşlik ve ayrılmaz ikizler gibidir. Ya da son 30 yıldır böyle görünüyor. Ryan'ın sonucu ışığında, küçük sınıflara olan ilginin yenilenmesi söz konusu olacak.birC0birC0AC^0 Furst Saxe Sipser - Yao - Hastad arasındaki tüm parite ve rastgele kısıtlamalar. Razborov / Smolensky, eşlikli yaklaşık polinomdur (tamam, mod kapıları). Aspnes ve arkadaşları parite üzerinde …
2
için devre üst sınırlarının
P'ye karşı NP için resmi Clay problem tanımında " E'deki her dilin ( deterministik bir Turing makinesiyle üstel zamanda tanınabilir diller sınıfı) bir Boole devre ailesi tarafından hesaplanabileceğini göstermesi gerektiği belirtiliyor. < B , n > en az bir böyle olduğu n , B , n bir Boole fonksiyonu hesaplamak …
5
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını test etmek mümkün müdür?
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
1
dönüştürmenin en etkili yolu
EDIT (22 Ağu 2011): Soruyu daha da basitleştiriyorum ve soruya bir lütuf katıyorum. Belki de bu daha basit sorunun cevabı kolay olacaktır. Ayrıca orijinal sorunun artık geçerli olmayan tüm kısımlarına da değineceğim. (Orijinal soruyu kısmen cevapladıkları için Stasys Jukna ve Ryan O'Donnell'e teşekkürler!) Arka fon: AC verilen 0 derinliği k …
2
Yeterince büyük boyuttaki afin alt uzaylarda sabit olmayan bir Boolean fonksiyonu
Açık bir Boolean işlevi f ile ilgileniyorum :f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}şu özelliğe sahipse: , bazı afin alt uzayında sabitse, bu alt uzayın boyutu .fff o ( n )0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Simetrik bir fonksiyonun dikkate alınarak bu özelliği karşılamadığını göstermek zor değildir . herhangi bir tam olarak 'e sahiptir ve bu nedenle …
1
Belirsiz devrelerin boyutu için daha düşük sınırlar
Eşlik işlevini hesaplayan devrelerinin minimum boyutunun tam olarak olduğu bilinmektedir . Alt sınır kanıtı kapı eleme yöntemine dayanır. 3 ( n - 1 )U2U2U_23(n−1)3(n−1)3(n-1) Son zamanlarda, kapı eliminasyon yönteminin belirsiz olmayan devreleri için de iyi çalıştığını fark ettim ve parite fonksiyonunu hesaplayan belirsiz olmayan devrelerinin boyutu için alt sınırını kanıtlayabiliriz. …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.