[論文レビュー] Construction of an NP Problem with an Exponential Lower Bound

Roman V. Yampolskiy|arXiv (Cornell University)|Oct 28, 2011

Vehicle Routing Optimization Methods参考文献 11被引用数 9

ひとこと要約

本論文は、解法時間に指数的下界を示す新たなNP問題であるハッシュパス巡回セールスマン問題（HPTSP）を導入する。局所的サブルート情報がグローバルルート値を決定するのに不十分であることを示唆することで、著者らはHPTSPがNPに属するがPに属さないことを証明し、ラドナーの定理を用いてNPI（NP中間）が空でないことを示した。

ABSTRACT

In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem which has the interesting property of having no polynomial time solutions. Next we show that HPTSP is in the class NP by demonstrating that local information about sub-routes is insufficient to compute the complete value of each route. As a consequence, via Ladner's theorem, we show that the class NPI is non-empty.

研究の動機と目的

• 多項式時間で解けないことを証明可能な具体的なNP問題を構築すること。
• HPTSPにおいて、サブルートに関する局所的情報がグローバルルート値を計算するのに不十分であることを示すこと。
• HPTSPがNPに属するがPに属さないことを示し、NP中間問題の存在を示唆すること。
• NPI（NP中間）クラスが空でないことを構成的証明することで、計算複雑性理論における長年の理論的問いを解決すること。
• HPTSPが本質的に指数的複雑性を持つことから、P vs NP問題の理論的基盤を強化すること。

提案手法

• TSPの経路評価メカニズムに暗号的ハッシュを組み込むことで、ハッシュパス巡回セールスマン問題（HPTSP）を定義する。
• 決定的ハッシュ関数を用いてルートセグメントを一意な値に束縛し、部分解が独立に検証できないようにする。
• 完全なルートを検証するには全経路の知識が必要であることを証明し、局所的サブルートがグローバル検証に不十分であることを示す。
• 全経路とハッシュ値を用いて、提案された解が多項式時間で検証可能であることを示すことで、HPTSPがNPに属することを確立する。
• ラドナーの定理を適用し、P ≠ NP ならば、PにもNP完全にも属さないNP問題が存在する、つまりNPIが空でないことを結論づける。
• サブルートから全経路を再構築することが非効率であることを根拠に、解法時間に指数的下界が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 多項式時間で解けないことを証明可能な具体的なNP問題を構築できるか？
• RQ2 サブルートに関する局所的情報がグローバル解を決定するのに不十分なNP問題は存在するか？
• RQ3 このような問題の存在が、NPIが空でないことを示唆するか？
• RQ4 ラドナーの定理を、明確に定義された問題構成によって具体的に実装できるか？
• RQ5 HPTSPは、多項式時間解法を妨げる本質的な構造的複雑性を示しているか？

主な発見

• HPTSPは暗号的ハッシュを組み込んだTSPの変種として形式的に構築され、部分解が独立に検証できないように保証されている。
• 全経路とハッシュ値を用いて完全な解が多項式時間で検証可能であるため、HPTSPはNPに属することが証明された。
• 局所的サブルート情報はグローバルルート値を計算するのに不十分であり、部分結果を組み合わせる多項式時間アルゴリズムではHPTSPを解けないことを示唆する。
• 局所的情報の不十分さは、効率的計算の構造的障壁を示し、解法時間に指数的下限が存在することを支持する。
• ラドナーの定理を適用することで、P ≠ NP を仮定するとNPIが空でないことが結論づけられた。
• この構成により、PにもNP完全にも属さないがNPに属する問題の具体的な例が得られ、P ≠ NP の下でNPIが空でないことを示した。