Pertanyaan yang diberi tag «counting-complexity»

Oleh http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Jika adalah bahasa PSPACE-lengkap, P A = N P A .AAAPA=NPAPA=NPAP^{A}=NP^{A} Jika adalah oracle waktu polinomial deterministik, P B ≠ N P B (dengan asumsi P ≠ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP adalah kelas masalah keputusan analog untuk # P dan P ⊆ P P ⊆ P S …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Saya memiliki bagian dari upaya pembuktian⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Upaya pembuktian terdiri dari pengurangan Karp dari⊕P⊕P\oplus \mathbf{P} masalah lengkap⊕⊕\oplus 3-REGULER VERTEX COVER ke SAT. Diberikan grafik kubik GGG , reduksi menghasilkan rumus CNF FFF memiliki kedua properti berikut: FFF memiliki paling banyak111 tugas yang memuaskan. memuaskan jika dan hanya …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Dalam rumus CNF berlawanan baca-dua kali setiap variabel muncul dua kali, sekali positif dan sekali negatif. Saya tertarik dengan masalah , yang terdiri dalam menghitung paritas dari jumlah penugasan yang memuaskan dari rumus CNF baca-berlawanan dua kali.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Saya tidak dapat menemukan referensi tentang kompleksitas masalah tersebut. Yang paling dekat yang …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Untuk masalah pencarian lokal polinomial , kita tahu bahwa setidaknya ada satu solusi (lokal optimal) harus ada. Namun, banyak lagi solusi yang bisa ada, seberapa sulitkah menghitung jumlah solusi untuk masalah lengkap PLS? Saya terutama tertarik pada masalah keputusan: apakah contoh masalah PLS-lengkap ini memiliki dua solusi atau lebih? Apakah …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Saya kira itu akan disebut # P-Space tetapi saya hanya menemukan satu artikel yang samar-samar menyebutkannya. Bagaimana dengan versi penghitungan masalah EXP-TIME-Complete, NEXP-Complete serta EXP-SPACE-Complete? Apakah ada karya sebelumnya yang dapat dikutip sehubungan dengan ini atau jenis inklusi atau pengecualian seperti Teorema Toda?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Apa yang diketahui tentang transisi fase dalam masalah # P-Complete? Secara khusus, apakah ada transisi fase yang berbeda untuk # DNF-k-SAT dan # CNF-k-SAT? Pembaruan: Seperti yang kita ketahui, ada fase transisi dalam Random k-SAT di mana penyelesaian masalah berubah dari yang mudah ke sulit dan kembali ke mudah lagi. …

11 cc.complexity-theory  counting-complexity  phase-transition 

PERTANYAAN SINGKAT: Apakah MAJ-3CNF masalah PP-lengkap di bawah banyak-satu pengurangan? VERSI LAMA: Sudah diketahui bahwa MAJSAT (memutuskan apakah mayoritas penugasan hukuman proporsional memenuhi hukuman) adalah PP-lengkap di bawah banyak-satu pengurangan dan #SAT adalah # P-lengkap di bawah pengurangan pelit. Juga jelas bahwa # 3CNF (yaitu, #SAT terbatas pada formula 3-CNF) …

10 counting-complexity  complexity  probabilistic-complexity 

Saya tertarik dengan masalah berikut. Kami diberikan sebagai masukan "target permutasi" , serta daftar memerintahkan indeks i 1 , ... , i m ∈ [ n - 1 ] . Kemudian, dimulai dengan daftar L = ( 1 , 2 , ... , n ) (yaitu, permutasi identitas), pada setiap …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Saya sedang membaca makalah seminal Les Valiant dan saya mengalami kesulitan dengan Proposisi 4.3 di halaman 10 makalah ini. Aku tidak bisa melihat mengapa kasus bahwa jika ada generator dengan nilai-nilai tertentu untuk dengan dasar { ( a 1 , b 1 ) ... ( a r , b r …

10 ds.algorithms  counting-complexity  survey 

Pertanyaan ini muncul dalam benak saya setelah membaca kontribusi András Salamon dan Colin McQuillan untuk pertanyaan saya sebelumnya. Menghitung solusi dari formula Monotone-2CNF . EDIT 30 th Mar 2011 Ditambahkan pertanyaan n ° 2. EDIT 29 th Oktober 2010 Pertanyaan diulang setelah András usulan untuk meresmikan melalui gagasan bagus representasi …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Sebuah homomorfisma dari grafik untuk grafik G ' = ( V ' , E ' ) adalah pemetaan f dari V ke V ' sehingga jika x dan y yang berdekatan di E maka f ( x ) dan f ( y ) berbatasan dengan E ′ . Sebuah endomorfisma …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

Pertimbangkan masalah klasik # P-complete # 3SAT, yaitu untuk menghitung jumlah penilaian untuk membuat 3CNF dengan variabel yang memuaskan. Saya tertarik pada perkiraan aditif . Jelas, ada algoritma sepele untuk mencapai 2 ^ {n-1} -error, tetapi jika k <2 ^ {n-1} , apakah mungkin untuk memiliki algoritma perkiraan yang efisien, …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Pertimbangkan formula Monotone 3CNF yang memiliki batasan tambahan berikut: Setiap variabel muncul tepat klausa.222 Dengan klausa, mereka membagikan paling banyak 1 variabel.222111 Saya ingin tahu betapa sulitnya menghitung tugas yang memuaskan dari formula seperti itu. Perbarui 06/04/2013 12:55 Saya juga ingin tahu seberapa sulit menentukan paritas dari jumlah tugas yang …

9 cc.complexity-theory  sat  counting-complexity 

Biarkan menjadi grafik. Biarkan k ≤ | V | menjadi bilangan bulat. Mari O k menjadi jumlah tepi diinduksi subgraphs dari G memiliki k simpul dan ganjil tepi. Mari E k menjadi jumlah tepi diinduksi subgraphs dari G memiliki k simpul dan jumlah yang lebih dari tepi. Biarkan Δ k …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

Dalam pertanyaan sebelumnya. Algoritma Parametrized untuk Menemukan Bicliques , saya bertanya apakah ada algoritma parametrized cepat untuk menemukan biclique dalam grafik n vertex dan mengetahui bahwa itu terbuka jika FPT wrt k . Adalah benar sama untuk menghitung para k × k -bicliques, atau itu diketahui bahwa ini adalah # …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity