Kita tahu bahwa pemecah SAT berbasis DPLL gagal menjawab dengan benar pada contoh tidak memuaskan (prinsip hole pigeon), misalnya pada "ada pemetaan injeksi dari n + 1 ke n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n ] halsaya , j⎞⎠∧⎛⎝⋀saya...
Latar Belakang Rumus baca-sekali atas satu set gerbang (juga disebut basis) adalah rumus di mana setiap variabel input muncul satu kali. Rumus baca-sekali biasanya dipelajari atas dasar De Morgan (yang memiliki gerbang 2-bit AND dan OR, dan gerbang 1-bit TIDAK) dan basis biner penuh (yang memiliki...
Pertimbangkan kumpulan set F = { F 1 , F 2 , ... , F n } diF={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} atas set dasar U = { e 1 , e 2 , ... , e n } diU={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} mana | F i | |Fi||F_i| ≪ ≪\ll nnn dan e i ∈ F iei∈Fie_i \in F_i , dan biarkan kkk menjadi bilangan bulat...
Sistem bukti probabilistik umumnya disebut sebagai pembatasan , di mana Arthur hanya dapat menggunakan bit acak dan hanya dapat memeriksa bit sertifikat bukti yang dikirim oleh Merlin (lihat, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n )...
Saya umumnya tertarik pada metode pemaksaan yang digunakan oleh Baker-Gill-Solovay dan Cohen. Saya mencari banyak sumber yang bisa saya dapatkan mengenai teknik itu sendiri atau penggunaannya. Adakah yang punya
Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran...
Saya berharap bahwa seseorang mungkin dapat menjelaskan kepada saya mengapa masalah subset produk sangat NP-hard sedangkan masalah subset sum lemah NP-hard. Subset Sum: Mengingat dan T , tidak terdapat subset X ' sehingga Σ i ∈ X ' x i = T .X={x1,...,xn}X={x1,...,xn}X =
Ada pekerjaan luar biasa yang dilakukan pada Permanen yang terjadi selama dua dekade terakhir. Saya telah bertanya-tanya untuk sementara waktu tentang kemungkinan algoritma Smooth P untuk Permanen Matriks Nonnegatif. Tentu saja ada algoritma JSV yang terkenal tetapi ini adalah fpras. Berpikir...
Grafik isomorfisma ( ) adalah calon yang baik untuk N P masalah -intermediate. N P masalah -intermediate ada kecuali P = N P . Saya mencari masalah alam yang sulit untuk G Aku di bawah pengurangan Karp (A masalah grafik X sehingga G Saya < m p X
Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil...
FewP adalah kelas N PNPNP -masalah dengan polinom terikat pada jumlah solusi (dalam ukuran input). Tidak ada dikenal N PNPNP masalah -Lengkap di f e w PfewPfewP . Saya tertarik pada seberapa jauh kita dapat memperluas pengamatan ini. Apakah ada alam N PNPNP masalah -Lengkap dengan...
Dalam karya terbaru kami, kami menyelesaikan masalah komputasi yang muncul dalam konteks kombinatorial, dengan asumsi bahwa , di mana ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} adalah versi E X P dari ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Satu-satunya kertas di...
Dalam bentuk sederhana: Bisakah otomat terbatas dua arah mengenali grafik vvv -vertex yang berisi segitiga dengan status o(v3)o(v3)o(v^3) ? Detail Yang menarik di sini adalah grafik vvv -vertex yang dikodekan menggunakan urutan tepi, masing-masing tepi menjadi sepasang simpul yang berbeda...
Dalam kompleksitas sirkuit, kami memiliki pemisahan antara kekuatan berbagai model rangkaian. Dalam kompleksitas bukti, kami memiliki pemisahan antara kekuatan berbagai sistem bukti. Namun dalam algoritmik, kami hanya memiliki sedikit pemisahan antara kekuatan paradigma algoritmik . Pertanyaan...
Apa saja contoh utama derandomisasi yang sukses atau setidaknya kemajuan dalam menunjukkan bukti konkret terhadap tujuan (bukan koneksi keacakan kekerasan)?P=BPPP=BPPP=BPP Satu-satunya contoh yang terlintas di pikiran saya adalah pengujian primitas waktu polinomial deterministik AKS (bahkan untuk...
Saya sedang mempelajari masalah yang sulit untuk kelas formula boolean yang dikuantifikasi dengan jumlah logaritmik dari pergantian quantifiers. Masalah di kelas ini akan terlihat seperti: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F\forall...
Jika Anda terbiasa dengan verifikasi program, Anda cenderung lebih suka membaca Pertanyaan sebelum Latar Belakang . Jika Anda tidak terbiasa dengan verifikasi program maka Anda mungkin masih dapat menjawab pertanyaan ini, tetapi Anda cenderung lebih suka membaca Latar Belakang terlebih...
Teorema Rice menyatakan bahwa setiap properti nontrivial dari set yang dikenali oleh beberapa mesin Turing tidak dapat diputuskan. Saya mencari teorema tipe-Beras kompleksitas-yang memberi tahu kita sifat nontrivial dari set NP mana yang tidak bisa
Dua makalah yang akan saya sertakan adalah: D. Kozen, "Pengindeksan kelas subkursif" , STOC, 1978. R. Ladner, "Tentang Struktur Pengurangan Waktu Polinomial" , JACM,
Masalah #SAT adalah masalah # -p diselesaikan kanonik. Ini masalah fungsi daripada masalah keputusan. Ia bertanya, diberi rumus boolean dalam logika proposisional, berapa banyak tugas memuaskan yang F miliki. Apa batas bawah terbaik di