Pertanyaan yang diberi tag «complexity-classes»

Kelas kompleksitas komputasi dan hubungannya


2
Intuisi untuk kelas UP
Kelas UP didefinisikan sebagai: Kelas masalah keputusan dipecahkan oleh mesin NP sedemikian rupa Jika jawabannya adalah 'ya,' tepat satu jalur perhitungan menerima. Jika jawabannya adalah 'tidak,' semua jalur perhitungan ditolak. Saya mencoba mengembangkan intuisi untuk definisi ini. Dapatkah seseorang mengatakan bahwa masalah UP adalah masalah dengan solusi unik (misalnya factorisation …

1
Kompleksitas Sintaksis Kelas
Diketahui bahwa beberapa kelas kompleksitas sintaksis (tidak berhubungan) antara PP{\bf P} dan P S P A C EPSPACE{\bf PSPACE} memiliki properti berikut, P ⊆ C o N P ⊆ U S ⊆ C=P ⊆ P P ⊆ P S P A C EP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} …



1
Apa kompleksitas penghitungan jumlah solusi dari masalah P-Space Complete? Bagaimana dengan kelas kompleksitas yang lebih tinggi?
Saya kira itu akan disebut # P-Space tetapi saya hanya menemukan satu artikel yang samar-samar menyebutkannya. Bagaimana dengan versi penghitungan masalah EXP-TIME-Complete, NEXP-Complete serta EXP-SPACE-Complete? Apakah ada karya sebelumnya yang dapat dikutip sehubungan dengan ini atau jenis inklusi atau pengecualian seperti Teorema Toda?

3
Mengapa masalah NPI tidak semuanya memiliki kompleksitas yang sama?
Bagaimana seseorang melihat suatu masalah dan alasan bahwa itu kemungkinan NP-Intermediate dibandingkan dengan NP-Complete? Seringkali cukup sederhana untuk melihat suatu masalah dan mengatakan apakah itu mungkin NP-Complete atau tidak, tetapi bagi saya tampaknya lebih sulit untuk mengatakan apakah suatu masalah adalah NP-Intermediate karena garis tampaknya cukup tipis antara keduanya. kelas. …

4
Apakah diagonalisasi menangkap esensi dari pemisahan kelas?
Saya tidak ingat pernah melihat pemisahan kelas yang tidak didasarkan pada hasil diagonalisasi dan relatisasi. Diagonisasi masih dapat digunakan untuk memisahkan kelas yang diketahui yang tersisa, karena argumen non-relativiasi mungkin masih digunakan dalam kesimpulan diagonalisasi, atau dalam konstruksi mesin Turing yang didiagonalisasi. Berikut beberapa pertanyaan terkait: Apakah ada bukti pemisahan …

4
Kelas Kompleksitas NEXP
Saya memiliki masalah yang ada di NEXP dan juga dapat diselesaikan dengan TM bergantian menggunakan waktu eksponensial dan hanya satu pergantian (mulai dalam keadaan eksistensial).NPNP^{\text{NP}} Adakah yang diketahui tentang NEXP ? Apakah setara dengan NEXP atau kelas lain? Apakah ada masalah lengkap selain yang umum (diberi mesin NEXP dan sebuah …

3
Algoritma mana yang dapat diekspresikan menggunakan bahasa fungsional total dengan operator paralel data?
Bayangkan sebuah bahasa pemrograman fungsional yang hanya tipe datanya berupa skalar numerik dan susunan array yang sewenang-wenang. Bahasa tidak memiliki sarana iterasi tanpa batas, jadi yang berikut ini tidak diizinkan: loop eksplisit (tidak banyak digunakan tanpa efek samping) pengulangan fungsi kelas satu yang arbitrer (tidak ada kombinator) Namun, bahasa tersebut …

3
Dua Varian NP
Berikut adalah dua variasi definisi NP. Mereka (hampir pasti) mendefinisikan kelas kompleksitas yang berbeda, tetapi pertanyaan saya adalah: adakah contoh alami masalah yang cocok dengan kelas-kelas ini? (Ambang batas saya untuk apa yang dianggap alami di sini sedikit lebih rendah dari biasanya.) Kelas 1 (superclass NP): Masalah dengan saksi ukuran …

2
Contoh sesuatu yang berbeda untuk oracle generik dan acak?
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 \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Pertanyaan itu diilhami oleh komentar oleh Scott Aaronson .

2
Apakah Oracles Asosiatif?
Pertanyaan ini mungkin memiliki jawaban yang jelas ... tetapi inilah pertanyaannya. Secara intuitif, ini adalah pernyataan masuk akal berikut - "mesin dengan subrutin A yang pada gilirannya memiliki subrutin B sama dengan mesin dengan subrutin A yang memiliki akses ke subrutin B". Untuk mendefinisikan masalah ini secara formal, saya akan …

1
Apa kompleksitas game ini?
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 string.M.MMSEBUAHAASEBUAHAAxxx Pertimbangkan permainan Alice dan Bob berikut ini. Awalnya, Alice dan …

1
Apakah game ini EXPSPACE-lengkap?
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 ini. Awalnya, Alice dan Bob memiliki dan m B …

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.