«logspace» etiketlenmiş sorular

ST-Bağlantı iki ayırt edici noktalar arasında yönlendirilmiş bir yolu vardır olup olmadığını belirlemenin bir sorundur ve yönlendirilmiş grafikte . Bu problemin logspace içerisinde çözülebilmesi, uzun zamandır açık bir problemdir. Bu vs sorunu denir .ssstttG ( V, E)G,(V,E)G(V,E)N-LN-LNLLLL altta yatan yönlendirilmemiş grafiği treewdth sınırlandırdığında ST-Connectivity'in karmaşıklığı nedir ?G,G,G NL-zor olduğu biliniyor …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Shiva Kintali sadece (! Serin) bir açıkladı neden olan genişliğinin sınırlı treewidth grafikler için grafik izomorfizm olan ⊕ L -Sert≥ 4≥4\geq 4⊕ L⊕L\oplus L . Gayriresmi olarak sorum şu, "Bu ne kadar zor?" Uniformiformly , bu sorunun cevabını bakın biliyoruz . Biz de olası olduğunu biliyoruz ⊕ L = P …

26 cc.complexity-theory  complexity-classes  logspace 

Eğer , daha sonra bir logspace algoritması olduğu çözer karar versiyon 2-SAT.L=NLL=NL\mathsf{L = NL} Mi bir logspace algoritma var olduğunu ima bilinen bir tatmin atamasını elde zaman girdi olarak karşılanabilir 2-SAT örneği verilen?L=NLL=NL\mathsf{L = NL} Değilse, alt doğrusal boşluk kullanan algoritmalar (cümle sayısında) ne olacak?

15 sat  search-problem  logspace 

P P A D'yiPPAD{\bf PPAD} bir çoklu zaman Turing makinesi / polysize devresi, bir günlük alanı Turing makinesi veya A C 0AC0{\bf AC^0} devresi yerine sorunu kodlayacak şekilde tanımlarsak ne olur ? Son zamanlarda küçük devreler için Devre memnuniyeti için daha hızlı algoritmalar vermenin önemli olduğu ortaya çıktı , bu …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

1-dim Weisfeiler Lehman algoritması (WL) genellikle standart etiketleme veya renk geliştirme algoritması olarak bilinir. Aşağıdaki gibi çalışır: İlk renklendirme eşittir, v ∈ V ( G ) ∪ V ( H ) tüm köşeler için C 0 ( v ) = 1'dir .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Bir günlük alanı varsa dil cinsindendir.L/polyL/polyL/poly Daha fazla bilgi için buraya bakın: https://en.wikipedia.org/wiki/L/poly Soru Sonuçları nedir ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Soru. Makalelerinde dengeleyici devrelerinin Geliştirilmiş simülasyon , Aaronson ve Gottesman, istem bir CNOT devresi simüle olduğu ⊕L (logspace indirimleri altında) -tamamlamak. ⊕L'de bulunduğu açıktır ; sertlik sonucu nasıl tutulur? Eşdeğer olarak: yinelenen matris ürünleri modulo 2'den, temel matrislerin (satır dönüşümlerini gerçekleştiren ters çevrilebilir matrisler) mod 2 yinelenen ürünlerine bir günlük …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Bu Ömer Reingold en dayanıklı USTCON için bir algoritma verir (bir de U özel köşeler ile grafik ndirected ve olduklarını, Con sadece logspace kullanılarak Bağlanan?). Temel fikir orijinal grafikten bir genişletici grafik oluşturmak ve daha sonra genişletici grafikte yürüyüş yapmaktır. Genişletici grafik, orijinal grafiğin birçok kez logaritmik olarak karesi alınarak …

13 graph-algorithms  nondeterminism  expanders  logspace 

PSPACE üzerindeki wikipedia sayfası PH'nun dahil edilmesinin katı olduğu bilinmemektedir (maalesef referans olmadan).NL⊂PHNL⊂PHNL\subset PH S1: ve - bunların katı olduğu biliniyor mu?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} S2: Hayırsa , ve bunun için dahil edilmesinin katı olup olmadığı bilinmeyen yerleşik bir sınıfı var mı?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C S3: Bu tür kapanımlar literatürde tartışılıyor mu?

12 cc.complexity-theory  complexity-classes  logspace 

Mahaney Teoremi seyrek varsa söyler polinom zamanlı birçok kimse indirimleri altında -tamamlamak seti, daha sonra P = N P . (Bkz. " NP için seyrek takımlar: Berman ve Hartmanis varsayımlarının çözümü ")N-PN-PNPP= NPP=N-PP = NP Diğer karmaşıklık sınıfları için seyrek komple kümelerin varlığının bilinen sonuçları var mı? Özellikle, günlük alanı …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace