Log-space-uniform NC terkandung dalam ruang polylog deterministik (kadang-kadang ditulis PolyL). Apakah log-space-uniform RNC juga ada di kelas ini? Versi acak standar dari PolyL harus dalam PolyL, tapi saya tidak melihat bahwa (seragam) RNC berada di dalam Random-PolyL. Kesulitan yang saya lihat...
Parity-L adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol), dan yang merupakan selanjutnya dibatasi untuk bekerja di ruang...
Saat membaca artikel "Apakah Saatnya Menyatakan Kemenangan dalam Menghitung Kompleksitas?" di blog "Surat Hilang Godel dan P = NP" , mereka menyebutkan dikotomi untuk CSP. Setelah beberapa link berikut, googling dan wikipeding, saya menemukan Teorema Ladner : Teorema Ladner: Jika , maka ada...
Shiva Kintali baru saja mengumumkan (keren!) Menghasilkan bahwa isomorfisma grafik untuk grafik treewidth dibatasi lebar yaitu -Hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Secara informal, pertanyaan saya adalah, "Seberapa sulit itu?" Kita tahu bahwa yang tidak seragam , lihat jawaban untuk pertanyaan ini ....
Yang akan menjadi konsekuensi dari #P = FP? Saya tertarik pada konsekuensi praktis dan teoritis. Dari sudut pandang praktis, saya sangat tertarik pada konsekuensi pada Kecerdasan Buatan. Pointer ke kertas atau buku lebih dari diterima. Tolong jangan katakan bahwa #P = FP menyiratkan P = NP,...
Studi tentang representasi ringkas dari grafik diprakarsai oleh Galperin dan Wigderson di kertas dari tahun 1983, di mana mereka membuktikan bahwa untuk banyak masalah sederhana seperti menemukan segitiga dalam grafik, versi ringkas yang sesuai pada -Lengkap. Papadimitriou dan Yanakkakis...
Apakah ada masalah alami dalam yang tidak (diketahui / dianggap) di U P ∩ c o U P ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Jelas besar satu semua orang tahu tentang di adalah versi keputusan anjak piutang (tidak n memiliki faktor ukuran paling k), tapi itu sebenarnya di U P ∩ c o U P...
Baru-baru ini, Ryan Willams membuktikan bahwa Konstruktivitas dalam Bukti Alami tidak dapat dihindari untuk memperoleh pemisahan kelas kompleksitas: dan T C 0 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Constructivity di Bukti Alam adalah suatu kondisi bahwa semua bukti kombinatorial di memenuhi...
Hai teman-teman, saya mengerti bahwa trik padding memungkinkan kita menerjemahkan kelas kompleksitas ke atas - misalnya . Padding berfungsi dengan "menggembungkan" input, menjalankan konversi (katakanlah dari katakanlah ke ), yang menghasilkan algoritma "ajaib" yang dapat Anda jalankan pada input...
Hal ini terkait dengan pertanyaan, Apakah Ukuran Keanggotaan Saksi untuk Setiap Bahasa NP Sudah Diketahui? Beberapa masalah NPNP\mathsf{NP} (-complete) alami memiliki saksi panjang linier: tugas yang memuaskan untuk SATSATSAT , urutan simpul untuk HAMPATHHAMPATHHAMPATH , dll. Pertimbangkan kelas...
Ada literatur yang kaya dan setidaknya satu buku yang sangat bagus menguraikan kekerasan yang diketahui hasil perkiraan untuk masalah NP-keras dalam konteks kesalahan multiplikasi (misalnya 2-perkiraan untuk penutup vertex optimal dengan asumsi UGC). Ini juga termasuk kelas kompleksitas perkiraan...
Apa alasan kuat untuk meyakini ? L adalah kelas algoritma ruang log dengan pointer ke input.L ≠ PL≠PL\neq P Misalkan L = P untuk saat ini. Seperti apa algoritma ruang-log untuk masalah P-complete dalam garis
Teori kompleksitas, melalui konsep-konsep seperti NP-kelengkapan, membedakan antara masalah komputasi yang memiliki solusi yang relatif efisien dan yang tidak bisa dipecahkan. Kompleksitas "berbutir halus" bertujuan untuk menyaring perbedaan kualitatif ini menjadi panduan kuantitatif tentang waktu...
Pertimbangkan masalah pengoptimalan dari formulir berikut. Misalkan f(x)f(x)f(x) menjadi fungsi yang dapat dihitung polinomial-waktu yang memetakan string menjadi bilangan rasional. Masalah optimasinya adalah ini: berapakah nilai maksimum atas bit string ?f ( x ) nxxxf(x)f(x)f(x)nnnxxx Mari kita...
Saat membaca jawaban oleh Peter Shor dan pertanyaan sebelumnya oleh Adam Crume saya menyadari bahwa saya memiliki beberapa kesalahpahaman tentang apa artinya menjadi -hard.PP\mathsf{P} Masalahnya adalah -sama jika ada masalah dalam dapat direduksi dengan (atau jika Anda lebih suka ). Masalah ada...
Dalam utas ini , percobaan Norbet Blum dengan singkat dibantah dengan mencatat bahwa fungsi Tardos adalah contoh tandingan terhadap Teorema 6.P≠ NPP≠NPP \neq NP Teorema 6 : Biarkan menjadi fungsi Boolean monoton. Asumsikan ada CNF-DNF-approximator yang dapat digunakan untuk membuktikan batas bawah...
Saya bertanya-tanya apakah ada pembenaran untuk percaya bahwa atau untuk percaya bahwa N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Diketahui bahwa . Literatur tentang derandomization dari R L ini cukup meyakinkan bahwa R L = L . Adakah yang tahu tentang beberapa artikel atau ide yang meyakinkan...
Ini semacam pertanyaan terbuka - yang sebelumnya saya minta maaf. Apakah ada contoh pernyataan yang (tampaknya) tidak ada hubungannya dengan kompleksitas atau mesin Turing tetapi jawabannya akan menyiratkan ?P≠NPP≠NP\mathbf{P}\neq
Apakah BQP sama dengan BPP dengan akses ke subkelompok tersembunyi
Terinspirasi oleh pertanyaan adalah faktor yang dikenal sebagai P-hard , saya bertanya-tanya seperti apa pengetahuan saat ini tentang kekerasan grafik isomorfisme. Saya yakin bahwa saat ini tidak diketahui apakah GI ada di P, tetapi: apa kelas terbesar yang saat ini diketahui bahwa GI lebih...