Baru-baru ini saya menemukan sebuah makalah oleh Coudron dan Yuen tentang ekspansi keacakan menggunakan perangkat kuantum. Hasil utama dari pekerjaan ini adalah bahwa dimungkinkan untuk menghasilkan keacakan "tak terbatas" dari sejumlah sumber yang konstan (yaitu, jumlah bit acak yang dihasilkan...
Dalam rumus CNF berlawanan baca-dua kali setiap variabel muncul dua kali, sekali positif dan sekali negatif. Saya tertarik dengan masalah , yang terdiri dalam menghitung paritas dari jumlah penugasan yang memuaskan dari rumus CNF baca-berlawanan dua
Mari menjadi grafik asiklik diarahkan , dan membiarkan λ menjadi fungsi pelabelan memetakan setiap titik v ∈ V untuk label λ ( v ) di beberapa alfabet yang terbatas L . Menulis n : = | V | , Sebuah semacam topologi dari G adalah bijection σ dari { 1 , ... , n } ke V (yaitu, pemesananG=(V,E)G=(V,E)G...
Biarkan menjadi oracle generik dalam arti kategori Cohen / Baire. Biarkan menjadi oracle acak.GGGRRR Apakah ada kompleksitas kelas A dan B dengan atau sebaliknya, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne
Secara umum memutuskan apakah persamaan diophantine memiliki solusi bilangan bulat setara dengan masalah penghentian. Saya percaya bahwa memutuskan apakah persamaan diophantine kuadratik memiliki solusi apa pun adalah NP-complete. Apakah ada batasan lebih lanjut pada persamaan yang terlibat yang...
Pertanyaan Umum Apakah teorema hierarki ruang menggeneralisasi ke perhitungan yang tidak seragam? Berikut beberapa pertanyaan spesifik: Apakah ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Untuk semua fungsi pembangun ruang f(n)f(n)f(n) , apakah
Saya tertarik dengan masalah klasik REGULAR LANGUAGE INCLUSION. Diberi ekspresi reguler , kami menunjukkan oleh L ( E ) bahasa reguler yang terkait dengannya. (Ekspresi reguler menggunakan alfabet tetap Σ , dengan gabungan operasi, bintang Kleene dan gabungan.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: Dua...
Dari teorema ruang-hierarki diketahui bahwa jika fff -ruang-dibangun maka DSPACE ( 2f(n)2f(n)2f(n) ) tidak sama dengan DSPACE ( f(n))f(n))f(n)) . Di sini, oleh DSPACE ( f(n))f(n))f(n)) saya maksud adalah kelas semua masalah yang dapat diselesaikan dalam ruang f(n)f(n)f(n) oleh mesin Turing dengan...
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...
Apakah mungkin (slash dapat Anda berikan contoh) untuk mengurangi kompleksitas komputasi dari suatu masalah dengan menggunakan algoritma paralel yang tidak memerlukan sejumlah prosesor relatif terhadap ukuran
Dengan BPP / linear saya merujuk ke mesin BPP dengan saran linier, yang memenuhi janji ketika diberi saran "benar", dan derandomisasi harus memberi kita, katakanlah, algoritma P / linear atau (SUBEXP / linear). Jika kita menggunakan asumsi yang tidak seragam, saya pikir hasil klasik akan berhasil,...
Tunjukkan fungsi yang dapat dikonstruksi-ruang tetapi bukan-waktu-terstruktur.f(n)f(n)f(n) Apakah masalah ini terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f
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,...
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,
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...
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...
Asumsikan P≠NPP≠NPP \neq NP Mari gunakan notasi berikut iaia{}^ia for tetration (mis.ia=aa⋅⋅⋅ai 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,...
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...
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...
Saya ingin tahu apakah ada bahasa yang jarang (bahkan dibangun oleh diagolanisasi tertunda) di NPI dengan asumsi bahwa .P≠ NPP≠NPP \neq