Pertanyaan yang diberi tag «np-hardness»

Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan FPT yang saya lihat adalah pengurangan p-time, yang berarti W [t] -kurang bukti hampir selalu menyiratkan …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Dalam grafik, himpunan bebas adalah himpunan bagian verteks yang tidak mengandung tepi sebagai subgraf yang diinduksi. Masalah menemukan set independen terbesar dalam grafik adalah pertanyaan algoritmik yang mendasar, dan yang sulit pada saat itu. Mari kita pertimbangkan pertanyaan yang lebih umum untuk menemukan (ukuran) set bebas-H terbesar dalam sebuah grafik, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Dalam grafik yang diarahkan,G = ( V, E)G=(V,E)G=(V,E) , , jika G ∖ F adalah DAG (grafik asiklik terarah), F disebut set busur umpan balik. F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Jika setiap sisi dikaitkan dengan bobot , masalah set busur umpan balik biaya minimum adalah untuk menemukan F sehingga …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Masalah N-queen adalah ini: Input: N Keluaran: Penempatan N "ratu" pada papan catur NXN sehingga tidak ada dua ratu yang berada di baris, kolom, atau diagonal yang sama. Melakukan pencarian google pada ini, saya menemukan bahwa banyak slide oleh banyak profesor mengklaim ini adalah masalah NP-Hard. (Mis. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Namun saya …

11 cc.complexity-theory  np-hardness  csp 

Pertanyaan ini mungkin tidak bersifat teknis. Sebagai pembicara non-asli dan TA untuk kelas algoritma, saya selalu bertanya-tanya apa arti gadget dalam 'gadget klausa' atau 'gadget variabel'. Kamus mengatakan gadget adalah mesin atau perangkat, tapi saya tidak yakin apa artinya bahasa sehari-hari dalam konteks bukti NP-complete.

11 cc.complexity-theory  np-hardness  terminology  reductions 

Saya tertarik pada variasi SAT di mana rumus CNF adalah monoton (tidak ada variabel yang dinegasikan). Formula seperti itu jelas memuaskan. Tetapi katakanlah jumlah variabel benar adalah ukuran seberapa baik solusi kami. Jadi kami memiliki masalah berikut: MINIMUM TRUE MONOTONE 3SAT INSTAN: Tetapkan U variabel, koleksi C dari klausa disjungtif …

11 cc.complexity-theory  np-hardness  sat 

Saya ingin tahu apakah kelas NPC didefinisikan oleh banyak-satu pengurangan dan pengurangan Turing adalah sama. Sunting: Pertanyaan lain, apakah pengurangan Turing hanya menciutkan kelas C dan co-C untuk beberapa C atau apakah ada kelas seperti ada masalah tidak dalam C ∪ c o - C di bawah pengurangan Karp dan …

11 cc.complexity-theory  np-hardness  reductions 

Masalah pencocokan sempurna dua-warna adalah memutuskan apakah grafik memiliki pewarnaan dengan dua warna sedemikian rupa sehingga setiap simpul memiliki satu tetangga yang persis sama dengan warnanya. Masalahnya terbukti NP-lengkap oleh Schaefer . Itu tetap NP-lengkap bahkan untuk grafik kubik planar. Saya tertarik pada varian di mana kami ingin memutuskan apakah …

10 cc.complexity-theory  np-hardness 

Saya menemukan dua contoh kekerasan hipotetis dari beberapa masalah grafik. Kekerasan hipotesis berarti bahwa menyangkal beberapa dugaan akan menyiratkan kelengkapan NP dari masing-masing masalah grafik. Misalnya, dugaan Barnette menyatakan bahwa setiap grafik bipartit planar 3 yang terhubung adalah Hamilton. Feder dan Subi membuktikan bahwa menyangkal dugaan akan menyiratkan kelengkapan NP …

10 cc.complexity-theory  graph-theory  np-hardness 

Saya tertarik dengan masalah berikut. Kami diberikan sebagai masukan "target permutasi" , serta daftar memerintahkan indeks i 1 , ... , i m ∈ [ n - 1 ] . Kemudian, dimulai dengan daftar L = ( 1 , 2 , ... , n ) (yaitu, permutasi identitas), pada setiap …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai NP-complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Apakah masalah CNF SAT NP sulit ketika jumlah total (tetapi bukan lebar) dari klausa 3-atau-lebih istilah dibatasi di atas oleh konstanta? Bagaimana dengan spesifik ketika hanya ada satu klausa seperti itu?

10 np-hardness  sat  upper-bounds 

Saya memiliki masalah berikut: Input: dua set interval dan T (semua titik akhir adalah bilangan bulat). Pertanyaan: adakah bijih monoton f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T Bijection adalah monoton wrt set masuknya order pada dan T . ∀ X ⊆ Y ∈ S , f ( …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Seberapa sulit masalah Set Cover jika jumlah elemen dibatasi oleh beberapa fungsi (misalnya, lognlog⁡n\log n ) di mana nnn adalah ukuran instance masalah. Secara formal, Misalkan U={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\} dan F={S1,⋯,Sn}F={S1,⋯,Sn}\mathcal{F} = \{S_1, \cdots, S_n\} mana Si⊆USi⊆US_i \subseteq \mathcal{U} dan m=O(logn)m=O(log⁡n)m = O(\log n) . Seberapa sulit untuk memutuskan masalah …

10 np-hardness  set-cover  exp-time-algorithms 

Apakah ada algoritma yang dikenal untuk masalah berikut yang mengalahkan algoritma naif? Input: Sistem dari ketidaksetaraan linear m .A x ≤ bAx≤bAx \le bmmm Keluaran: Solusi yang layak jika ada.x∗∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n Asumsikan bahwa dan b memiliki entri bilangan bulat. Saya tertarik pada batasan terburuk.SEBUAHAAbbb

10 np-hardness  integer-programming  exp-time-algorithms