NPのユークリッドTSPおよび平方根の複雑さ
Ola Svenssonによるこの講義ノート：http : //theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdfで、ユークリッドTSPがNPにあるかどうかはわかりません。 理由は、平方根を効率的に計算する方法がわからないからです。 一方、Papadimitriouによるこの論文があります：http ://www.sciencedirect.com/science/article/pii/0304397577900123 それはNP完全であると言っています。彼は論文でそれを証明していませんが、私は彼がNPのメンバーシップを些細なことであると考えていると思います。これは通常そのような問題の場合です。 私はこれに混乱しています。正直なところ、ユークリッドTSPがNPであるかどうかわからないという主張は、TSPツアーを証明書として取るのは簡単だと思っていたので、私はショックを受けました。しかし、問題は平方根が存在する可能性があることです。そのため、講義ノートでは基本的に、多項式時間では次の問題を解決できないと主張しています。 有理数を考えると、かどうかを判断√q1、…、qn、A ∈ Qq1、…、qn、A∈Qq_1,\ldots,q_n,A\in\mathbb{Q}。q1−−√+ ⋯ + qn−−√≤ Aq1+⋯+qn≤A\sqrt{q_1}+\cdots+\sqrt{q_n}\leq A 質問1：この問題について何を知っていますか？ これにより、次の単純化が求められますが、見つけることができませんでした。 質問2：場合、これは特別な場合に還元できますか？この特別な場合の多項式時間は解けるか？n = 1n=1n=1 しばらくそれについて考えて、私はこれに来ました。入力のビット数に関する多項式時間の複雑さを求めます。つまり、数値自体のサイズではありません。合計を多項式の10進数の数字に簡単に計算できます。悪いケースを取得するために、我々は、のインスタンス必要のためのK = 1 、2 、...毎の多項式のためのように、P、整数が存在Kように√q1 、k、… 、qn 、k、Ak∈ Qq1、k、…、qn、k、Ak∈Qq_{1,k},\ldots,q_{n,k},A_k\in\mathbb{Q}K = 1 、2 、...k=1、2、…k=1,2,\ldotspppkkkおよびAkは、10進数展開の最初のp（input-size）桁で一致します。q1 、k−−−√+ ⋯ + qn 、k−−−√q1、k+⋯+qn、k\sqrt{q_{1,k}}+\cdots+\sqrt{q_{n,k}}AkAkA_kp （入力サイズ）p（入力サイズ）p(\text{input-size}) 質問3：このような実数のインスタンスはありますか？ しかし、とは何ですか？これは有理数の表現方法に依存します！今、私はこれについて興味があります：入力サイズ入力サイズ\text{input-size} 質問4：有理数は2つの整数の比として与えられる場合であるが、アルゴリズム的に重要である（例えば、または（例えば、小数の膨張）2.5334 ¯ 567）？言い換えると、小数展開のサイズが比率表現のサイズまたは他の方法で多項式的に制限されないような有理数のファミリーがありますか？24 / 1324/1324/132.5334 567¯¯¯¯¯¯¯¯2.5334567¯2.5334\overline{567}