[論文レビュー] Towards Improving Christofides Algorithm on Fundamental Classes by Gluing Convex Combinations of Tours

Arash Haddadan, Alantha Newman|arXiv (Cornell University)|Jul 3, 2019

Vehicle Routing Optimization Methods被引用数 4

ひとこと要約

この論文は、メトリックTSPのChristofidesのアルゴリズムを改善し、θ-巡回点（辺変数が{0, θ, 1−θ, 1}にあり、部分立方体のサポートを持つ点で、すべての頂点が1辺に接続されている点）における3辺カット上の巡回路の凸結合を新たに組み合わせる技術を導入した。主な結果は、1辺への依存度を3/2から3/2 − θ/10に削減し、2/3-均一点では17/12-近似を得たことである。これはChristofidesの3/2と予想される4/3の境界のちょうど中間にある。

ABSTRACT

We present a new approach for gluing tours over certain tight, 3-edge cuts. Gluing over 3-edge cuts has been used in algorithms for finding Hamilton cycles in special graph classes and in proving bounds for 2-edge-connected subgraph problem, but not much was known in this direction for gluing connected multigraphs. We apply this approach to the traveling salesman problem (TSP) in the case when the objective function of the subtour elimination relaxation is minimized by a $\ heta$-cyclic point: $x_e \\in \\{0,\ heta, 1-\ heta, 1\\}$, where the support graph is subcubic and each vertex is incident to at least one edge with $x$-value 1. Such points are sufficient to resolve TSP in general. For these points, we construct a convex combination of tours in which we can reduce the usage of edges with $x$-value 1 from the $\\frac{3}{2}$ of Christofides algorithm to $\\frac{3}{2}-\\frac{\ heta}{10}$ while keeping the usage of edges with fractional $x$-value the same as Christofides algorithm. A direct consequence of this result is for the Uniform Cover Problem for TSP: In the case when the objective function of the subtour elimination relaxation is minimized by a $\\frac{2}{3}$-uniform point: $x_e \\in \\{0, \\frac{2}{3}\\}$, we give a $\\frac{17}{12}$-approximation algorithm for TSP. For such points, this lands us halfway between the approximation ratios of $\\frac{3}{2}$ of Christofides algorithm and $\\frac{4}{3}$ implied by the famous "four-thirds conjecture".

研究の動機と目的

• メトリックTSPにおけるChristofidesのアルゴリズムの近似比を、基本的な点のクラスにおいて3/2を超えて改善すること。
• 連結多重グラフにおけるタイトな3辺カット上での巡回路の凸結合を効果的に結合する新しい手法を開発すること。これはTSPにおいてこれまであまり検討されていなかった手法である。
• 部分立方体のサポートとすべての頂点が1辺に接続されているθ-巡回点において、巡回路の凸結合における1辺の使用量を3/2から3/2 − θ/10に削減すること。
• 17/12-近似を2/3-均一点で達成することで、4/3予想への進展を図ること。これは3/2と4/3の間のギャップを埋めるものである。

提案手法

• 著者らは、θ-巡回点のサポートグラフにおける3辺カット上での巡回路の凸結合を組み合わせる新しい結合技術を導入した。ここで辺変数は{0, θ, 1−θ, 1}に属する。
• 彼らは、各1辺の係数を3/2から3/2 − θ/10に削減した新しい凸結合を定義したが、Christofides法が保持する分数辺使用量を維持した。
• この手法は、1辺からなる2正則部分グラフH_xとθ-辺からなる1正則部分グラフW_xを構築し、ジョイン構造に対して確率的ラウンディングスキームを適用することに依存している。
• 彼らは確率的解析を用いて、各辺eが最終的な凸結合で期待値(3/2 − 1/42)・1/2の多重度で使用されることを示した。これはθ = 1/2の場合に、最終的な境界で1辺あたり3/2 − 1/42に対応する。
• このアプローチは、4サイクルと部分グラフ内のハミルトンサイクルに関する既知の結果への還元によって検証された。特に、4サイクル構造を持つ1/2-巡回点についてはBoydとSebő（2021）の構成を活用した。
• この手法は、3辺カットの構造を分析し、結合がTSPポリトープにおける整数性と凸性を保つようにすることにより、θ-巡回点へ一般化された。

実験結果

リサーチクエスチョン

• RQ1 θ-巡回点において、Christofidesのアルゴリズムの1辺に対する乗法的係数を3/2未満に低下させることは可能か？
• RQ2 連結多重グラフにおける3辺カット上での巡回路の凸結合を効果的に結合することで、近似比を向上させることは可能か？
• RQ3 2/3-均一点における17/12-近似は、4/3予想への意味のある一歩と見なせるか？
• RQ4 4サイクル構造を持つ分数辺を有するθ-巡回点において、既知の5/4要因を超えて結合技術を拡張することは可能か？
• RQ5 3/2未満のよりタイトな凸結合境界を得るためのθ-巡回点の構造的特徴付けは存在するか？

主な発見

• 部分立方体のサポートとすべての頂点が1辺に接続されているθ-巡回点において、1辺の使用多重度が3/2 − θ/10である巡回路の凸結合を構築した。これはChristofidesの3/2を改善するものである。
• 2/3-均一点（x_e ∈ {0, 2/3}）では、この手法によりTSPに対する17/12-近似アルゴリズムが得られ、これは3/2と4/3の間の厳密な中間にある。
• この改善は、これまでTSPの連結多重グラフであまり使われてこなかった3辺カット上での巡回路の凸結合の組み合わせ技術によって達成された。
• θ = 1/2の場合、1辺の使用量は3/2 − 1/42 = 62/42 ≈ 1.476に削減され、3/2より顕著な改善が示された。
• この手法は、ε > 0 に対して、(4/3 − ε)スケーリングがTSPポリトープに属しない1/2-巡回点が存在することから、タイトであると示された。これは境界がほぼ最適であることを示唆している。
• 既知の4サイクル構造の結果を一般化する：1/2-巡回点でH_xが頂点に交わらない4サイクルの直和である場合、本論文では1辺の要因が5/4であることを示し、BoydとSebő（2021）の結果と一致する。