«circuit-complexity» etiketlenmiş sorular

Sınıf sınıf işlevleri, sınırlı yelpaze içinde devreler aileleri tarafından hesaplanabilir boyutu ve derinliği. -hierarchy bu sınıfların birleşimidir.NCiNCi\textrm{NC}^inO(1)nO(1)n^{O(1)}O(logi(n))O(logi⁡(n))O(\log^i(n))NCNC\textrm{NC} Bu hiyerarşinin doğrusal boyutlu varyantı hakkında herhangi bir çalışma var mı? Sınırlı fan girişi, polilog derinliği ve doğrusal boyutta devre aileleri mi? Onların doğrusal- ile bazı çalışma var biliyorum ama başka bir şey. …

10 cc.complexity-theory  circuit-complexity 

Aşağıdaki karar sorununun karmaşıklığını belirlemekle ilgileniyorum: l 1 ve l 2 (her biri en fazla m biti olan) iki tamsayı verildiğinde , l 1 ⋅ l 2 çarpımının en önemli bitinin 1 (sonuç muhtemelen önde gelen 0'larla 2m bit olarak yazdırılır)?l1l1l_1l2l2l_2l1⋅l2l1⋅l2l_1 \cdot l_2 Sorunu bazı arka planı: Kuşkusuz, bu problem …

10 cc.complexity-theory  circuit-complexity 

Let karmaşıklık sınıf olarak ve BP- Cı randomize muadili olabilir C olarak tanımlanan BPP göre P . Daha resmi olarak polinom olarak çok sayıda rastgele bit sağlıyoruz ve kabul etme olasılığı 2'nin üzerindeyse bir girişi kabul ediyoruzCC\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} .2323\frac{2}{3} Düzgün olmayan devreler sınıfı için olduğu bilinmektedir :BPAC0=AC0BPAC0=AC0\textrm{BPAC}^0=\textrm{AC}^0 Miklós Ajtai, Michael …

10 circuit-complexity  randomized-algorithms 

Aşağıdaki sorunu düşünün: matrisi verildiğinde, v ↦ M v hesaplamak için çarpma algoritmasındaki ekleme sayısını optimize etmek istiyoruz .MMMv↦Mvv↦Mvv \mapsto Mv Matris çarpımının karmaşıklığıyla bağları nedeniyle bu problemi ilginç buluyorum (bu problem matris çarpımının sınırlı bir versiyonudur). Bu sorun hakkında ne biliyor? Bu problemi matris çarpım probleminin karmaşıklığıyla ilgili ilginç …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Devre Minimizasyonu , verilen bir devrenin boyutunu en aza indirmek için problemdir. Genel programlar için benzer bir şey var mı? Özellikle benim sorum - Belirli bir program için talimatların # sayısını en aza indirecek algoritmalar var mı? Bu karar verilemez bir sorun olduğunu biliyorum ama optimal bir şey döndüren bir …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

uzunluğundaki ikili dizelerin boş olmayan dilini düşünün . , girişli bir Boolean devresi ile ve doğru olduğunda bir çıkışla tanımlayabilirim : bu iyi bilinir.n L C n C ( w ) w ∈ LLLLnnnLLLCCCnnnC( w )C(w)C(w)w ∈ Lw∈Lw \in L Ancak, temsil etmek istiyorum bir Boolean devresi ile ile çıkışları …

10 fl.formal-languages  circuit-complexity 

Benim sorum neden derinlik 3 için alt sınırlar Kapıları "ve" ve "veya" xor "ile Boole devreleri üzerinde aritmetik devreler için aynı alt sınırları ima etmiyor ZZ\mathbb{Z}? Aşağıdaki argümanla yanlış olan şey: CCC , aritmetik bir devre hesaplama determinantı olsun, tüm mod 2 değişkenlerini alarak Boole devre hesaplama determinantını alacağız.

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Aşağıdaki soru Bellman-Ford sss - ttt en kısa yol dinamik programlama algoritmasının optimalliği ile ilgilidir ( bağlantı için bu yazıya bakınız ). Ayrıca, olumlu bir cevap , STCONN problemi için monoton belirsiz bir dallanma programının minimal boyutunun Θ ( n 3 ) olduğu anlamına gelecektir . Θ(n3)\Theta(n^3) Let GGG bir …

10 graph-theory  circuit-complexity  lower-bounds 

N değişkeninde ( ) m terimlerine sahip monoton bir CNF formülü, ; burada her , değişkenlerin bazı alt kümelerinin ve ile arasında değişir . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x n i 1 mx1, …

10 cc.complexity-theory  circuit-complexity  formulas 

Arka fon Devre karmaşıklığı , sınırsız derinlik ve sınırsız fan girişi VE, VEYA ve DEĞİL kullanılarak oluşturulan polinom boyutu olan devre ailelerinin (yani, her giriş boyutu için bir devre dizisi) kümesi olarak tanımlanır .A C0AC0AC^0 Parite fonksiyonu ile -bit giriş giriş bit XOR eşittir.n⊕⊕\oplusnnn Devre karmaşıklığında kanıtlanmış ilk devre alt …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Bir boole devresim olduğunu varsayalım CCC bazı fonksiyonları hesaplayan f: { 0 , 1}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}. Devrenin, en fazla 2 adet fan girişi ve fan çıkışı olan AND, OR ve NOT kapılarından oluştuğunu varsayalım. İzin Vermek x ∈ { 0 , 1}nx∈{0,1}nx \in \{0,1\}^nbelirli bir …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Homojen olmamanın hesaplamada yararlı olduğunu gördüğünüz yolları merak ediyorum. Bir yol, olduğu gibi rastgeleliktirB PP⊆ P/ polyBPP⊆P/pÖlyBPP \subseteq P/polydiğeri ise tüm dillerin düzgün olmayan devreleri olduğunu göstermek için kullanılan arama tablolarıdır. Özellikle, olasılıksal yöntem ve diğer yapıcı olmayan (ya da yapıcı-olmayan) kanıtlama yöntemleri ile var olduğu bilinen nesnelerin tekdüzelik kullanılarak …

