Pertanyaan terkait dengan kekerasan-NP dan kelengkapan NP.
Norbert Blum baru-baru ini diposting 38-halaman bukti bahwa P≠NPP≠NPP \ne NP . Apakah itu benar? Juga pada topik: di mana lagi (di internet) kebenarannya sedang dibahas? Catatan: fokus teks pertanyaan ini telah berubah seiring waktu. Lihat komentar pertanyaan untuk
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...
Saat ini, menyelesaikan masalah lengkap atau masalah lengkap tidak layak dalam kasus umum untuk input besar. Namun, keduanya dapat dipecahkan dalam waktu eksponensial dan ruang polinomial.NPNPNPPSPACEPSPACEPSPACE Karena kami tidak dapat membuat komputer nondeterministic atau 'beruntung', apakah...
Saya mencari contoh masalah dengan parametrized oleh angka k∈Nk∈Nk \in \mathbb{N} , di mana kekerasan masalahnya non-monotonik dalam kkk . Sebagian besar masalah (dalam pengalaman saya) memiliki transisi fase tunggal, misalnya kkk -SAT memiliki transisi fase tunggal dari k∈{1,2}k∈{1,2}k \in \{1,2\}...
Saya telah menemukan algoritma polinomial yang memecahkan 2SAT. Saya menemukan itu mengejutkan bahwa 2SAT ada di P di mana semua (atau banyak lainnya) dari instance SAT adalah NP-Complete. Apa yang membuat masalah ini berbeda? Apa yang membuatnya sangat mudah (Lengkap-NL - bahkan lebih mudah...
Beberapa masalah optimisasi yang dikenal sebagai NP-hard pada grafik umum sepele dipecahkan dalam waktu polinomial (beberapa bahkan dalam waktu linier) ketika grafik input adalah pohon. Contohnya termasuk penutup simpul minimum, set independen maksimum, isomorfisme subgraph. Sebutkan beberapa...
Buku Arora dan Barak menyajikan anjak piutang sebagai masalah berikut: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Mereka menambahkan,...
Saya memikirkan masalah berikut: Saya ingin menemukan ekspresi reguler yang cocok dengan serangkaian string tertentu (misalnya, alamat email yang valid) dan tidak cocok dengan yang lain (alamat email yang tidak valid). Misalkan dengan ekspresi reguler yang kami maksud adalah mesin negara terbatas...
Ini adalah pos-silang dari math.stackexchange. Biarkan FACT menunjukkan masalah anjak bilangan bulat: diberikan cari bilangan prima dan bilangan bulat sehinggap i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},halsaya∈ N ,pi∈N,p_i \in \mathbb{N},esaya∈ N ,ei∈N,e_i \in...
Mengapa kebanyakan orang lebih suka menggunakan banyak-satu reduksi untuk mendefinisikan kelengkapan NP daripada, misalnya, pengurangan
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...
Mark Dominus mengumpulkan beberapa contoh pengurangan polinomial-waktu dari berbagai masalah NP-hard untuk pencocokan "ekspresi reguler" . Membayangkan verifikasi polinomial-waktu bukanlah lompatan besar. Bagaimana Anda menggambarkan NP-lengkap kelas untuk sarjana atau teman-teman di bidang lain...
Saya punya pertanyaan historis. Saya mencoba menentukan referensi untuk fakta bahwa 3-colourability dari grafik (atau colourability untuk ) adalah NP-hard.kkkk≥3k≥3k\geq 3 Jawaban yang menggoda adalah "kertas asli Karp", tetapi itu salah. Berikut ini pemindaian: Reducibilitas di antara Masalah...
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...
Biarkan menunjukkan masalah (keputusan) dalam NP dan biarkan # menunjukkan versi penghitungannya.XXXXXXX Dalam kondisi apa diketahui bahwa "X is NP-complete" "#X is # P-complete"?⟹⟹\implies Tentu saja keberadaan reduksi pelit adalah satu kondisi seperti itu, tetapi ini jelas dan satu-satunya...
Ada dua pertanyaan yang diajukan baru-baru ini di cs.se yang terkait atau memiliki kasus khusus yang setara dengan pertanyaan berikut: Misalkan Anda memiliki urutan dari n angka sehingga Σ n i = 1 a i = n ( n + 1 ) . Uraikan menjadi jumlah dari dua permutasi, π dan σ , dari 1 ... n , sehingga a i...
Apakah masuk akal untuk mempertimbangkan kategori dari semua masalah NP-lengkap, dengan morfisme sebagai pengurangan waktu-poli antara contoh yang berbeda? Adakah yang pernah menerbitkan makalah tentang ini, dan jika demikian, di mana saya dapat
Kita tahu bahwa (lihat, misalnya, Teorema 1 dan 3 dari [1]), secara kasar, dalam kondisi yang sesuai, fungsi yang dapat dihitung secara efisien oleh mesin Turing dalam waktu polinomial ("efisien yang dapat dihitung") dapat diekspresikan oleh jaringan saraf polinomial dengan ukuran yang wajar, dan...
Saat membaca artikel "Apakah Saatnya Menyatakan Kemenangan dalam Menghitung Kompleksitas?" di blog "Surat Hilang Godel dan P = NP" , mereka menyebutkan dikotomi untuk CSP. Setelah beberapa link berikut, googling dan wikipeding, saya menemukan Teorema Ladner : Teorema Ladner: Jika , maka ada...
Saya menemukan makalah ini sangat menarik. Untuk meringkas: ini membahas mengapa dalam praktiknya Anda jarang menemukan contoh kasus terburuk dari masalah NP-lengkap. Gagasan dalam artikel ini adalah bahwa instance biasanya sangat di bawah atau sangat dibatasi, keduanya relatif mudah untuk...