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,...
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,
Asumsikan P≠NPP≠NPP \neq NP Mari gunakan notasi berikut iaia{}^ia for tetration (mis.ia=aa⋅⋅⋅ai 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,...
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...
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...
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...
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 FFF adalah satisfiable dan...
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...
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+...
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,...
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....
Seberapa sulit masalah Set Cover jika jumlah elemen dibatasi oleh beberapa fungsi (misalnya, lognlogn\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\}...
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 ( X ) ⊆ f ( Y )SSSTTT∀ X⊆ Y∈ S, f ( X) ⊆ f(...
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
Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai
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 langkah waktu t ∈ [ m ] kita menukar i t h t...
Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP? Pertanyaannya dapat dilihat sebagai versi yang lebih kuat dari fakta bahwa setiap bahasa yang dikenali Turing yang tak terbatas memiliki himpunan bagian yang tak
Pertimbangkan masalah di mana Anda diberi kisi 2D (misalnya papan catur) di mana kotak-kotak tertentu ditempati dan Anda perlu menempatkan jumlah minimum persegi panjang non-tumpang tindih dari berbagai ukuran wxh di mana w = 1 atau h = 1 (yaitu "persegi" segmen ") sedemikian rupa sehingga semua...
Misalkan P! = NP. Kami tahu bahwa kami dapat membuat instance 3-SAT mudah kapan saja. Kami juga dapat menghasilkan apa yang kami yakini sebagai contoh sulit (karena algoritme kami tidak dapat menyelesaikannya dengan cepat). Apakah ada sesuatu yang mencegah himpunan instances keras, dari menjadi...
Apakah ada algoritma yang dikenal untuk masalah berikut yang mengalahkan algoritma naif? Input: matriks AAA dan vektor b,cb,cb,c , di mana semua entri A,b,cA,b,cA,b,c adalah bilangan bulat tidak negatif. x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{...