«complexity» etiketlenmiş sorular

Coq gibi bir kanıt asistanı kullanarak karmaşıklık teorisinin teoremlerini ve kanıtlarını resmi olarak doğrulamak için devam eden bir proje var mı? Bunu yapmanın herhangi bir sınırı var mı?

18 cc.complexity-theory  complexity  proof-assistants 

Ya da başka bir deyişle, her dil ve B , veya mi var?birbirABBBB ≤ p AA ≤pBbir≤pBA \leq_p BB ≤pbirB≤pbirB \leq_p A

15 reductions  complexity 

Orada var mıdır , simetri grupları bazı ailesi var bir NP veya P-komple dili G n (veya grupoidinin setleri üzerinde (polinom zamanda), ama sonra algoritmik sorular daha açık hale) etki eden L n = { l ∈ L ∣ | l | = n } öyle ki az yörünge olacak, …

14 np  algebra  gr.group-theory  complexity  symmetry 

Olarak çakıl oyun , bir düğümde çakıl i, eklemek veya düğüm i + 1, bir çakıl taşı kaldırabilir var ise, bir hat üzerinde N. 0 ile düğüm 0. bir çakıl ile oyun başlar etiketli N + 1 düğümleri vardır. Amaç, aynı anda çok fazla çakıl taşı koymadan ve çok fazla …

13 complexity  reversible-computing 

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

13 circuit-complexity  complexity 

Hesaplamalı Karmaşıklık kitabında Papadimitriou FNP'yi şu şekilde tanımlar : Diyelim ki NP'de bir dil . Önerme 9.1 olarak, bir çok terimli zamanlı Karar verilebilen, orada polynomially dengeli ilişki bütün dizileri için bu şekilde : bir dizi bulunmaktadır ile , ancak ve ancak, eğer . ile gösterilen ile ilişkili fonksiyon problemi …

13 complexity 

Stephen Cook'un P'ye karşı NP sorununa ilişkin makalesinde [1] şunları ifade eder [2]: Fizibilite Tezi: Doğal bir problemin, polinom-zaman algoritması varsa uygulanabilir bir algoritması vardır. Benim sorum, “ doğal bir sorun” ile tam olarak ne demek (ya da genel olarak ne demek) ? Sorunların doğal olmasından bahsetmek yeterince yaygın görünmektedir, …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Bir sorun olması mu EXP-zaman tam olduğunu ima bir değil D , T I M E ( 2 O ( n ) ) ?birAAbirAADTbenME( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Zaman hiyerarşi teoremiyle, E = D T I M E ( 2 O ( n ) ) içine dahil edilmediğinin farkındayım . …

10 exp-time-algorithms  complexity 

KISA SORU: MAJ-3CNF birden fazla indirimle PP tam bir sorun mu? DAHA UZUN SÜRÜM: MAJSAT'ın (teklif cümlesi atamalarının çoğunluğunun cümleyi yerine getirip getirmediğine karar verme) çok sayıda indirim altında PP-tam ve #SAT'ın azimli indirimler altında # P-tamamlanmış olduğu bilinmektedir. Ayrıca, # 3CNF'nin (yani, 3-CNF formülleriyle sınırlandırılmış #SAT) # P-tamamlanmış olduğu …

10 counting-complexity  complexity  probabilistic-complexity 

Bir grup için güçlü jeneratörler verildi (G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *) uzunluk bitleri üzerinde hareket nnn ve bir element s ∈ { 0 ,1}ns∈{0,1}ns \in \{0, 1\}^n, sözlükbilimsel olarak asgari unsurunu hesaplamak ne kadar zor G . sG,.sG.s, yörüngesi sss içinde G,G,G?

9 permutations  gr.group-theory  complexity 

Bir sorunumuz var ve 2-bitişik gibi görünen bir algoritma bulduk. Daha düşük bir sınır bulmak için bilinen 2-bitişik-tam problemleri bulmak istiyorum. Literatürde çoğunlukla bu tür iki problem buldum: daha küçük boyutlu bir çözüm olarak PCP'nin 22n22n2^{2^n} ve bir kare boyutunun tilling problemi 22n22n2^{2^n} Ancak bu sorunları benimkinde kodlayamadım. Bu yüzden, …

9 complexity-classes  time-complexity  complexity 

NEXP'nin P / poly içerisinde olup olmadığı bilinmemektedir. Gerçekten de NEXP'nin P / poli'de olmadığını kanıtlamak, derandomizasyonda bazı uygulamalara sahip olacaktır. C'nin P / poli'de bulunmadığını kanıtlayabilen en küçük üniforma sınıfı C nedir? Ko-NEXP'nin P / poli'de bulunmadığını göstermek NEXP ve P / poli örneğinde olduğu gibi başka karmaşıklık teorik …

9 complexity