Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Arti P = NP? tergantung pada geometri ruang-waktu?
Pertanyaan ini adalah tentang buku "Cellata automata di ruang hiperbolik: Volume 2" Oleh Maurice Margenstern, Penerbit Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Menurut pendapat penulis, pertanyaan P = NP tidak tepat karena dalam pengaturan hiperbolik P = NP atau dalam notasi yang digunakan kemudian dalam buku P h = NP h . …
1
Kompleksitas hex dengan urutan belokan acak.
Saya telah memikirkan varian hex , di mana alih-alih kedua pemain membuat gerakan secara bergantian, setiap belokan yang dipilih pemain secara acak membuat gerakan. Seberapa sulit untuk menentukan peluang untuk setiap pemain yang menang? Masalah ini jelas di PSPACE, tetapi tidak bisa NP-keras, apalagi PSPACE-lengkap. Kesulitan datang dari bagaimana keacakan …
1
Bisakah kita memutuskan apakah seorang permanen memiliki istilah yang unik?
Misalkan kita diberi n oleh n matriks, M, dengan entri bilangan bulat. Bisakah kita memutuskan di P apakah ada permutasi sehingga untuk semua permutasi kita memiliki ?σσ\sigmaπ≠σπ≠σ\pi\ne\sigmaΠMiσ(i)≠ΠMiπ(i)ΠMiσ(i)≠ΠMiπ(i)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Catatan. Seseorang tentu saja dapat mengganti produk dengan jumlah, masalahnya tetap sama. Jika matriks hanya dapat memiliki 0/1 entri, maka …
5
Gagasan yang lebih kuat tentang penyeragaman?
Satu celah yang saya selalu sadar bahwa saya tidak benar-benar mengerti adalah antara kompleksitas komputasi tidak seragam dan seragam di mana kompleksitas sirkuit mewakili versi tidak seragam dan mesin Turing adalah hal-hal yang seragam. Saya kira "seragam" adalah cara untuk menahan kelas algoritma, misalnya tidak mengizinkan rangkaian yang sama sekali …
3
Yang
Gambar Dunia yang terkenal dari Neil Immerman adalah sebagai berikut (klik untuk memperbesar): Kelasnya "Benar-benar layak" tidak termasuk kelas lain; pertanyaan saya adalah: Apa masalah AC 0 yang dianggap tidak taktis, dan mengapa?
1
Pemisahan orakular antara sirkuit kuantum kedalaman pol dan log
Masalah berikut muncul dalam daftar Aaronson, Sepuluh Tantangan Semi-Grand untuk Teori Komputasi Quantum . ApakahBQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompresi menjadi kedalaman, asalkan kita ' Apakah Anda bersedia melakukan postprocessing klasik polinomial-waktu? (Ini diketahui benar untuk algoritma Shor.) Jika demikian, membangun komputer kuantum …
1
LogDCFL-menyelesaikan masalah
LogCFL adalah himpunan semua bahasa yang logspace direduksi menjadi bahasa bebas konteks. Demikian pula, LogDCFL adalah himpunan semua bahasa yang logspace direduksi menjadi bahasa bebas konteks deterministik. Lihat artikel wikipedia ini untuk beberapa masalah lengkap LogCFL. Ada beberapa masalah lengkap lengkap yang menarik dari LogCFL. Saya tidak dapat menemukan masalah …
1
Membaca di
Apa yang harus saya baca untuk memahami masalah ini? Kekuatan sirkuit kuantum kecil-kedalaman. Apakah ? Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompres ke kedalaman polylog (n), asalkan kami bersedia melakukan postprocessing klasik waktu polinomial? (Ini diketahui benar untuk algoritma Shor.) Jika demikian, membangun komputer kuantum …
1
Apakah ?
Saya berharap jawabannya adalah tidak, tetapi saya tidak bisa benar-benar membuat contoh tandingan. Perbedaannya adalah pada , kita mungkin tidak dapat memilih algoritma secara seragam dalam .∩ ε > 0 D T I M E ( O ( n 2 + ε ) ) O ( n 2 + ε …
3
Rumus Boolean yang terukur dengan pergantian logaritmik
Saya sedang mempelajari masalah yang sulit untuk kelas formula boolean yang dikuantifikasi dengan jumlah logaritmik dari pergantian quantifiers. Masalah di kelas ini akan terlihat seperti: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Di mana , dan adalah rumus boolean dari …
1
Apakah Pemrograman Dinamis tidak pernah lebih lemah daripada Serakah?
Dalam kompleksitas sirkuit, kami memiliki pemisahan antara kekuatan berbagai model rangkaian. Dalam kompleksitas bukti, kami memiliki pemisahan antara kekuatan berbagai sistem bukti. Namun dalam algoritmik, kami hanya memiliki sedikit pemisahan antara kekuatan paradigma algoritmik . Pertanyaan saya di bawah ini bertujuan untuk menyentuh masalah terakhir ini untuk dua paradigma: Pemrograman …
3
Contoh derandomisasi yang sukses dari BPP ke P
Apa saja contoh utama derandomisasi yang sukses atau setidaknya kemajuan dalam menunjukkan bukti konkret terhadap tujuan (bukan koneksi keacakan kekerasan)?P=BPPP=BPPP=BPP Satu-satunya contoh yang terlintas di pikiran saya adalah pengujian primitas waktu polinomial deterministik AKS (bahkan untuk ini ada metodologi asumsi GRH). Jadi apa bukti spesifik melalui contoh yang kita miliki …
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.