«circuit-complexity» etiketlenmiş sorular

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

1
Sınırlı üçlü genişlik devreleri ne işe yarar?
Bir söz edilebilir treewidth bağlantı telleri: aşağıdaki gibi elde teller (vertices) üzerine "moralized" grafiğin treewidth olarak tanımlayan bir Boole devrenin ve her sahip bir kapının çıkışı olan girdi olarak (ya da tersine); ve kablolarını , aynı kapıya giriş olarak kullanıldıklarında bağlayın. Düzenleme: bir eşdeğeri devrenin trewthth onu temsil eden grafik …
1
devre değerlendirmesi
devre değerlendirme sorununun içinde olup olmadığı biliniyor mu? Ne ilgili (düzgün )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} derinliği devrelerinin evrensel bir sabit olduğu derinliği devreleri ile değerlendirilebildiğini biliyoruz . Bu, derinlik devrelerinin derinlik devresi ile değerlendirilebileceği anlamına gelir . Ancak , sonunda içindeki tüm işlevlere hakim olan bir işlev içermez .kkkk+ck+ck+ccccklgn+o(lgn)klg⁡n+o(lg⁡n)k\lg n + o(\lg n)O(lgn)O(lg⁡n)O(\lg …
2
Bir alt-bağlı elde etmek için rasgele bir kısıtlama kullanmak mümkün
Rastgele kısıtlamalara ve Anahtarlama iyi bilinen birkaç devre boyutu alt sınırı sonucu vardır .AC0AC0\mathsf{AC^0} devreleri için alt sınır boyutunu kanıtlamak için Anahtarlama Lemma sonucu geliştirebilir miyiz ( için alt sınır kanıtlarına benzer )? A C 0TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Yoksa alt sınırlarını kanıtlamak için bu yaklaşımı kullanmanın önünde herhangi bir engel var mı?TC0TC0\mathsf{TC^0} …
2
L'nin devreler açısından bir tanımı var mı?
Turing makineleri ile tanımlanan birçok karmaşıklık sınıfı, düzgün devreler açısından tanımlara sahiptir. Örneğin P, aynı zamanda, tekdüze polinom boyutlu devreler kullanılarak tanımlanabilir ve benzer şekilde, BPP, NP, BQP, vb., Tekdüze devrelerle tanımlanabilir. Peki L'nin devre tabanlı bir tanımı var mı? Açık bir fikir, bazı derinlik sınırlaması olan polinom boyutu devrelerine …
1
Adleman'ın sonsuz dönemlere ilişkin teoremi?
Adleman bu 1978'de göstermiştir boolean bir fonksiyonu ise: bir değişken boyutlu bir olasılık Boole devre ile hesaplanabilmektedir , daha sonra de deterministik hesaplanabilmektedir ve cinsinden polinom büyüklüğünde boole devresi ; aslında, boyutunda . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Genel Soru: hangi diğer (boole dışında) semirleri tutar? BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} Biraz daha spesifik olmak gerekirse, …
2
olduğu varsayımıyla
Bilindiği gibi, eğer sonra polinom hiyerarşi çöker ve .Σ P 2 M A = A MNP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM olduğunda bilinen en güçlü çökmeler nelerdir ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly
2
Turing makinesi açısından mP / poly'nin eşdeğer bir tanımı nedir?
P / poly, bir polinom boyutlu Boole devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır. Alternatif olarak, n cinsinden polinom boyutunda olan ve yalnızca n boyutuna dayanan bir tavsiye dizesi alan bir polinom-zaman Turing makinesi olarak tanımlanabilir. MP / poli, polinom boyutlu monoton Boolean devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır, …
1
Önemsiz tek tip devreler var mı?
zamanında çalışan bir algoritma göz önüne alındığında , aynı boyut problemi için en fazla bir "önemsiz" düzgün devre ailesine dönüştürebiliriz .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) Öte yandan, en uygun çalışma süresi olsa bile, bu sorun için çok daha küçük düzgün devrelerimiz olabilir . Devrelerin oluşturulması den daha uzun sürebilir , ancak küçüktürler.t(n)t(n)t(n)t(n)t(n)t(n) …
3
Çoğunluk fonksiyonunun devre karmaşıklığı
Let çoğunluğu fonksiyonu, yani hem , ancak ve ancak . Aşağıdaki gerçeğin basit bir kanıtı olup olmadığını merak ediyordum ("basit" ile Valiant 84'ün yaptığı gibi olasılıksal yönteme veya sıralama ağlarına güvenmemek, tercihen devrenin açık, basit bir şekilde yapılandırılmasını sağlamak):f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}f(x)=1f(x)=1f(x) = 1∑ni=1xi>n/2∑i=1nxi>n/2\sum_{i = 1}^n x_i > n/2 fff …
1
Gürültülü Boole fonksiyonlarının sertliği
Boolean değişkeninin bir Boolean fonksiyonu olsun . Let olması beklenen değeri elde edilen her olasılığı ile koordine çevirerek .fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Hesaplamanın yaklaşmasının zor olduğu durumlarla ilgileniyorum . Me "yaklaşımı" kavramını sabit olsun (ama diğerleri olabilir): bir Boolean fonksiyonu yaklaşır Eğer olduğunda ve olduğunda .Bir sayım argümanı (pozitif oran hatası …
2
SAT bağlamsız bir dil midir?
Tüm tatmin edici teklif mantık formüllerinin dilini düşünüyorum, SAT (bunun sonlu bir alfabesi olduğundan emin olmak için, teklif harflerini uygun bir şekilde kodlayacağız [değiştir: cevaplar sorunun cevabının altında olmayabilir kodlamalar değiştiğinden, birisinin daha spesifik olması gerekir - aşağıdaki sonuçlarıma bakın] ). Benim basit sorum Mı SAT bir bağlam-dil? İlk tahminim, …
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.