Pertanyaan yang diberi tag complexity-theory

23
P-Kelengkapan dan Komputasi Paralel

Saya baru-baru ini membaca tentang algoritma untuk memeriksa bisimilaritas dan membaca bahwa masalahnya adalah P-complete . Selain itu, konsekuensi dari ini adalah bahwa masalah ini, atau masalah P-lengkap, tidak mungkin memiliki algoritma paralel yang efisien. Apa intuisi di balik pernyataan...

22
Kandidat alami untuk hierarki di dalam NPI

Mari kita asumsikan bahwa . adalah kelas masalah di yang tidak ada di atau di -hard. Anda dapat menemukan daftar masalah yang diduga sebagai sini .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema...

21
Kurangi masalah berikut menjadi SAT

Inilah masalahnya. Diberikan , di mana setiap . Apakah ada subset dengan ukuran paling banyak sehingga untuk semua ? Saya mencoba mengurangi masalah ini menjadi SAT. Gagasan saya tentang solusi adalah memiliki variabel untuk masing-masing 1 hingga . Untuk setiap , buat klausa jika . Kemudian dan...

21
Kelas kompleksitas di mana

Salah satu motivasi yang mungkin untuk mempelajari kelas kompleksitas komputasi adalah untuk memahami kekuatan berbagai jenis sumber daya komputasi (keacakan, non-determinisme, efek kuantum, dll.). Jika kita melihatnya dari perspektif ini, maka sepertinya kita dapat memperoleh satu aksioma yang...

20
Kompleksitas Menara Hanoi

Saya mengalami keraguan berikut tentang kompleksitas Menara Hanoi , di mana saya ingin komentar Anda. Apakah itu dalam NP? Mencoba jawaban: Misalkan Peggy (prover) memecahkan masalah & mengirimkannya ke Victor (pemverifikasi). Victor dapat dengan mudah melihat bahwa keadaan akhir dari...