Pertanyaan yang diberi tag fixed-parameter-tractable

algoritma untuk masalah berparameter di mana waktu berjalan polinomial dalam ukuran input, tetapi bergantung secara sewenang-wenang pada parameter

10
Kernel polinomial untuk

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...