Diketahui bahwa jika maka hierarki polinomial runtuh dan .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Ini dapat dengan mudah dipahami secara induktif menggunakan mesin oracle. Pertanyaannya adalah - mengapa kita tidak dapat melanjutkan proses induktif di luar tingkat pergantian...
Di sini tujuannya adalah untuk mengurangi masalah SAT sewenang-wenang menjadi 3-SAT dalam waktu polinomial menggunakan klausa dan variabel paling sedikit. Pertanyaan saya dimotivasi oleh rasa ingin tahu. Secara kurang formal, saya ingin tahu: "Apa pengurangan 'paling alami' dari SAT menjadi...
( N + 1 ) n(n+1)(n + 1) poin diperlukan untuk secara unik menentukan polinomial derajat ; misalnya, dua titik di pesawat menentukan dengan tepat satu garis.nn Berapa banyak poin yang diperlukan untuk secara unik menentukan fungsi yang dapat dihitung , mengingat lamanya program yang menghitung...
Bekerja secara langsung dengan kompleksitas waktu atau batas bawah sirkuit menakutkan. Karenanya, kami mengembangkan alat seperti kompleksitas kueri (atau kompleksitas pohon keputusan) untuk menangani batasan yang lebih rendah. Karena setiap kueri mengambil setidaknya satu langkah unit, dan...
EDIT (22 Agu 2011): Saya selanjutnya menyederhanakan pertanyaan dan memberi hadiah pada pertanyaan itu. Mungkin pertanyaan yang lebih sederhana ini akan memiliki jawaban yang mudah. Saya juga akan mencoret semua bagian dari pertanyaan awal yang tidak lagi relevan. (Terima kasih kepada Stasys Jukna...
XORifikasi adalah teknik untuk membuat fungsi atau rumus Boolean lebih sulit dengan mengganti setiap variabel dengan XOR k ≥ 2 variabel berbeda x 1 ⊕ … ⊕ x k . xxxk ≥ 2k≥2k\geq 2x1⊕ ... ⊕ xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Saya menyadari penggunaan teknik ini dalam kompleksitas bukti, terutama...
Sudah dikenal komputer kuantum benar-benar lebih kuat daripada rekan-rekan klasik mereka dalam hal kompleksitas permintaan . Apakah ada model lain (alami atau buatan) yang secara ketat antara kuantum dan klasik dalam hal kompleksitas kueri? Pemisahan bisa dimulai masalah spesifik: model X...
Apa yang diketahui tentang kompleksitas tepat dari masalah superstring terpendek? Bisakah itu diselesaikan lebih cepat dari ? Apakah ada algoritma yang dikenal yang memecahkan superstring terpendek tanpa mengurangi menjadi TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: menekan faktor
Saya pikir itu akan menjadi ide yang baik untuk membuat daftar teorema yang menyatakan bahwa P tidak sama dengan NP jika dan hanya jika ini dan itu keluar, beberapa kelas kompleksitas terkandung dalam kelas kompleksitas lain dan seterusnya dan seterusnya.
Biarkan menjadi Formula CNF yang memuaskan dengan variabel dan klausaBiarkan S F 1 menjadi ruang solusi F 1 .F1F1F_1mnnnmmmSF1SF1S_{F_1}F1F1F_1 Pertimbangkan masalah penentuan, mengingat , Formula F 2 CNF lainnya dengan set variabel yang sama dengan F 1 , dengan S F 2 = S F 1 (ruang solusi yang...
IP = PSPACE terdaftar sebagai contoh kanonik dari hasil non-relativizing, dan bukti untuk ini adalah bahwa ada oracle sedemikian sehingga , sementara {\ sf CoNp} ^ O \ subseteq {\ sf PSPACE} ^ O untuk semua nubuat O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf
Apakah ada pekerjaan yang telah dilakukan tentang bagaimana kompleksitas kejadian acak # 2-SAT bervariasi dengan kepadatan klausa? Yaitu: bagaimana kesulitan menghitung solusi yang memuaskan untuk contoh 2-SAT yang dihasilkan secara acak bervariasi, karena kepadatan klausa bervariasi? Secara...
Seperti yang Anda tahu ada banyak anomali untuk mesin Turing tape tunggal ketika waktunya adalah : simulasi multi-tape TM, simulasi alfabet tape yang lebih besar hanya dengan { 0 , 1 , b } , konstruktivitas waktu, non-sesak teorema hierarki waktu, ...o(n2)o(n2)o(n^2){0,1,b}{0,1,b}\{0,1,b\} Juga...
The Kompleksitas kebun binatang tidak memiliki banyak tentang SCSC\mathsf{SC} . Saya mencari masalah † bagus yang ada di level hirarki yang lebih tinggi, yaitu masalah di D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ) tetapi tidak diketahui sebagai dalam D T i m e S p a c e ( n O ( 1...
Mafia adalah permainan permainan peran yang populer di pesta-pesta, deskripsi terperinci tersedia di wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Pada dasarnya, ini berfungsi sebagai berikut: Pada awalnya, masing-masing pemain NNN diam-diam diberi peran, baik selaras dengan Mafia...
Misalkan adalah kelas dari masalah keputusan yang memiliki algoritma acak kesalahan dua sisi terikat yang berjalan dalam waktu O ( f ( n ) ) .BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Apakah kita tahu ada masalah sedemikian sehingga Q ∈ B P T I M E ( n k ) tetapi Q ∉ D T I...
Kategori teori dan aljabar abstrak berhubungan dengan cara fungsi dapat dikombinasikan dengan fungsi lainnya. Teori kompleksitas berkaitan dengan seberapa sulit suatu fungsi dikomputasi. Aneh bagi saya bahwa saya belum pernah melihat orang yang menggabungkan bidang studi ini, karena mereka tampak...
Apakah semua fungsi yang Fourier berat terkonsentrasi pada set berukuran kecil (atau istilah dengan tingkat rendah) dihitung dengan
Gagasan pengurangan waktu polinomial (pengurangan Cook) adalah abstraksi dari konsep yang sangat intuitif: secara efisien menyelesaikan masalah dengan menggunakan algoritma untuk masalah yang berbeda. Namun, dalam teori NPNP\mathcal{NP} kelengkapan, gagasan NPNP\mathcal{NP} kekerasan ditangkap...
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...