Pertanyaan yang diberi tag «np-hardness»

Apa kompleksitas dari masalah berikut ini? Masukan : HHH a jalur Hamilton diKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 subset pasangan simpul bilangan bulat positifkkk Pertanyaan : apakah ada cocok sehingga untuk setiap , ? (di mana )( v , u ) ∈ RMMM(v,u)∈R(v,u)∈R(v,u) \in RdG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq kG=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) Saya …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Masalah: Diberikan diwakili oleh sirkuit boolean, menghasilkan secara acak yang seragam sedemikian rupa sehingga (atau output jika ada). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }nx∈{0,1}nx \in \{0,1\}^nϕ ( x ) = 1ϕ(x)=1\phi(x)=1⊥⊥\perpxxx Jelas masalah ini …

14 np-hardness  counting-complexity  reductions 

Mengingat grafik, G=(V,E)G=(V,E)G = (V, E) , saya ingin menemukan optimal rrr -domination untuk GGG . Artinya, saya ingin subset SSS dari sehingga semua simpul di berada pada jarak paling dari beberapa titik di , dan meminimalkan ukuran .G r S SVVVGGGrrrSSSSSS Dari apa yang saya periksa sejauh ini, saya …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Seperti diketahui semua orang, SAT lengkap untuk kali banyak polynomial . Itu masih lengkap wrt banyak-satu pengurangan.N PNP\mathsf{NP}A C0SEBUAHC0\mathsf{AC^0} Pertanyaan saya adalah berapa kedalaman minimum yang diperlukan untuk reduksi? Lebih formal, Apa yang paling sehingga SAT adalah -Hard wrt banyak-satu pengurangan?dddN PNP\mathsf{NP}A C0dSEBUAHCd0\mathsf{AC^0_d} Sepertinya saya harus mencukupi? Adakah yang tahu …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Untuk waktu yang paling lama saya berpikir bahwa masalah adalah NP-lengkap jika keduanya (1) NP-hard dan (2) ada di NP. Namun, dalam makalah terkenal "Metode ellipsoid dan konsekuensinya dalam optimasi kombinatorial" , para penulis mengklaim bahwa masalah bilangan kromatik fraksi milik NP dan NP-keras, namun tidak diketahui NP-lengkap. Pada halaman …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

Apakah ada cara untuk menyandikan turunan dari Jumlah Subset atau Masalah Partisi Angka sehingga solusi (kecil) untuk hubungan bilangan bulat menghasilkan jawaban? Jika tidak pasti, maka dalam arti probabilistik? Saya tahu bahwa LLL (dan mungkin PSLQ) telah digunakan dengan keberhasilan sedang dalam memecahkan masalah Subset Sum di wilayah 'kepadatan rendah', …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Itu adalah nama yang saya buat untuk masalah ini. Saya belum melihatnya dijelaskan di mana pun sebelumnya. Saya belum dapat menemukan bukti kelengkapan NP atau algoritma waktu polinomial untuk masalah ini. Ini bukan masalah pekerjaan rumah - ini terkait dengan masalah yang saya temui dalam pekerjaan saya. GIGI DISKRIMINASI TERTINGGI …

14 cc.complexity-theory  np-hardness 

Diberi sebagai terbatas (deterministik atau nondeterministik, saya pikir ini tidak terlalu penting) otomat A dan ambang n , apakah A menerima kata yang mengandung paling banyak n huruf berbeda? (Dengan k huruf yang berbeda maksudku aabaa memiliki dua huruf berbeda, a dan b .) Saya menunjukkan masalah ini sebagai NP-lengkap, …

13 cc.complexity-theory  np-hardness  automata-theory 

Treewith adalah parameter grafik penting yang menunjukkan seberapa dekat grafik dari menjadi pohon (walaupun tidak dalam arti topologi yang ketat). Sudah diketahui bahwa menghitung treewidth adalah NP-hard. Adakah kelas alami grafik di mana treewidth sulit untuk dihitung? Demikian pula: Apakah ada kelas grafik yang menarik di mana perhitungan treewidth mudah? …

13 graph-theory  np-hardness  polynomial-time  treewidth 

Seberapa sulit untuk menemukan solusi paling jarang untuk sistem persamaan linear? Secara lebih formal, pertimbangkan masalah keputusan berikut: Instance: Suatu sistem persamaan linear dengan koefisien integer dan angka .ccc Pertanyaan: Apakah ada solusi untuk sistem dengan setidaknya variabel ditugaskan ke nol?ccc Saya juga mencoba menentukan ketergantungan pada . Artinya, mungkin …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

Pertimbangkan masalah di mana kita diberikan sebagai input grafik asiklik langsung G=(V,E)G=(V,E)G = (V, E) , fungsi pelabelan λλ\lambda dari VVV ke beberapa set LLL dengan urutan total &lt;L&lt;L<_L (misalnya, bilangan bulat), dan di mana kita diminta untuk hitung jenis topologi terkecil GGG dari segi λλ\lambda . Lebih tepatnya, semacam …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Sambil menulis posting kecil tentang kompleksitas videogames Nibbler dan Snake ; Saya menemukan bahwa keduanya dapat dimodelkan sebagai masalah konfigurasi ulang pada grafik planar; dan tampaknya tidak mungkin bahwa masalah seperti itu belum dipelajari dengan baik di bidang perencanaan gerak (bayangkan misalnya rantai kereta atau robot yang saling terkait). Gim-gim …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Dalam masalah perpanjangan, kami diberikan bagian dari solusi dan kami ingin memutuskan apakah kami dapat memperluasnya ke solusi yang lengkap. Beberapa masalah perpanjangan dapat dipecahkan secara efisien sementara masalah perpanjangan lainnya mengubah masalah yang mudah menjadi sulit. Misalnya, teorema Konig-Hall menyatakan bahwa semua grafik bipartit kubik berwarna 3-sisi tetapi versi …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Beberapa waktu yang lalu, saya memposting permintaan referensi untuk masalah grafik di mana kami ingin menemukan 2-partisi tepi di mana kedua set memenuhi properti yang tidak terkait dengan kardinalitas mereka. Saya mencoba membuktikan bahwa masalah berikut ini NP-hard: Diberikan turnamen , apakah ada busur umpan balik yang menetapkan dalam yang …

13 np-hardness  reductions