Tidak diketahui apakah atau P ⊈ C S L , di manaP⊆ CSL.P⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL adalah himpunan semua bahasa yang dapat ditentukan dalam waktu polinomial pada mesin Turing deterministik, danPPP adalah kelas bahasa konteks-sensitif, yang dikenal setara dengan N S P A C E (...
Elberfeld, Jakoby, dan Tantau 2010 ( ECCC TR10-062 ) membuktikan versi teorema Bodlaender yang hemat ruang. Mereka menunjukkan bahwa untuk grafik dengan treewidth paling banyak , dekomposisi pohon dengan lebar dapat ditemukan menggunakan ruang logaritmik. Faktor konstan dalam batas ruang tergantung...
Misalkan adalah bahasa parameter untuk beberapa alfabet . The -slice dari adalah , himpunan contoh di yang memiliki parameter . Kelas kompleksitas berisi bahasa parameter sehingga untuk setiap , mungkin dengan algoritma yang berbeda dan waktu berjalan polinomial terikat untuk setiap . Setiap bahasa...
Motivasi : Ketika mengembangkan alat untuk versi data, kami akhirnya mencari ke dalam algoritma untuk "membedakan" dua set bilangan bulat, dengan menghasilkan serangkaian transformasi yang membawa satu set bilangan bulat ke yang lain. Kami dapat mengurangi masalah itu menjadi masalah sangat alami...
Saya tertarik untuk menentukan kerumitan masalah keputusan berikut: Diberikan dua bilangan bulat dan (masing-masing dengan paling banyak m bit), putuskan apakah bit paling signifikan dari perkalian adalah 1 (di mana hasilnya dicetak dalam 2m bit dengan kemungkinan memimpin 0's)?l 2 l 1 ⋅ l...
Teorema Mahaney memberi tahu kita bahwa jika ada -lengkap yang ditetapkan di bawah pengurangan polinomial-waktu banyak-satu, maka . (Lihat " Set lengkap lengkap untuk NP: Solusi dugaan Berman dan Hartmanis ")NPNPNPP= NPP=NPP = NP Adakah konsekuensi yang diketahui dari keberadaan set lengkap yang...
Saya menemukan dua contoh kekerasan hipotetis dari beberapa masalah grafik. Kekerasan hipotesis berarti bahwa menyangkal beberapa dugaan akan menyiratkan kelengkapan NP dari masing-masing masalah grafik. Misalnya, dugaan Barnette menyatakan bahwa setiap grafik bipartit planar 3 yang terhubung...
Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle A . Awalnya A kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan x menjadi beberapa string.MMMAAAAAAxxx Pertimbangkan permainan Alice dan Bob berikut...
Apakah ada algoritma sorting berbasis perbandingan yang menggunakan rata-rata lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) perbandingan? Keberadaan terburuk lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) algoritma perbandingan merupakan masalah terbuka, tapi sudah cukup kasus rata-rata untuk algoritma...
Adakah contoh kasus di mana simulasi klasik suatu algoritma kuantum untuk suatu masalah mengungguli algoritma klasik yang paling dikenal sebelumnya untuk masalah ini? "Outperforms" tidak harus berarti kelas kompleksitas yang berbeda, itu bisa saja lebih baik skala. Pertanyaan ini terinspirasi oleh...
Saat ini saya sedang mencari subjek untuk tesis dan menemukan bidang teori informasi algoritmik. Lapangan itu tampaknya sangat menarik bagi saya, tetapi tampaknya semuanya adalah lapangan yang telah dilakukan sebelum bertahun-tahun. Jadi pertanyaan saya adalah: Apakah bidang itu "hidup" atau cukup...
Kelas NCsayaNCsaya\textrm{NC}^i adalah fungsi kelas yang dapat dihitung oleh rangkaian keluarga dengan ukuran kipas masuk, nO ( 1 )nHAI(1)n^{O(1)} dan kedalaman O ( logsaya( n ) )HAI(catatansaya(n))O(\log^i(n)) . The NCNC\textrm{NC} -hierarchy adalah gabungan dari kelas-kelas. Apakah ada studi...
Ini adalah generalisasi dari pertanyaan saya sebelumnya . Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle . Awalnya kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan menjadi beberapa...
Sudah diketahui sejak awal 70-an bahwa dan tidak sama (karena tidak ditutup di bawah polinomial-waktu banyak -satu pengurangan, berbeda dengan ). Sejauh yang saya tahu, masih terbuka apakah satu kelas adalah himpunan bagian dari yang lain, atau mereka tidak dapat dibandingkan, yang berarti bahwa...
Kita tahu di bawah kita tidak bisa menyelesaikan -SUM dalam waktu bawah fungsi apa pun f ( K ) (biasanya 2 O ( K ) ).ETHETHETHKKKf( K) p o l y( n K.)f(K)halHaily(nK)f(K)poly(nK)f( K)f(K)f(K)2O ( K)2HAI(K)2^{O(K)} Apakah ada dugaan yang mencegah kompleksitas ( logn )O ( K)(catatann)HAI(K)(\log...
Masalah pencocokan sempurna dua-warna adalah memutuskan apakah grafik memiliki pewarnaan dengan dua warna sedemikian rupa sehingga setiap simpul memiliki satu tetangga yang persis sama dengan warnanya. Masalahnya terbukti NP-lengkap oleh Schaefer . Itu tetap NP-lengkap bahkan untuk grafik kubik...
Adakah hasil yang diketahui yang menunjukkan bahwa keberadaan (atau tidak adanya) grafik berhingga dengan sifat komputabel spesifik menyiratkan hasil kompleksitas tertentu (seperti P = NP)? Inilah satu hasil yang sepenuhnya hipotetis : Jika grafik berhingga ada dengan tepi terdistribusi A, B, C...
IP (2pfa) dan AM (2pfa) adalah kelas bahasa yang dikenali dengan kesalahan terbatas oleh versi koin pribadi dan publik, masing-masing, dari sistem bukti interaktif dengan verifier yang probabilistic automata terbatas dengan kepala input dua arah. Apakah ada properti penutup dari kelas-kelas ini...
Perkalian matriks menggunakan reguler - teknik (baris kolom dalam produk) mengambil multiplucations dan penambahan. Namun dengan asumsi entri berukuran sama (jumlah bit dalam setiap entri dari kedua matriks dikalikan) dari ukuran bit, operasi penambahan sebenarnya terjadi pada bit .O ( n 3 ) m O (...
Teori kompleksitas komputasi mengklasifikasikan masalah berdasarkan kesulitannya. Teori sistem kompleks membahas sistem yang menunjukkan perilaku yang tidak jelas muncul dari sifat-sifat bagian individu sistem. Contohnya termasuk sistem kacau, sistem adaptif yang kompleks, atau sistem...