«counting-complexity» etiketlenmiş sorular

Çözüm sayısını saymak ne kadar zor?

2
Mi
by http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Eğer bir Pspace tamamlama dil, P bir = N P A .AbirAPA=NPAPbir=N-PbirP^{A}=NP^{A} Eğer deterministik polinom zamanlı oracle, P B ≠ N P B (varsayarak P ≠ N P ).BBBPB≠NPBPB≠N-PBP^{B}\ne NP^{B}P≠NPP≠N-PP\ne NP , # P ve P ⊆ P P ⊆ P S P A C E için analog …
1
Sonuçları
Bir ispat girişimim var ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}. İspat girişimi, Karp'ın⊕P⊕P\oplus \mathbf{P}tamamlanmış problem ⊕⊕\oplus3-DÜZENLİ VERTEX KAPAK SAT. Kübik bir grafik verildi GGG, azalma bir CNF formülü çıkarır FFF aşağıdaki özelliklere sahip: FFF en fazla 111 tatmin edici ödev. FFF ancak tepe noktası sayısının GGG garip. Sorular Hangi sonuçları olacak ⊕P⊆NP⊕P⊆NP\oplus …
3
İki kez okunan zıt CNF formülünün paritesini hesaplamanın karmaşıklığı (
Bir-iki kez zıt CNF formülünde, her bir değişken bir kez pozitif ve bir kez negatif olmak üzere iki kez görünür. Ben ilgilenen kulüpler salt iki kez ters CNF formülü tatmin atamalarının sayısını paritesine bilgisayar oluşur sorun.⊕ Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Böyle bir sorunun karmaşıklığı hakkında herhangi bir referans bulamadım. Bulabildiğim en yakın şey, …
1
P-Space Complete sorununun çözüm sayısını saymanın karmaşıklığı nedir? Daha yüksek karmaşıklık sınıflarına ne dersiniz?
Sanırım # P-Space olarak adlandırılırdı, ancak bundan bahseden sadece bir makale buldum. EXP-TIME-Complete, NEXP-Complete ve EXP-SPACE-Complete sorunlarının sayım versiyonuna ne dersiniz? Toda Teoremi gibi herhangi bir dahil etme veya dışlama ile ilgili olarak atıfta bulunabilecek daha önce yapılmış bir çalışma var mı?
1
# P-Complete problemlerinin faz geçişi hakkında ne biliyoruz?
# P-Complete problemlerinde faz geçişi hakkında ne biliniyor? Özellikle, # DNF-k-SAT ve # CNF-k-SAT için farklı bir faz geçişi var mı? Güncelleme: Bildiğimiz gibi, Random k-SAT'de problemi çözmenin kolaydan zor ve tekrar kolaylığa geçtiği bir aşama geçişi var. # P-Complete problemleri için de böyle bir fenomen olup olmadığını bilmek istiyorum. …
1
MAJ3SAT'ın PP-tamlığının durumu
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 …
2
Bir SAT örneğinin çözüm kümesini kompakt bir şekilde temsil eder
Bu soru András Salamon ve Colin McQuillan'ın önceki soruma katkısını okuduktan sonra kafamda yükseldi Monotone-2CNF formüllerinin sayım çözümleri . DÜZENLEME 30 inci Mar 2011 Eklendi sorusuna n ° 2 EDIT'e 29 inci Eki 2010 Soru kavramı aracılığıyla resmileştirmek Andras teklifinden sonra rephrased bir çözüm kümesinin güzel temsil (Ben onun düşüncesi …
2
# P-hard problemlerine yaklaşma
Klasik # P-complete problemi # 3SAT'i düşünün, yani, 3CNF yapmak için değerlerin sayısını saymak nnndeğişkenler tatmin edilebilir. Katkı maddesi yaklaşımı ile ilgileniyorum . Açıkçası, elde edilmesi gereken önemsiz bir algoritma var2n - 12n−12^{n-1}- hata, ama eğer k &lt;2n - 1k&lt;2n−1k<2^{n-1}, verimli bir yaklaşım algoritması olabilir mi, yoksa bu sorun da …
2
Kısıtlı Monoton 3CNF formülü: tatmin edici ödevleri sayma (hem modulo hem de modulo )
Aşağıdaki ek kısıtlamaların her ikisine birden sahip olan bir Monoton 3CNF formülünü göz önünde bulundurun: Her değişken tam olarak maddede görünür .222 Herhangi cümle verildiğinde en fazla değişkeni paylaşırlar .222111 Böyle bir formülün tatmin edici ödevlerini saymanın ne kadar zor olduğunu bilmek istiyorum. Güncelleme 06/04/2013 12:55 Ayrıca, tatmin edici ödev …
2
ODD EVEN DELTA sorunu
İzin Vermek G = ( V, E)G=(V,E)G = ( V, E )grafik olmak. İzin Vermekk ≤ | V|k≤|V|k \leq |V|tamsayı olmak. İzin VermekÖkOkO_k kenar kaynaklı alt çizgi sayısı G,GG sahip olan kkkköşeler ve tek sayıda kenar. İzin VermekEkEkE_k kenar kaynaklı alt çizgi sayısı G,GG sahip olan kkkköşeler ve çift sayıda …
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.