Pertanyaan yang diberi tag «np-intermediate»

28
Masalah Antara P dan NPC
Anjak dan grafik isomorfisme adalah masalah dalam NP yang tidak diketahui dalam P atau NP-Complete. Apa saja masalah alam lain (yang cukup berbeda) yang berbagi properti ini? Contoh buatan yang datang langsung dari bukti teorema Ladner tidak masuk hitungan. Apakah ada di antara contoh ini yang terbukti sebagai perantara-NP, dengan …

4
Teorema Ladner Umum
Teorema Ladner menyatakan bahwa jika P ≠ NP, maka ada hierarki tak terbatas dari kelas kompleksitas yang secara ketat berisi P dan secara ketat terkandung dalam NP. Buktinya menggunakan kelengkapan SAT di bawah banyak-satu pengurangan NP. Hirarki berisi kelas kompleksitas yang dibangun oleh semacam diagonalisasi, masing-masing berisi beberapa bahasa yang …

3
Teknik untuk menunjukkan masalah itu dalam kekerasan "limbo"
Diberikan masalah baru di yang kompleksitas sebenarnya ada di antara dan NP-complete, ada dua metode yang saya tahu yang mungkin digunakan untuk membuktikan bahwa menyelesaikan ini sulit:PNPNP\mathsf{NP}PP\mathsf{P} Tunjukkan bahwa masalahnya adalah GI-complete (GI = Graph Isomorphism) Tunjukkan bahwa masalahnya ada di . Dengan hasil yang diketahui, hasil seperti itu menyiratkan …



2
Masalah NP-menengah dengan solusi kuantum yang efisien
Peter Shor menunjukkan bahwa dua masalah NP-intermediate yang paling penting, anjak piutang dan masalah log diskrit, ada di BQP. Sebaliknya, algoritma kuantum yang paling dikenal untuk SAT (pencarian Grover) hanya menghasilkan peningkatan kuadratik daripada algoritma klasik, mengisyaratkan bahwa masalah NP-complete masih sulit diterapkan pada komputer kuantum. Seperti yang ditunjukkan Arora …

6
Apakah ada masalah alami dalam waktu kuasi-polinomial, tetapi tidak dalam waktu polinomial?
László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 . Menurut teorema Ladner, jika , maka tidak kosong, yaitu berisi masalah …

1
Kandidat alami untuk hierarki di dalam NPI
Mari kita berasumsi bahwa . N P I adalah kelas masalah dalam N P yang tidak dalam P atau dalam N P -hard. Anda dapat menemukan daftar masalah yang diduga sebagai N P I di sini .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema Ladner memberitahu kita bahwa jika maka ada hierarki tak terbatas …


1
Apakah ada masalah "NP-Menengah-Lengkap"?
Asumsikan P NP.≠≠\ne Teorema Ladner mengatakan bahwa ada masalah NP Menengah (masalah dalam NP yang tidak dalam P atau NP-Lengkap). Saya telah menemukan beberapa referensi terselubung online yang menyarankan (saya pikir) bahwa ada banyak "level" dari bahasa yang saling direduksi dalam NPI yang pasti tidak semuanya runtuh menjadi satu. Saya …

1
Apakah
Bisakah kita membuktikan bahwa untuk setiap bahasa yang bukan N P -hard (ini mengasumsikan P ≠ N P ), P L ≠ P SAT ? Bergantian, dapatkah ini dibuktikan dengan asumsi yang masuk akal?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}


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

3
Apakah ada masalah NP-Complete (atau NP-Intermediate) yang diketahui dalam ruang nlineterministic sublinear?
Ada beberapa masalah NP-Lengkap ( , S U B S E T S U M , dll.) Diketahui berada di D S P A C E ( n ) . Bagaimana dengan ruang sub-linear?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Apakah ada masalah NP-Complete (atau NP-Intermediate) yang diketahui dalam ruang nlineterministic …
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.