Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Apakah Gap-3SAT NP-lengkap bahkan untuk formula 3CNF di mana tidak ada pasangan variabel yang muncul secara signifikan lebih banyak klausa daripada rata-rata?
Dalam pertanyaan ini, rumus 3CNF berarti rumus CNF di mana setiap klausa persis melibatkan tiga variabel yang berbeda . Untuk konstanta 0 < s <1, Gap-3SAT s adalah masalah janji berikut: Gap-3SAT s Instance : Sebuah 3CNF rumus φ. Ya-janji : φ memuaskan. No-janji : tidak ada tugas kebenaran memuaskan …
1
Kompleksitas komputasi pi
Membiarkan L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (di mana nnn dianggap dikodekan dalam biner). Lalu apa yang bisa kita katakan tentang kompleksitas komputasi LLL ? Jelas bahwa L∈EXPL∈EXPL\in\mathsf{EXP} …
3
Apakah
Saya pikir saya akan membagikan pertanyaan ini karena mungkin menarik bagi pengguna lain di sini. Asumsikan bahwa fungsi yang berada dalam kelas yang seragam (seperti ) juga berada dalam kelas kecil yang tidak seragam (seperti A C 0 / p o l y , yaitu tidak seragam A C 0 …
5
Masalah lengkap NEXP
Ada banyak masalah NP-selesai di sekitar dan sumber mengumpulkan mereka, misalnya lihat buku oleh Garey dan Johnson. Saya akan tertarik untuk melihat daftar masalah lengkap NEXP juga. Apakah ada satu tersedia? Karena saya anggap tidak ada, saya membuka pertanyaan ini (apakah ini seharusnya merupakan komunitas wiki? Saya tidak tahu tentang …
2
Seberapa sulitkah menggunakan pendekatan GCT Mulmuley-Sohoni untuk menunjukkan pemisahan kompleksitas yang diketahui?
Dalam posting tamu ini oleh Josh Grochow di weblog kompleksitas dia melaporkan pada lokakarya baru-baru ini yang didedikasikan untuk GCT yang diadakan di Princeton pada bulan Juli. Beberapa peserta berpendapat bahwa kita harus menggunakan GCT untuk menyerang masalah yang lebih mudah daripada vs. NPP\mathsf{P} untuk membangun intuisi dan melihat apakah …
3
Apakah variasi TQBF ini masih lengkap dengan PSPACE?
Memutuskan apakah formula boolean yang dikuantifikasi seperti ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), selalu mengevaluasi benar adalah masalah PSPACE-lengkap klasik. Ini dapat dilihat sebagai permainan antara dua pemain, dengan gerakan bergantian. Pemain pertama menentukan nilai kebenaran dari variabel bernomor ganjil dan pemain kedua memutuskan …
1
Dapatkah grafik isomorfisme diputuskan dengan nondeterminisme dibatasi oleh akar kuadrat?
Nondeterminism dibatasi mengaitkan fungsi dengan kelas C bahasa diterima oleh mesin Turing deterministik sumber daya dibatasi, untuk membentuk kelas baru g - C . Kelas ini terdiri dari bahasa-bahasa yang diterima oleh beberapa mesin Turing nondeterministic M mematuhi batas sumber daya yang sama seperti yang digunakan untuk mendefinisikan C , …
2
Apakah ada algoritma waktu polinomial untuk menentukan apakah rentang satu set matriks berisi matriks permutasi?
Saya ingin mencari algoritma waktu polinomial yang menentukan apakah rentang set matriks yang diberikan berisi matriks permutasi. Jika ada yang tahu jika masalah ini dari kelas kompleksitas yang berbeda, itu akan sangat membantu. EDIT: Saya telah menandai pertanyaan ini dengan Linear Programming, karena saya memiliki kecurigaan yang kuat bahwa jika …
4
Apakah versi gim Conway tentang kehidupan mendukung komputasi universal?
Mengutip Wikipedia , "[Permainan Kehidupan Conway] memiliki kekuatan mesin Turing universal: yaitu, apa pun yang dapat dihitung secara algoritmik dapat dihitung dalam Permainan Kehidupan Conway." Apakah hasil seperti itu meluas ke versi berisik dari Conway's Game of Life? Versi paling sederhana adalah bahwa setelah setiap putaran setiap sel hidup mati …
6
Apakah ada masalah alami pada naturals yang lengkap dengan NP?
Setiap bilangan alami dapat dianggap sebagai urutan bit, jadi memasukkan bilangan alami sama dengan memasukkan urutan 0-1, sehingga masalah NP-lengkap dengan input alami jelas ada. Tetapi apakah ada masalah alami, yaitu masalah yang tidak menggunakan beberapa pengkodean dan interpretasi khusus dari digit? Misalnya "Is na prime?" adalah masalah alami, tetapi …
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.