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...
Biarkan kelas BPNC (kombinasi dan ) menjadi algoritma paralel kedalaman log dengan probabilitas kesalahan terbatas dan akses ke sumber acak (saya tidak yakin apakah ini memiliki nama yang berbeda). Tentukan kelas DBPNC dengan cara yang sama, kecuali bahwa semua proses memiliki akses acak ke aliran...
BPPBPP\mathsf{BPP} danZPPZPP\mathsf{ZPP} adalah dua kelas kompleksitas probabilistik dasar. BPPBPP\mathsf{BPP} adalah kelas bahasa yang diputuskan oleh algoritma Turing polinomial-waktu probabilistik di mana probabilitas algoritma mengembalikan jawaban yang salah dibatasi, yaitu probabilitas...
Kelas kompleksitas didefinisikan sebagai berikut (dari Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Bahasa adalah dalam S P 2 jika ada predikat polinomial-waktu P sedemikian rupaL.L.LSP2S2PS_2^PPPP Jika , maka ada y sedemikian rupa sehingga untuk semua z , P ( x , y , z ) = 1x ∈ Lx∈L.x \in...
Jika kita dapat membuktikan bahwa , apakah itu menyiratkan bahwa ?L = PL.=P\mathsf{L}=\mathsf{P}N L = N PNL.=NP\mathsf{NL}=\mathsf{NP} Saya pikir itu masalahnya, tapi saya tidak bisa membuktikannya (juga untuk yang
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...
Mari kita sebut bahasa NP yang jarang memiliki sertifikat jika dan hanya jika:L ∈L∈L \in Ada polinomial sedemikian rupa sehingga untuk setiap input ukuran , jika maka set sertifikat yang memverifikasi bahwa berukuran polinomially, yaitu . x ∈ Σ ∗ n x ∈ L U x u x ∈ L | U x | ≤ p ( n )p : N →...
Masalah telah, secara keseluruhan, diklasifikasikan, berkat Kompleksitas Komputasi. Tetapi, dalam persamaan diferensial, apakah mungkin untuk mengklasifikasikan persamaan diferensial tergantung pada struktur komputasinya? Sebagai contoh, jika persamaan non-homogen orde pertama secara komparatif...
Dugaan Berman-Hartmanis: semua bahasa NP-lengkap terlihat sama, dalam arti bahwa mereka dapat saling terkait oleh isomorfisme waktu polinomial [1]. Saya tertarik pada versi "polinomial time" yang lebih berbutir halus, yaitu, jika kita menggunakan pengurangan parameter. Masalah parameter adalah...
Ini adalah pos yang dipisahkan dari Konsekuensi UP sama dengan NP , dan juga pertanyaan lanjutan untuk Kelas Kompleksitas Semantik vs. Sintaksis . Dalam posting di atas kita belajar tentang kelas semantik dan sintaksis . Secara singkat dinyatakan, ketika suatu kelas dapat dikarakteristikkan...
Tentukan model komputasi MPostBQP agar identik dengan PostBQP kecuali kami mengizinkan pengukuran qubit secara polinomial banyak sebelum pengukuran pasca-seleksi dan akhir. Bisakah kita memberikan bukti yang menunjukkan bahwa MPostBQP lebih kuat daripada PostBQP? Tentukan MPostBQP [k] untuk...
Bahkan jika itu bukan poin penting, saya tidak melihat literatur tentang pertanyaan ini. Apakah ada hasil relativisasi? Tidakkah cukup mudah untuk membuktikan inklusi yang ketat dengan mengadaptasi teorema hierarki waktu non-deterministik dengan mengeksplorasi semua jalur yang mungkin dari mesin...
Penasaran dengan pertanyaan menarik Chris Pressey tentang fungsi dasar-rekursif , saya menjelajahi lebih banyak dan tidak dapat menemukan jawaban untuk pertanyaan ini di web. The fungsi rekursif dasar sesuai dengan baik untuk hirarki eksponensial,
Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP? Pertanyaannya dapat dilihat sebagai versi yang lebih kuat dari fakta bahwa setiap bahasa yang dikenali Turing yang tak terbatas memiliki himpunan bagian yang tak
Biarkan menjadi kelas bahasa yang diputuskan dengan bergantian mesin Turing yang berhenti dalam waktu menggunakan spasi . Biarkan menjadi kelas bahasa yang diputuskan dengan bergantian mesin Turing yang berhenti menggunakan bergantian dan spasi .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n),...
Kita tahu bahwa . Dari Teorema Savitch, , dan, dari Space Hierarchy Teorem, . Jadi, karena kita tidak tahu apakah , kita tidak tahu apakah , atau kita tahu itu ? Adakah yang mencoba membuktikan bahwa \ mathcal L ^ 2 \ subseteq \ mathcal P ? Apa hasil terbaru, atau upaya, dengan cara ini? Saya sudah...
Banyak literatur komputasi kuantum berfokus pada model rangkaian. Komputasi kuantum adiabatik tidak didasarkan pada penerapan urutan operator kesatuan, tetapi pada perubahan Hamiltonian yang bergantung waktu. Saya mencari wawasan tentang hal-hal berikut. Apakah komputasi kuantum adiabatik sekuat...
Sudah diketahui bahwa keberadaan fungsi satu arah diperlukan dan cukup untuk banyak kriptografi (tanda tangan digital, generator pseudorandom, enkripsi kunci pribadi, dll.). Pertanyaan saya adalah: Apa konsekuensi teori-kompleksitas dari keberadaan fungsi satu arah? Misalnya, OWF menyiratkan bahwa...
Berikut ini tidak diyakini benar: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bisakah Anda membantu saya melihat di mana argumennya rusak? Masalah reachability yang diarahkan selesai untuk . Saya berpendapat bahwa ini adalah dalam L- seragam N C...
Biarkan untuk , dengan janji bahwa (di mana jumlahnya lebih dari ). Lalu apa kompleksitas penentuan jika ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Perhatikan bahwa secara...