Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

2
Apakah ada yang diketahui kelas kompleksitas yang mengandung mitra online masalah optimasi?
Apakah ada yang diketahui kelas kompleksitas yang mengandung mitra online masalah optimasi? Jika tidak, lalu bagaimana kelas tersebut dapat didefinisikan? Kita tahu bahwa banyak masalah memiliki versi online mereka: misalnya versi online dari masalah pengemasan bin. Masalah online lebih sulit diukur dengan rasio kompetitif mereka. Dan saya belum menemukan yang …


1
Dunia Relatif Yang “Tidak Terkalahkan” Tidak Ada
Generator kebal didefinisikan sebagai berikut: Biarkan menjadi hubungan NP, dan menjadi mesin yang menerima . Secara tidak resmi, sebuah program adalah generator yang kebal jika, pada input , ia menghasilkan pasangan instance-saksi , dengan , menurut distribusi di mana setiap musuh waktu-polinomial yang diberikan gagal menemukan saksi bahwa , dengan …

1
Apa kompleksitas dari subset SAT berikut?
Asumsikan P≠NPP≠NPP \neq NP Mari gunakan notasi berikut iaia{}^ia for tetration (mis.ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} ). | x | adalah ukuran instance x. Biarkan L menjadi bahasa, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i …

2
Varian NP-lengkap masalah yang belum diputuskan?
Contoh varian -lengkap dari set yang tidak dapat ditentukan:NPNPNP Masalah Berhenti Terikat = { | Mesin NTM M berhenti dan menerima x dalam langkah t }(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ubin Terikat = { | ada ubin dari persegi luas t 2 oleh ubin dari T }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Korespondensi Post Bounded Problem …

1
Kekerasan masalah sistem bintang dibatasi?
Sebuah sistem bintang adalah keluarga n himpunan bagian dari n-elemen set . Sebuah sistem bintang adalah grafis jika ada beberapa graph sehingga adalah keluarga dari lingkungan vertex di . Ini lengkap untuk memutuskan apakah sistem bintang yang diberikan adalah grafis.FFFSSSG ( V, E)G(V,E)G(V,E)FFFGGGNPNPNP Apa kejadian minimum dari setiap elemen sehingga …

5
Kelas Kompleksitas untuk Kasus Selain "Kasus Terburuk"
Apakah kita memiliki kelas kompleksitas sehubungan dengan, katakanlah, kompleksitas kasus rata-rata? Sebagai contoh, apakah ada kelas kompleksitas (bernama) untuk masalah yang membutuhkan waktu polinomial yang diharapkan untuk memutuskan? Pertanyaan lain mempertimbangkan kompleksitas kasus terbaik , dicontohkan di bawah ini: Apakah ada kelas masalah (alami) yang keputusannya membutuhkan setidaknya waktu eksponensial? …

3
Apakah menanamkan solusi layak untuk SAT?
Saya tertarik pada contoh individual "sulit" masalah NP-lengkap. Ryan Williams membahas masalah SAT0 di blog Richard Lipton . SAT0 bertanya apakah instance SAT memiliki solusi spesifik yang terdiri dari semua 0. Ini membuat saya berpikir tentang membangun instance SAT yang cenderung "sulit". Pertimbangkan instance SAT dengan klausa dan variabel , …



3
Apa buktinya ada ?
Apa buktinya ada ?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP adalah kelas bahasa yang terdapat Mesin Turing probabililistik yang berjalan dalam waktu polinomial dan selalu menjawab Ya pada input milik bahasa dan jawaban TIDAK dengan probabilitas setidaknya satu setengah pada input yang bukan milik bahasa.


1
Kandidat alami untuk NP-E dan E-NP
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 dan keduanya kosong.N PNP{\bf NP}E =DTsayaM.E( …


1
Apakah kerumitan Kolmogorov dari tabel kebenaran dari masalah penghentian diketahui tanpa gejala?
Misalkan HA L TnHALTnHALT_n menunjukkan string dengan panjang 2n2n2^n sesuai dengan tabel kebenaran dari penghentian masalah untuk input panjang nnn . Jika urutan kompleksitas Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) adalah O(1)O(1)O(1) , maka salah satu string saran akan sering digunakan tanpa batas, dan TM dengan string yang dikodekan keras akan …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.