Apa motivasi di balik definisi traktabilitas parameter tetap?


10

Wikipedia menulis:

FPT berisi masalah traktable parameter tetap, yang dapat diselesaikan dalam waktu untuk beberapa fungsi yang dapat dihitung f . Biasanya, fungsi ini dianggap sebagai eksponensial tunggal, seperti 2 O ( k ) tetapi definisi tersebut mengakui fungsi yang tumbuh lebih cepat. Ini penting untuk sebagian besar sejarah awal kelas ini. Bagian penting dari definisi ini adalah untuk mengecualikan fungsi dari bentuk f ( n , k ) , seperti n kf(k)|x|O(1)f2O(k)f(n,k)nk.

Pertanyaan : Apa motivasi di balik definisi ini?

Apa yang membingungkan saya adalah bahwa, jika adalah tetap (sesuai "tractability parameter tetap"), maka n k adalah polinomial dalam n . Jadi, mengapa penting untuk mengecualikan n k ?knknnk


7
Karena sering kedua sepele dari perspektif teori dan terlalu lambat dari perspektif praktis. Salah satu cara untuk mengatakannya adalah bahwa bisnis FPT mencoba memahami kompleksitas komputasi masalah untuk nilai-nilai parameter yang ada di stadion baseball n 1000000 dan k 30 . nkn1000000k30
Jukka Suomela

Hmm ... jadi, jika saya mengerti benar, jika kita membiarkan ke FPT, maka kita akan berakhir termasuk sekelompok masalah keputusan sepele, melalui algoritma brute-force. nk
Douglas S. Stones

5
Betul. Tentu saja ada hierarki masalah parameter tetap, dan FPT di bagian bawah. n ^ k ada di atas. Lebih umum, idenya adalah untuk mencoba dan memisahkan pengaruh parameter dan pengaruh , dan karenanya dua bagian terpisah dari waktu berjalan. n
Suresh Venkat

3
@JukkaSuomela: Saya pikir komentar Anda bisa dijawab.
Suresh Venkat

Jawaban:


15

Jika Anda hanya menginginkan laju pertumbuhan menjadi polinomial dalam untuk k tetap , maka Anda mendapatkan definisi kompleksitas parameterized kelas XP, yang tentunya merupakan objek yang menarik, jadi tidak ada yang salah dengan mempertimbangkannya.nk

Anda mendapatkan definisi FPT jika Anda lebih jauh memaksakan kondisi bahwa tingkat polinomial dalam tetap tetap seiring dengan meningkatnya parameter. FPT ternyata menjadi subclass sangat penurut dari XP, dan intuitif, alasannya adalah bahwa ekspresi seperti 2 k n 2 tidak meledak secepat ekspresi seperti k 2 n k , jika k dan n adalah baikn 2kn2k2nkknmeningkat. Intuisi ini didukung dalam praktik dan teori; yaitu, masalah FPT cenderung jauh lebih mudah ditelusuri dalam praktik daripada masalah XP sewenang-wenang, dan orang juga bisa mendapatkan gambaran teoritis yang bagus tentang struktur XP dengan mulai dengan FPT di bagian bawah dan membangun hierarki subkelas XP lainnya (seperti W hierarki) di atasnya.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.