Pertanyaan yang diberi tag «np-hardness»

Misalkan menjadi grafik yang tidak terarah. Sebuah dekomposisi V menjadi beberapa bagian yang menguraikan V i disebut dekomposisi Hamilton dari G jika subgraph disebabkan oleh masing-masing set V i adalah salah grafik Hamilton atau terdiri dari tepi tunggal dengan | V i | = 2 .G = ( V, E)G=(V,E)G=(V,E)VVVVsayaViV_iGGGVsayaViV_i| …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Set S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} diberikan. Untuk setiap elemen esayaeie_i , kami memiliki bobot wsaya> 0wi>0w_i>0 dan biaya csaya> 0ci>0c_i>0 . Tujuannya adalah menemukan subset M.MM dari ukuran kkk yang memaksimalkan fungsi tujuan sebagai berikut: ∑esaya∈ M.wsaya+ ∑esaya∉ M.wsayacsaya∑esaya∉ M.csaya∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} . Apakah masalahnya NP-keras? …

10 np-hardness  optimization 

Bahasa L.LL ada di kelas D PDPDP jika ada dua bahasa L 1 ∈ NPL1∈NPL1 \in NP dan L 2 ∈ c o NPL2∈coNPL2 \in coNP sehingga L=L1∩L2L=L1∩L2L = L1 \cap L2 Sebuah kanonik DPDPDP masalah -Lengkap adalah SAT-UNSAT: diberikan dua ekspresi 3-CNF, FFF dan GGG , apakah benar bahwa …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Hiroimono adalah puzzle lengkap populer . Saya tertarik pada kompleksitas komputasi dari teka-teki terkait.NPNPNP Masalahnya adalah: Input : Diberikan satu set titik pada pada x kotak persegi dan integernnnnnnkkk Pertanyaan : Apakah ada poligon bujursangkar (sisi-sisinya sejajar dengan atau sumbu) sedemikian sehingga jumlah titik pada sudut poligon setidaknya ?xxxyyykkk Setiap …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Asumsikan P≠NPP≠NPP \neq NP Mari gunakan notasi berikut iaia{}^ia for tetration (mis.ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} ). | x | adalah ukuran instance x. Biarkan L menjadi bahasa, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i …

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

Contoh varian -lengkap dari set yang tidak dapat ditentukan:NPNPNP Masalah Berhenti Terikat = { | Mesin NTM M berhenti dan menerima x dalam langkah t }(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ubin Terikat = { | ada ubin dari persegi luas t 2 oleh ubin dari T }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Korespondensi Post Bounded Problem …

10 cc.complexity-theory  np-hardness 

Sebuah sistem bintang adalah keluarga n himpunan bagian dari n-elemen set . Sebuah sistem bintang adalah grafis jika ada beberapa graph sehingga adalah keluarga dari lingkungan vertex di . Ini lengkap untuk memutuskan apakah sistem bintang yang diberikan adalah grafis.FFFSSSG ( V, E)G(V,E)G(V,E)FFFGGGNPNPNP Apa kejadian minimum dari setiap elemen sehingga …

10 cc.complexity-theory  np-hardness 

Pernyataan masalah : Biarkan menjadi otomat pushdown (berpotensi tidak deterministik) dan biarkan menjadi alfabet inputnya. Apakah ada kata st yang diterima oleh ?A w ∈ A ∗ | w | ≤ k MM.MMSEBUAHA\cal Aw ∈ A∗w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.MM Apakah ini masalah NP-complete? Apakah sudah …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Apa batas atas asimptotik yang paling dikenal pada ukuran bukti yang dapat diperiksa secara probabilistik? Idealnya, saya mencari survei kontemporer tentang pertanyaan luas ini, tetapi jika tidak ada, saya terutama tertarik pada ketidak-taksiran 3-SAT. Misalkan 7/8 + ε-3-SAT menjadi 3-SAT dengan janji bahwa jika fraksi 7/8 + ε dari klausa …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Ada sebuah makalah yang bagus dari tahun 1991 yang berisi tiga diagram tentang keluarga grafclass berbeda yang menunjukkan apa yang diketahui tentang kekerasan menentukan indeks kromatik untuk mereka. Apakah ada berita sejak saat itu tentang ini? Saya paling tertarik dengan apa yang diketahui tentang grafik dengan angka kromatik terbatas. Keingintahuan …

9 graph-theory  np-hardness  graph-colouring 

Mengingat tetap diarahkan grafik (digraf) , yang -coloring masalah keputusan menanyakan apakah digraph masukan memiliki homomorfisma untuk . (A homomorfisme ke adalah pemetaan dari ke yang mempertahankan busur, yaitu, jika adalah busur , maka adalah busur dari )D G V ( G ) V ( D ) u v G …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Masalah standar 1-in-3 SAT (atau XSAT atau X3SAT) adalah: Instance : rumus CNF dengan setiap klausa yang mengandung tepat 3 liter Pertanyaan : apakah ada pengaturan penugasan yang memuaskan tepatnya 1 liter per klausa benar? Masalahnya adalah NP-lengkap dan tetap sulit bahkan jika tidak ada variabel yang dinegasikan. Saya bertanya-tanya …

9 cc.complexity-theory  np-hardness  sat 

Saya ingin tahu apakah masalah berikut ini NP-hard. Input: grafik sederhana, dan pewarnaan pada tepian ( tidak memverifikasi properti spesifik apa pun).f : E → { 1 , 2 , 3 } fG = ( V, E)G=(V,E)G = (V,E)f: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to …

9 graph-theory  np-hardness 

Saya tertarik dengan varian pencocokan berat maksimum dalam grafik, yang saya sebut "Pencocokan Maksimum Maksimal". Asumsikan bahwa grafik penuh (yaitu E=V×VE=V×VE=V\times V ), memiliki jumlah yang lebih dari simpul, dan bahwa berat diberikan oleh fungsi keuntungan p : ( V2) →Np:(V2)→Np:{V\choose 2}\to \mathbb N . Diberikan M yang cocok M.MM, …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

Asumsikan bahwa saya memiliki set dengan elemen yang diambil dari mungkin. Setiap set berukuran ( ), di mana set bisa tumpang tindih. Saya ingin menentukan apakah dua masalah berikut ini selesai NP atau tidak:r n n &lt; rPPPrrrnnnn &lt; rn&lt;rn<r Masalah A. Apakah ada set berbeda ( ) dalam set …

9 graph-theory  np-hardness