[論文レビュー] The 1-1 algorithm for Travelling Salesman Problem

Heping Jiang|arXiv (Cornell University)|Apr 21, 2021

Genome Rearrangement Algorithms参考文献 8被引用数 13

ひとこと要約

本稿では、ハミルトニアン・グラフの新たな性質を活用することで、O(|E(G)|³)の時間計算量を達成する、対称的かつ非度付きの巡回セールスマン問題（TSP）に対する新しい正確な解法である1-1アルゴリズムを提示する。この手法は、局所最適化と辺の置換を用いて巡回路を体系的に構築・改善し、保証された正しさをもって最小重みのハミルトニアン閉路を生成する。

ABSTRACT

The Travelling Salesman Problem (TSP), finding a minimal weighted Hamilton cycle in a graph, is a typical problem in operation research and combinatorial optimization. In this paper, based on some novel properties on Hamilton graphs, we present a precise algorithm for finding a minimal weighted Hamilton cycle in a non-metric and symmetric graph with time complexity of extit{O}(|E(G)|^3) , where |E(G)| is the size of graph G.

研究の動機と目的

• 対称的かつ非度付きTSPを解く正確で決定的アルゴリズムを設計し、その時間計算量を明示的に保証すること。
• ハミルトニアン・グラフの新たな構造的性質を同定し、それを用いて効率的な巡回路構築を導くこと。
• O(|E(G)|³)の時間計算量を達成し、正確なTSP解法においてブルートフォース法やヒューリスティック法を上回ること。
• 一般の無向グラフにおいて最小重みのハミルトニアン閉路を保証する明確なアルゴリズムを提供すること。
• 特に非度付きインスタンスにおいて、従来のTSPソルバーよりも実用的で理論的にも妥当な代替手段を提供すること。

提案手法

• 本アルゴリズムは、ハミルトニアン・グラフに特有の新たなグラフ理論的性質を同定し、それらを適用することに基づく。
• 初期巡回路は貪欲法または深さ優先探索を用いて構築し、その後、辺の置換によって反復的に改善する。
• 局所最適化は、現在の巡回路に含まれる辺を非巡回路の辺に置き換えた際の重み変化を評価することで実行される。
• アルゴリズムは候補となる辺の集合を維持し、1つの辺を削除し、1つの辺を追加する「1-1置換ルール」を適用することで、巡回路の有効性を保つ。
• 動的データ構造を用いて辺の重みと置換の妥当性を追跡し、過剰なサイクルが事前に形成されないようにする。
• さらに重みを削減できる辺の入れ替えが存在しなくなるまで処理を繰り返し、局所的最小巡回路が保証される。

実験結果

リサーチクエスチョン

• RQ1 辺の数に関して多項式時間計算量を達成する、決定的かつ正確な対称的TSP用アルゴリズムを設計可能か？
• RQ2 ハミルトニアン・グラフの新たなグラフ理論的性質は、効率的な巡回路構築と最適化にどのように活用可能か？
• RQ3 非度付きグラフにおいて最小重みのハミルトニアン閉路を求める時間計算量をO(|E(G)|³)に抑えることは可能か？
• RQ4 辺の置換ルールをどのように形式化すれば、巡回路の有効性を保ちつつ総重みを最小化できるか？
• RQ5 与えられた制約下で、1-1置換戦略がグローバルに最適な解に至るか？

主な発見

• 1-1アルゴリズムは、任意の対称的かつ非度付きグラフにおいて最小重みのハミルトニアン閉路を保証して求める。
• 本アルゴリズムはO(|E(G)|³)の時間計算量を達成しており、辺の数に関して多項式的である。
• 正しさと収束性を保証するため、ハミルトニアン・グラフの新たな性質に依存している。
• 1-1置換ルールを用いて体系的に辺の置換を探索することで、無効なサイクルを回避する。
• ヒューリスティックな仮定を一切用いず、構造的制約に基づいて正確で検証可能な解が得られる。
• 度付きやユークリッド性を仮定せず、一般の無向グラフに適用可能である。