«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Mi
Her dil için ispat edebilir o değil -Zor (bu varsayar ), ? Alternatif olarak, bu herhangi bir makul varsayım altında kanıtlanabilir mi?L ∈ N PL∈NPL\in\mathsf{NP}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}PL≠ POTURDUPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
Kannan'ın teoremi SONRAKİ ^ NP ⊄ P / poli anlamına mı geliyor?
Buhrman ve Homer'ın “ Süperpolinom Devreleri, Neredeyse Seyrek Orakles ve Üstel Hiyerarşi” adlı bir makalesini okuyordum . Sayfa 2'nin alt kısmında sonuçlarının polinom boyutu devreleri olmadığını ima ettiğini . Ben üstel zaman hiyerarşisinde, biliyoruz adildir ve ben de Kannan en sonucu olduğunu biliyoruz öyle ki . Tabii ki, teoremi (bunun …
1
APX Sertliği QPTAS içermez mi?
Bu yüzden, web'de hızlı bir arama yapmak beni "APXHardness, [bazı karmaşıklık sınıfları] bazı [diğer karmaşıklık sınıflarına] dahil edilmedikçe bir sorun için hiçbir QPTAS'ın bulunmadığını ima ediyor ve çok iyi bilinmediğine inanmamı sağladı! Benim dışımda herkes bunu biliyor gibi görünüyor. Ne yazık ki, bu ifadeyi destekleyecek hiçbir referans verilmemiştir. İki sorum …
1
kehanet olarak
Mu tutuşu!NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Açıkçası , ama bana öyle geliyor ki "deterministik", bu da bunun doğru olduğuna inandırıyor.NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} Basit bir kanıt var mı (ya da sadece tanım gereği)?
3
Kalıtsal olan, ancak katkı maddesi olmayan NP tam grafik özelliği?
Bir grafik özelliği, köşeleri silme (örneğin, tüm indüklenen altgraflar özelliği miras alır) ile ilgili olarak kapatılırsa kalıtsal olarak adlandırılır . Bir grafik özelliğine, ayrık sendikaların alınmasıyla kapalıysa, katkı maddesi denir . Kalıtsal, ancak katkı maddesi olmayan özellikler bulmak zor değildir. İki basit örnek: \;\;\; (1) The graph is complete. \;\;\; …
1
Artık sonlu durum otomatlarını en aza indirme
Artık sonlu durum otomatları ([DLT02] 'de tanımlanan RFSA'lar), DFA'larla ortak bazı hoş özelliklere sahip NFA'lardır. Özellikle, her normal dil için her zaman standart bir minimum boyutlu RFSA vardır ve RFSA'daki her durum tarafından tanınan dil, tıpkı bir DFA'da olduğu gibi artıktır. Bununla birlikte, asgari DFA devletleri tüm artıklarla bir bijeksiyon …
1
Çöküşü mi
Polinom hiyerarşisinin her seviyesi arasında, ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k ve dahil olmak üzere çeşitli karmaşıklık sınıfları bulunmaktadır ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P}. Daha iyi terminoloji eksikliği nedeniyle, bunlardan ve diğerlerinden polinom hiyerarşisinde i ve i + 1 seviyeleri arasında ara sınıflar olarak bahsedeceğim . Bu sorunun amaçları için, bunların Σ P …
1
Farklılıklar dizisi ile permütasyon varlığı için etkili algoritma?
Bu soru bu yazı tarafından motive edilmiştir , Polinom zamanındaki iki permütasyonun toplamını tanımlayabilir misiniz? ve permütasyonların hesaplama özelliklerine olan ilgim. Bir farklılık sırası bir permütasyon ait tt numaralarının 1 , 2 , ... , n + 1 permütasyon her iki bitişik sayı arasındaki fark bulunarak oluşturulur tt . Başka …
1
ve
PLSPLS\mathsf{PLS} ve APXAPX\mathsf{APX} arasındaki ilişki nedir ? Başka bir deyişle, bir polinom zamanı yerel aramayı kabul eden problemler yaklaşılabilir mi? Yaklaşık optimizasyon sorunları genel olarak yerel bir arama algoritması içeriyor mu?
2
Sonlu durum kısmi bilgi oyunlarının karmaşıklığı
Sadece sonlu sayıda eyalette, bir deterministik kısmi-bilgi sıfır toplamlı oyun Verilen kimin olası sonuçlarıdır [-1,0 + 1] değerlerle [kaybetmek, kazanmak, çizmek] sırasıyla böyle değerini yaklaşan karmaşıklığı nedir içinde bir oyun katkı maddesi ?ϵϵ\epsilon Özellikle, bunu yapmak için herhangi bir algoritma bulamıyorum . Bu yazının geri kalanı tamamen sorunun daha ayrıntılı …
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.