Apakah Anda tahu masalah yang W [1] -dig bahkan untuk grafik derajat terbatas? Dimensi Metrik sulit pada grafik dengan derajat paling banyak 3, tetapi W [2] -dengan keras. Red-Blue Nonblocker dulunya adalah W [1] -berat pada grafik derajat terbatas tetapi ada kesalahan dalam pembuktiannya (buku...
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...
Mengikuti pertanyaan setara tentang NP-Completeness (lihat pertanyaan bobot dan pertanyaan terarah ), saya bertanya-tanya bagaimana masalah parameterisasi dipengaruhi oleh atribut ini. Yang masalah grafik -Hard adalah W [ 1 ] -Hard pada grafik diarahkan, tapi tetap parameter penurut pada...
Misalkan adalah bahasa parameter untuk beberapa alfabet . The -slice dari adalah , himpunan contoh di yang memiliki parameter . Kelas kompleksitas berisi bahasa parameter sehingga untuk setiap , mungkin dengan algoritma yang berbeda dan waktu berjalan polinomial terikat untuk setiap . Setiap bahasa...
Masalah parametrized k-FLIP SAT didefinisikan sebagai: Input: rumus 3-CNF dengan variabel dan penugasan kebenaran Parameter: Pertanyaan: dapatkah kita mengubah penugasan menjadi penugasan yang memuaskan untuk membalik nilai kebenaran paling banyak variabel ?φφ\varphinnnσ: [ n ] → { 0 , 1...
Gagasan algoritma distilasi berikut berasal dari "Pada Masalah Tanpa Kernel Polinomial". Biarkan bahasa diberikan. Sebuah algoritma destilasi untuk L mengambil daftar yang diberikan string masukan { x i } i ∈ [ t ] dan menghitung output string yang y sehingga:L.LLL.LL{ xsaya}i ∈ [ t...
Dalam pertanyaan sebelumnya. Algoritma Parametrized untuk Menemukan Bicliques , saya bertanya apakah ada algoritma parametrized cepat untuk menemukan biclique dalam grafik n vertex dan mengetahui bahwa itu terbuka jika FPT wrt k . Adalah benar sama untuk menghitung para k × k -bicliques, atau itu...
Mari menjadi keluarga subset -element dari alam semesta terbatas benda. Sebuah keluarga dari subset -element dari , dengan , adalah - Memukul-set dari jika untuk setiap terdapat setidaknya satu set seperti bahwa .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
Saya seorang sarjana penelitian yang bekerja dalam teori Algoritma dan Kompleksitas, saya menggunakan kompleksitas parameter sampai batas tertentu. Bagi saya tampaknya para peneliti dalam kompleksitas parameter sangat aktif (saya tidak bermaksud yang lain tidak) dalam hal jumlah makalah penelitian....
Saya mencari masalah yang sulit diselesaikan dalam waktu FPT tetapi memiliki algoritma perkiraan. Artinya, masalah itu adalah: R1. W [1] -hard. R2. Akui algoritma perkiraan (lebih disukai konstan) dalam waktu FPT. Masalah yang saya kenal adalah menghitung jumlah jalur sederhana panjang dalam...
vv_v[v]={0,1,…,v−1}[v]={0,1,…,v−1}[v] = \{0,1,\dots,v-1\}kkkkkkkkkvv_vs ∞ = lim k → ∞ s ksk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}sk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}s_k = \inf_M\{\delta \mid \exists c\forall v\;( M\text{ decides } k\text{-SAT$_v$ in }2^{v\delta-c})\text{ time})...
Biarkan menjadi masalah grafik NP-complete. Misalkan X dapat dipecahkan dalam waktu polinomial pada grafik dengan diameter terikat. Dengan kata lain, X yang diparameterisasi dengan diameter ada di XP. (Ingat masalah ada di XP jika bisa diselesaikan dalam waktu n f ( k ) ). Apakah ini menyiratkan...