9 circuit-complexity  advice-and-nonuniformity 

Razborov'un yaklaşım yöntemi nedir? Birisi üst düzey bir genel bakış ve arkasındaki sezgiyi verebilir mi?

9 cc.complexity-theory  circuit-complexity 

İzin Vermek CC\mathcal{C} karmaşıklık sınıfı olmak ve BP- CBPC\textrm{BP-}\mathcal{C} , ile aynı şekilde tanımlanan rastgele karşılığı olmak . Daha resmi olarak polinom olarak çok sayıda rastgele bit sağlıyoruz ve kabul etme olasılığı üzerindeyse bir girişi kabul ediyoruz .CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P}2323\frac{2}{3} Bir de önceki yazı , bunun eşitliği arasında geçerli olup olmadığı bilinen …

9 circuit-complexity  randomized-algorithms  derandomization 

Bu sorunun cevaplarının tüm polinomlar için sınıflar verdiğine inanıyorum.ppp, sınıfta boyut devresi olmayan bir problem varp ( n )p(n)p(n). Ancak, devre boyutu hakkında sorular soruyorumω( n )ω(n)\omega \hspace{.02 in}(n). (⟨00,11,22,31,44,51,66,71,88,91, . . .⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 in},\hspace{-0.04 in}1^{\hspace{-0.03 in}1}\hspace{-0.03 in},2^{\hspace{.02 in}2}\hspace{-0.04 in},\hspace{-0.03 in}3^1\hspace{-0.04 in},\hspace{-0.03 in}4^4\hspace{-0.03 in},\hspace{-0.03 in}5^1\hspace{-0.04 in},\hspace{-0.03 in}6^{\hspace{.03 …

9 circuit-complexity  lower-bounds