«complexity-theory» etiketlenmiş sorular

nasıl kanıtlanır ? Sadece böyle bir kehanet TM M ve bunun için geçerli olan tekrarlayan bir dil L ( M ) = L arıyorum .NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Sana bir kahin olduğunu göstermektedir nerede kanıt biliyorum şekilde P A ≠ N P A ve bir kahin bir şekilde P …

12 complexity-theory  relativization 

Merak ediyorum, 2 yönlü DFA'lar için boşluk belirlemenin zaman karmaşıklığı nedir? Yani, salt okunur giriş bantlarında geriye doğru hareket edebilen sonlu otomatalardır. Wikipedia'ya göre, DFA'lara eşdeğerdir, ancak eşdeğer DFA katlanarak daha büyük olabilir. Tamamlayıcıları ve kavşakları için devlet karmaşıklığı buldum, ancak boşluk testleri için değil. Bunu bulabileceğim bir kağıt bilen …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Bunu çevrimiçi olarak adlandırılan birkaç yere göre merak ediyorum NP=NP=\sf NP= birlikteNPNP\sf NP büyük bir açık sorun ... ama bunun aynı olup olmadığı hakkında herhangi bir gösterge bulamıyorum P=NPP=NP\sf P=NP sorun...

12 complexity-theory  complexity-classes  p-vs-np 

Bana bir küme , bir tamsayı ve negatif olmayan tamsayı a_ {ij} verilir . Sorunum bulmaktır ler ayrık alt kümeleri S_j ait \ {1, \ ldots, k \} , öyle ki:A ≜ { 1 , ... , k } A≜{1,…,k}A\triangleq\{1,\ldots,k\}ler ⩽ k s⩽ks\leqslant kbir i jaija_{ij} s ssS jSjS_j { …

11 complexity-theory  integer-programming 

NP'nin neden EXPTIME içinde olduğunu görmenin kolay bir yolu var mı? Bana öyle geliyor ki, çözmek için süper üstel zaman gerektiren, ancak çözümü polinom zamanında doğrulanabilen bir sorun olabileceği düşünülebilir.

11 complexity-theory  complexity-classes 

Google Hash Code 2015 Test Turu ( sorun bildirimi ) aşağıdaki sorunu sordu: giriş: işaretli bazı kareler içeren bir ızgara eşik değeri maksimum alanT ∈ N A ∈ NMMMT∈ NT∈NT \in \mathbb{N}A ∈ NA∈NA \in \mathbb{N} çıktı: tamsayı koordinatlarına sahip bir dizi ayrık dikdörtgen kümesinin mümkün olan en büyük toplam …

11 complexity-theory  reductions  np-hard 

Aptalca olduğunu biliyorum, ama kendimi karıştırmayı başardım ve bunu halletmek için yardıma ihtiyacım var Varsayalım ki , daha sonra açık bir şekilde her torpil için A Elimizdeki P A = N P A bir torpil var olduğu gerçeğini ters A olan P bir ≠ N P A , bu nedenle …

11 complexity-theory  p-vs-np  oracle-machines 

# Complete olarak bilinen bazı sayma problemleri olsun .ΠΠ\PiPPP Bu anlamına mı geliyor?ΠΠ\Pi olan -SertAPXAPXAPX (yani PTAS sorun mevcut için sürece )?P=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Ortalama durumda `` polinom '' olan herhangi bir zor problemi olup olmadığını merak ediyorum.Bunu yorumlamanın iki yolu var mı?NPNPNP Eğer , bir çözme bir algoritma olabilir çalışma süresi itfa (ortalama durum) ile -Sert sorun sabit için ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk Herhangi bir sorun var mı da vardır ki -Sabit , hatta …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

I bipartit grafikler bir sınıfın özellikleri ilgilenen am tüm düğümler X 3-düzenli, tüm düğümler Y 2-düzenli ve | X | = | 2 Y / 3 | . Birincisi, bu iyi bilinen bir grafik sınıfı mı? İkinci olarak,G ( X∪ Y, E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Bu iki uçlu grafik sınıfıyla …

11 complexity-theory  graph-theory 

Karar sorunu Bir Boole formülü verildiğinde , tam olarak tatmin edici bir görevi var mı?ϕφϕ\phiφϕ\phi olması görülebilir , -Sert ve -Sert. Karmaşıklığı hakkında daha fazla bilinen bir şey var mı?U P c o N PΔ2Δ2\Delta_2U PUP\mathsf{UP}c o N PcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Polinom-zaman yaklaşım şemaları hakkındaki Wikipedia makalesine göre : FPTAS'taki tüm problemler sabit parametreli izlenebilirdir. Bu sonuç beni şaşırtıyor - bu sınıflar birbirinden tamamen farklı görünüyor. FPTAS, problemleri yaklaşık olarak ne kadar kolay olacaklarıyla karakterize ederken, FPT problemleri bazı parametrelere göre zorlukları ile karakterize eder. Ne yazık ki, Wikipedia (bu soruyu …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Gerçeği göz önüne alındığında - T yolu sayım etkili yöntemler olabilir, bir # P-tam problem olduğu işlem (ya da en azından yaklaşık olarak) ortalama uzunluğu s - T yolu, onları numaralandırma olmadan? Yolların köşeleri yeniden ziyaret etmesine izin verilirse ne olur?ssstttsssttt Özel grafiklerdeki ilgili sonuçlar da yardımcı olabilir.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Verilen iş J 1 , J 2 , . . . , J n , her işin tamamlanması için T i > 0 , T i ∈ N süresi gerekir.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Her iş, bir seferde yalnızca 1 işi işleyebilen tek bir makine M tarafından önceden işlenmeli …

11 complexity-theory  reference-request  scheduling 

Örneğin, ben biliyorum olmayan normal dil içindedir . Bunun gibi daha fazla örnek bilmek istiyorum.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits