Pertanyaan yang diberi tag «np-hardness»

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

232 cc.complexity-theory  np-hardness  complexity-classes 

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 …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

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 ada bedanya bagi kami jika masalahnya -complete atau -complete?NPNPNPPSPACEPSPACEPSPACE

66 cc.complexity-theory  np-hardness  big-picture 

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\} (di mana masalahnya ada di P) ke k≥3k≥3k \ge …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

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 daripada P)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

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 masalah optimasi alami yang tetap NP-keras pada pohon.

47 cc.complexity-theory  np-hardness  tree 

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, lebih lanjut dalam Bab 2, bahwa menghilangkan fakta bahwa adalah prima membuat …

45 cc.complexity-theory  np-hardness  factoring 

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 yang terdefinisi dengan baik, saya tidak akrab dengan …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

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

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Mengapa kebanyakan orang lebih suka menggunakan banyak-satu reduksi untuk mendefinisikan kelengkapan NP daripada, misalnya, pengurangan Turing?

39 cc.complexity-theory  np-hardness  reductions 

Pertimbangkan jelas generalisasi dari Rubik Cube . Apakah NP-sulit untuk menghitung urutan gerakan terpendek yang memecahkan kubus yang diacak, atau apakah ada algoritma waktu polinomial?n×n×nn×n×nn\times n\times n [Beberapa hasil terkait dijelaskan dalam posting blog terakhir saya .]

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

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 …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

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 yang ingin memahami keributan baru-baru ini atas makalah Deolalikar?

34 np-hardness  big-list 

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 Kombinatorial, Karp (1972) . Ini membuktikan bahwa nomor Chromatic (Input: grafik. Output: …

33 np-hardness  ho.history-overview 

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 …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory