Mengapa semua masalah di FPTAS juga ada di FPT?

11

Menurut artikel Wikipedia tentang skema perkiraan polinomial-waktu :

Semua masalah dalam FPTAS adalah traktat parameter tetap.

Hasil ini mengejutkan saya - kelas-kelas ini tampaknya sangat berbeda satu sama lain. FPTAS mengkarakterisasi masalah dengan seberapa mudah mereka memperkirakan, sementara FPT mengkarakterisasi masalah dengan kesulitan mereka relatif terhadap beberapa parameter. Sayangnya, Wikipedia (pada saat saya mengajukan pertanyaan ini) tidak memberikan kutipan untuk ini.

Apakah ada bukti standar dari hasil ini? Atau adakah sumber yang bisa saya hubungi untuk mempelajari lebih lanjut tentang koneksi ini?

templatetypedef
sumber
2
Ini adalah teorema Cai dan Chen (JCSS97), yang menyatakan " jika masalah pengoptimalan NP memiliki skema perkiraan waktu polinomial sepenuhnya, maka itu adalah traktabel parameter tetap. " Lihat kertas Pada Traktabilitas Parameter Tetap dan Perkiraan Optimasi NP masalah .
Pål GD
Dan, tentu saja, sebagai konsekuensi wajar Anda mendapatkan " Masalah optimasi NP yang -dalam pengurangan seragam tidak memiliki skema perkiraan waktu polinomial sepenuhnya kecualiW [ 1 ] = F P TW[1]W[1]=FPT ."
Pål GD
@ PålGD- Meskipun tampaknya pilihan parameterisasi agak arbitrer; mereka memilih parameter untuk menjadi nilai solusi optimal untuk input masalah. Saya kira itu secara teknis bekerja, meskipun secara intelektual tidak terlalu memuaskan.
templatetypedef
Luke Mathieson memberikan jawaban yang sangat bagus di bawah ini, dan saya pikir itu sudah cukup untuk menjawab pertanyaan Anda.
Pål GD

Jawaban:

14

Sebenarnya ada hasil yang lebih kuat; Masalahnya ada di kelas jika memiliki fptas 1 : an -approximation berjalan dalam waktu yang dibatasi oleh (yaitu polinomial dalam ukuran dan faktor aproksimasi). Ada kelas yang lebih umum yang melemaskan batas waktu untuk - pada dasarnya adalah -seperti waktu berjalan sehubungan dengan faktor aproksimasi. ε ( n + 1FPTASεEPTASf(1(n+1ε)O(1)EPTASFPTf(1ε)nO(1)FPT

Jelas adalah himpunan bagian dari E P T A S , dan ternyata E P T A S adalah himpunan bagian dari F P T dalam pengertian berikut:FPTASEPTASEPTASFPT

Teorema Jika masalah NPO memilikiΠ eptas, maka diparameterisasi dengan biaya solusi adalah parameter tetap yang dapat ditelusur.Π

Teorema dan bukti diberikan dalam Flum & Grohe [1] sebagai Teorema 1.32 (hal. 23-24), dan mereka mengaitkannya dengan Bazgan [2], yang menempatkannya dua tahun sebelum hasil Cai & Chen yang lebih lemah (tetapi dalam bahasa Prancis laporan teknikal).

Saya akan memberikan sketsa buktinya, karena saya pikir itu adalah bukti teorema yang bagus. Untuk mempermudah saya akan melakukan versi minimalisasi, cukup lakukan inversi yang sesuai secara mental untuk maksimalisasi.

Bukti. Misalkan menjadi eptas untuk Π , maka kita dapat membuat algoritme parameterisasi A untuk Π yang diparameterisasi dengan biaya solusi k sebagai berikut: diberi input ( x , k ) , kita menjalankan A pada input x di mana kita menetapkan ε : = 1AΠAΠk(x,k)Ax (yaitu kita memilih rasio aproksimasi terikat1+1ε:=1k+1 ). Biarkanymenjadi solusinya,biaya(x,y)menjadi biayaydanr(x,y)menjadi rasio perkiraan aktual dariyuntukmemilih(x), yaitubiaya(x,y)=r(x,y)opt(x).1+1k+1ycost(x,y)yr(x,y)yopt(x)cost(x,y)=r(x,y)opt(x)

Jika , maka terima, dengan jelas memilih ( x ) biaya ( x , y ) k . Jika biaya ( x , y ) > k , tolak sebagai r ( x , y ) 1 + 1cost(x,y)kopt(x)cost(x,y)kcost(x,y)>k sebagaiAadalaheptasdanr(x,y)1+1k+1A

opt(x)=cost(x,y)r(x,y)k+11+1k+1>k

Tentu saja Anda mendapatkan batas waktu berjalan untuk hanya dari A menjadi epta . AA

Tentu saja sebagai poin Pål keluar, hasil kekerasan diparameterkan menyiratkan tidak adanya dari setiap eptas kecuali ada beberapa runtuh, tetapi ada masalah di tanpa eptas (atau bahkan POMG ), sehingga E P T A S adalah ketat subset dari F P T (dalam arti teorema).FPTEPTASFPT

Catatan kaki:

  1. Sebuah fptas (ekuivalen eptas atau POMG ) adalah skema pendekatan dengan waktu berjalan dibatasi seperti dijelaskan di atas. The kelas (equiv. E P T A S , P T A S ) adalah serangkaian masalah di N P O yang memiliki skema tersebut.FPTASEPTASPTASNPO

[1]: J. Flum dan M. Grohe, Teori Kompleksitas Parameter , Springer, 2006.
[2]: C. Bazgan. Schémas d'approximation et complexité paramétrée , Rapport de DEA, Université Paris Sud, 1995.

Luke Mathieson
sumber