Pertanyaan yang diberi tag «complexity-classes»

Kelas kompleksitas komputasi dan hubungannya

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( …

2
Apakah ada masalah komputasi yang berada dalam waktu kuasi polinomial tetapi (mungkin) tidak dalam
Waktu quasi-polinomial, atau QP, adalah kelas kompleksitas pada mesin Turing deterministik. Berikut adalah definisi yang tepat: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Sedangkan βP adalah kelas kompleksitas nondeterminisme terbatas. Berikut adalah definisi yang tepat: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Sangat mudah untuk melihat bahwa setiap mesin βP dapat disimulasikan oleh mesin QP, yaitu, βP QP.⊆⊆\subseteq Tapi apakah kita punya …

1
2-NEXPTIME menyelesaikan masalah
Kami memiliki masalah dan kami menemukan algoritma yang nampak sebagai 2-nexptime. Saya ingin menemukan masalah 2-nexptime-complete yang diketahui untuk menemukan batas bawah. Saya menemukan dalam literatur terutama dua masalah seperti itu: apakah PCP sebagai solusi ukuran kurang dari 22n22n2^{2^n} dan masalah pengolahan untuk kuadrat ukuran 22n22n2^{2^n} Namun saya tidak dapat …

2
Kompleksitas yang tepat dari masalah dalam
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 sepele masalahnya terletak pada karena iff x = 1 . Pertanyaannya adalah: apakah masalahnya ada pada \ mathsf {AC} …

2
Konsekuensi OWF untuk Kompleksitas
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 , , dan . Apakah ada konsekuensi lain yang diketahui? Secara khusus, apakah …

2
Apakah komputasi kuantum adiabatik sekuat model sirkuit?
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 model rangkaian, atau apakah secara inheren kurang kuat? Apakah ada kelas kompleksitas yang secara …

1
Pada
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, …



2
Hasil Kompleksitas untuk Fungsi Rekursif Rendah-Elementer?
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, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Tampaknya langsung dari definisi bahwa masalah keputusan yang dapat ditentukan (term?) …

1
Sastra di sekitar NP vs EXPTIME
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 NP?


3
Bukti Interaktif melalui Postselection?
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 memungkinkan beberapa putaran pengukuran dan pasca pemilihan sebelum kita melakukan pengukuran akhir. Pilih …

1
Apa yang salah dengan argumen
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 1 .L.L\mathsf{L}L.L\mathsf{L}N C1NC1\mathsf{NC^1} Masalah reachability diarahkan lebih grafik konfigurasi deterministik log-ruang Turing …

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.