FPTASのすべての問題がFPTにもあるのはなぜですか?


11

よると、多項式時間近似スキーム上のWikipediaの記事

FPTASのすべての問題は、固定パラメーターで扱いやすくなっています。

この結果は私を驚かせます-これらのクラスは互いに完全に異なっているようです。FPTASは問題を近似するのがいかに簡単かで問題を特徴付け、FPTASはいくつかのパラメーターに対する難易度で問題を特徴付けます。残念ながら、ウィキペディア(私がこの質問をしている時点では)は、これについての引用を提供していません。

この結果の標準的な証拠はありますか?または、この接続について詳しく知るために相談できる情報源はありますか?


2
これは述べ、カイとチェン(JCSS97)の定理である「NP最適化問題は完全多項式時間近似スキームを持っているならば、それは固定パラメータの扱いやすいです。」紙を参照してください。NP最適化の固定パラメータの扱いやすさと近似可能にします問題
PAL GD

そして当然、当然の結果として、「均一な還元の下で難しいNP最適化問題には、ない限り、完全な多項式時間近似スキームはありませんW [ 1 ] = F P TW[1]W[1]=FPT。」
PAL GD

@PålGD-パラメータ化の選択はいくぶん恣意的であるようですが。問題の入力に対する最適解の値となるパラメーターを選択します。技術的には機能していると思いますが、知的にはそれほど充実していません。
templatetypedef

ルーク・マチソンが以下に非常に良い答えを出しました、そして私はあなたの質問に答えるには十分だと思います。
–PålGD 2013

回答:


14

実際にはより強い結果があります。fptas 1がある場合、クラス問題があります。近似はによって制限された時間で実行されます(サイズと近似係数の両方の多項式)。より一般的なクラスあり、バインドされた時間を緩和し -基本的に -近似係数に関する実行時間のような。 ε N + 1FPTASεEPTASf1(n+1ε)O(1)EPTASFPTf(1ε)nO(1)FPT

明確のサブセットである、とのことが判明のサブセットである以下の意味で:E P T A S E P T A S F P TFPTASEPTASEPTASFPT

定理は、 NPOの問題ならばありΠ eptasを、その後、解決され、固定パラメータの扱いやすいのコストによってパラメータ。Π

定理と証明はFlum&Grohe [1]で定理1.32(pp。23-24)として与えられており、Bazgan [2]によるものであり、Cai&Chenのより弱い結果の2年前にあります(ただし、フランス語ではテクニカルレポート)。

私はそれが定理の良い証明だと思うので、証明のスケッチを与えます。簡単にするために、最小化バージョンを実行します。最大化のために適切な反転を精神的に実行します。

AΠAΠk(x,k)Axε:=1k+11+1k+1ycost(x,y)yr(x,y)yopt(x)cost(x,y)=r(x,y)opt(x)

cost(x,y)kopt(x)cost(x,y)kcost(x,y)>kr(x,y)1+1k+1A

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

AA

FPTEPTASFPT

脚注:

  1. FPTASEPTASPTASNPO

[1]:J.フラムとM.グローエ、パラメーター化された複雑性理論、スプリンガー、2006。
[2]:C.バズガン。Schemas d'approximation etcomplexitéparamétrée、Rapport de DEA、UniversitéParis Sud、1995年。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.