Yang saya sebut penghitungan adalah masalah yang terdiri dari menemukan sejumlah solusi untuk suatu fungsi. Lebih tepatnya, diberi fungsi (tidak harus kotak hitam), perkiraan # { x ∈ N ∣ f ( x ) = 1 } = | f - 1 ( 1 ) | .f: N→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\}# { x ∈ N∣ f( x ) = 1 } = | f- 1( 1 )...
Parity-L, juga dikenal sebagai L, adalah serangkaian bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan". Pertanyaan terkait baru - baru ini diajukan oleh Niel de Beaudrap.⊕⊕\oplus Pertanyaan saya adalah...
Pertanyaan ini dimotivasi oleh pertanyaan MathOverflow oleh Peng Zhang . Valiant menunjukkan bahwa menghitung klik maksimal dalam grafik umum adalah # P-complete, tetapi bagaimana jika kita membatasi pada grafik yang tidak dapat dibandingkan (yaitu, kita ingin menghitung antichains maksimal dalam...
Biarkan G menjadi grafik yang terhubung. Apa kompleksitas penghitungan semua subgraph yang terhubung jika G dari tipe berikut? G bersifat umum. G adalah planar. G adalah bipartit. Saya tidak peduli dengan struktur atau ..., hanya perlu menghitung semua subgraph yang terhubung! Saya...
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...
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...
Diberikan grafik terarah dengan n simpul sehingga setiap simpul memiliki tepat dua tepi keluar, dan bilangan alami N yang dikodekan dalam biner, dua simpul s dan t, Saya ingin menghitung jumlah jalur (tidak harus sederhana) dari s ke t dalam N langkah. Apakah ini masalah # P-hard? Atau secara...
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...
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...
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...
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
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...
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...
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 langkah waktu t ∈ [ m ] kita menukar i t h t...
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 ) } , maka ada beberapa...
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...
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 dari grafik GG = ( V, E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V',...
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 = O k - E k . Masalah...
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...
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...