Tambahkan X sebagai hipotesis, di mana X tidak diketahui benar atau salah.
Ketika merancang suatu algoritma untuk masalah baru, jika saya tidak dapat menemukan algoritma waktu polinomial setelah beberapa saat, saya mungkin mencoba membuktikannya sebagai NP-hard. Jika saya berhasil, saya sudah menjelaskan mengapa saya tidak dapat menemukan algoritma waktu polinomial....
Dalam Kompleksitas Deskriptif , Immerman memiliki Konsekuensi 7.23. Kondisi berikut ini setara: 1. P = NP. 2. Struktur yang terbatas, terurut, FO (LFP) = SO. Ini dapat dianggap sebagai "memperkuat" P = NP untuk pernyataan yang setara atas (mungkin) kelas kompleksitas yang lebih besar....
Kita tahu bahwa L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} dan L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , di mana L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Kita juga tahu bahwa...
Sejauh yang saya mengerti, upaya Program teori kompleksitas geometri untuk memisahkan dengan membuktikan bahwa permament dari matriks bernilai kompleks adalah jauh lebih sulit untuk menghitung dari determinan.VP≠VNPVP≠VNPVP \neq VNP Pertanyaan yang saya miliki setelah membaca sekilas tentang GCT...
Kompleksitas Zoo menunjukkan dalam entri pada EXP bahwa jika L = P maka PSPACE = EXP. Karena NPSPACE = PSPACE oleh Savitch, sejauh yang saya tahu argumen padding yang mendasarinya meluas untuk menunjukkan bahwa Kita juga tahu bahwa L NL NC P via hirarki bergantian sumber daya Ruzzo.( NL = P ) ⇒ (...
Anjak piutang tidak dikenal sebagai NP-complete. Pertanyaan ini menanyakan konsekuensi dari Anjak piutang menjadi NP-lengkap. Anehnya, tidak ada yang meminta konsekuensi Anjak di P (mungkin karena pertanyaan seperti itu sepele). Jadi pertanyaan saya adalah: Yang akan menjadi konsekuensi teoritis...
Sebagai seorang amatir TCS, saya membaca beberapa materi yang sangat populer tentang komputasi kuantum. Berikut adalah beberapa informasi dasar yang telah saya pelajari sejauh ini: Komputer kuantum tidak dikenal untuk menyelesaikan masalah NP-complete dalam waktu polinomial. "Sihir kuantum tidak...
Pada 1995, Russell Impagliazzo mengusulkan lima dunia kompleksitas: 1- Algorithmica: dengan semua konsekuensi luar biasa.P= NPP=NPP=NP 2- Heuristica: Masalah lengkap sulit pada kasus terburuk ( ) tetapi dipecahkan secara efisien dalam kasus rata-rata.NPNPNPP≠ NPP≠NPP \ne NP 3- Pessiland: Ada...
Dua asumsi umum untuk membuktikan kekerasan hasil perkiraan adalah dan Unique Games Conjecture. Apakah ada kekerasan hasil perkiraan dengan asumsi NP \ neq coNP ? Saya mencari masalah A sehingga "sulit untuk memperkirakan A dalam faktor \ alpha kecuali NP = coNP ".P≠NPP≠NPP \neq NPNP≠coNPNP≠coNPNP...
Ada justifikasi filosofis yang sering dikutip untuk meyakini bahwa P! = NP bahkan tanpa bukti. Kelas kompleksitas lainnya memiliki bukti bahwa mereka berbeda, karena jika tidak, akan ada konsekuensi "mengejutkan" (seperti runtuhnya hierarki polinomial). Pertanyaan saya adalah, apa dasar untuk...
Salah satu grails suci dari desain algoritma adalah menemukan algoritma yang sangat polinomial untuk pemrograman linier, yaitu, algoritma yang runtime dibatasi oleh polinomial dalam jumlah variabel dan kendala dan tidak tergantung pada ukuran representasi parameter (dengan asumsi aritmatika biaya...
Apa konsekuensi buruk NP = PSPACE? Saya terkejut saya tidak menemukan apa-apa tentang ini, mengingat bahwa kelas-kelas ini adalah yang paling terkenal. Secara khusus, apakah akan ada konsekuensi pada kelas
Sunting : Seperti yang ditunjukkan Ravi Boppana dengan benar dalam jawabannya dan Scott Aaronson juga menambahkan contoh lain dalam jawabannya , jawaban untuk pertanyaan ini ternyata "ya" dengan cara yang tidak saya harapkan sama sekali. Pertama saya berpikir bahwa mereka tidak menjawab pertanyaan...
Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Tampaknya banyak orang percaya bahwa , sebagian karena mereka percaya bahwa anjak piutang tidak dapat
Parity-L adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol), dan yang merupakan selanjutnya dibatasi untuk bekerja di ruang...
Apakah Anda tahu konsekuensi menarik dari dugaan (standar) dalam teori kompleksitas di bidang matematika lainnya (yaitu di luar ilmu komputer teoretis)? Saya lebih suka jawaban di mana: dugaan teori kompleksitas adalah sebagai umum dan standar mungkin; Saya baik-baik saja dengan konsekuensi...
RP adalah kelas masalah yang dapat diputuskan oleh mesin Turing nondeterministik yang berakhir dalam waktu polinomial, tetapi itu juga memungkinkan kesalahan satu sisi. P adalah kelas masalah yang biasa diputuskan oleh mesin Turing deterministik yang berakhir dalam waktu polinomial. P = RP...
Apa konsekuensi dari memiliki masalah lengkap dalam ?NP∩ c o NPNP∩coNPNP\cap
The Karp – Lipton Theoem menyatakan bahwa jika , maka runtuh menjadi . Oleh karena itu, dengan asumsi pemisahan antara dan , no - masalah lengkap akan menjadi milik .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Sementara teorema Adleman menunjukkan, bahwa , saya tidak mengetahui adanya literatur yang menyelidiki kemungkinan dimasukkannya . Apa konsekuensi kompleksitas-teoretis yang akan dimiliki oleh inklusi seperti itu?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq