PTAS定義とFPTAS


13

私が読んだものから preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D.

これはPTASの定義です。

問題の多項式時間近似スキーム(PTAS)は、時間サイズが入力サイズで多項式である近似スキームです。X

およびFPTASの定義

問題の完全多項式時間近似スキーム(FPTAS) は、時間の複雑さが入力サイズの多項式であり、1 /多項式でもある近似スキームです。Xϵ

それから作家は言う:

したがって、PTASの場合、に比例する時間の複雑さを許容できます入力サイズです。ただし、この時間の複雑さは指数関数的です。FPTASは指数関数的に増加する時間の複雑さを持つことはできませんが、比例する時間の複雑さは問題ありません。最悪の場合の近似に関して、FPTASは、NP困難な問題に対して導出できる最も強力な結果です。|I|1/ϵ|I|1/ϵ1/ϵ|I|8/ϵ3

次に、次の図を提案して、問題のクラス間の関係を示します。

ここに画像の説明を入力してください

これが私の質問です:

  1. PTASFPTASの定義、どのライターがあると結論んFPTASが指数関数的に成長する時間複雑持つことはできません?そして、それがそのような時間の複雑さを持つことができるならば、それはどんな違いを作りますか?1/ϵ

  2. 時間複雑さのようなのために許容可能であるFPTASそれがためではないPTAS、なぜFPTASはのサブセットであると考えられるPTAS(n+1/ϵ)3

  3. 彼の意味:FPTASは、NP困難な問題について導出できる最も強力な結果です。

  4. 全体として、これらが概念に対して正確に何を意味するか、そしてそれらの明確な特性は何かを知りたいのです。

前もって感謝します。


「ような時間の複雑さはFPTASには受け入れられますが、PTASには受け入れられない」とどこでわかりますか?(n+1/ϵ)3

1
1つの投稿に複数の質問を投稿しないでください。最初の質問に対する回答を理解することで、残りの質問が続く可能性があります。(Imho、あなたの問題は、「そしてまた1 / ϵの多項式」の意味が理解できないことです。)
ラファエル

@RickyDemerの定義によると、その時間の複雑さは入力サイズの多項式です(意味します)n
M ama D

...ある中で、多項式 n(n+1/ϵ)3n

@RickyDemerあなたは正しい、私は間違いを犯した。ありがとうございました。
ママD

回答:


15

順に質問にお答えしましょう。

  1. 定義により、長さインスタンスで近似を与え、およびで時間多項式で実行されるアルゴリズム、つまりがある場合、問題にはFPTASがあります。定数。の実行時間は、どのにも属しません。その実行時間れるアルゴリズム、より良い、その実行時間のみであることが保証されるアルゴリズムよりもに依存するので、n1+ϵn1/ϵO((n/ϵ)C)C021/ϵO((n/ϵ)C)C
    O((n/ϵ)C)O(nCeD/ϵ)ϵ最初のアルゴリズムに適しています。さらに、任意のについて、最初のアルゴリズムを使用して多項式時間で近似を見つけることができますが、2番目のアルゴリズムは使用できません(少なくとも、所定の保証はありません)。E1+1/nE

  2. すべてのため、近似が時間内に見つかる問題は間違いなくPTASにあります。1+ϵ(n+1/ϵ)3ϵO(n3)n

  3. ϵϵϵnlog(1/ϵ)nlog(1/ϵ)

  4. C>11+ϵe1/ϵϵϵ1+1/nCC


望ましくない投稿動作を奨励しないでください。
ラファエル

1

|I|=nϵn1/ϵnϵϵ1/ϵnpoly(n,1/ϵ)n4(1/ϵ)3+(1/ϵ)8n1/ϵn1/ϵ


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