[論文レビュー] Plane Hamiltonian Cycles in Convex Drawings

Helena Bergold, Stefan Felsner+3 more|arXiv (Cornell University)|Jan 1, 2024

Structural Analysis and Optimization被引用数 1

ひとこと要約

この論文は、完全グラフ $K_n$ の凸図形における平面ハミルトン閉路の存在に関するRaflaの予想を証明し、すべての凸図形が平面ハミルトン閉路を含み、任意の二頂点間の平面ハミルトンパス（ハミルトン接続性）を含み、かつすべての $3 \leq k \leq n$ に対して平面 $k$-サイクル（パンシクル性）を含むことを示している。証明は、星交叉辺と凸側選択の構造的性質を利用した貪欲法によって行われ、$O(n^2)$ の時間計算量を有する。

ABSTRACT

A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $Ω(\log n / \log \log n)$ and of a plane matching of size $Ω(n^{1/2})$ in every simple drawing of $K_n$. Instead of studying simpler substructures, we prove Rafla's conjecture for the subclass of convex drawings, the most general class in the convexity hierarchy introduced by Arroyo et al. Moreover, we show that every convex drawing of $K_n$ contains a plane Hamiltonian path between each pair of vertices (Hamiltonian connectivity) and a plane $k$-cycle for each $3 \leq k \leq n$ (pancyclicity), and present further results on maximal plane subdrawings.

研究の動機と目的

• 一般の単純図形におけるRaflaの予想（すべての $K_n$ 単純図形が平面ハミルトン閉路を含むこと）を、凸図形という部分クラスに限定して解決すること。
• 凸図形におけるより強い構造的性質の確立、特にハミルトン接続性とパンシクル性。
• 凸図形における平面ハミルトン閉路を構成的かつ多項式時間で構築するアルゴリズムの提供。
• 凸図形が幾何的図形や $h$-凸図形の一般化としての性質を有することに起因し、一般の単純図形では保証されない豊富な平面部分構造が存在することの解明。

提案手法

• 三角形の辺が、両端点がその辺上にあるすべての辺がその三角形内に完全に含まれる場合にその辺を凸と定義する凸性階層を用いて、凸図形を定義する。すべての三角形が凸な辺をもつ図形を凸図形と定義する。
• 頂点 $v^\star$ を中心とする星構造と星交叉辺の概念を用い、経路の構築を導く。
• 頂点から出発し、$v^\star$ 側へと延長する際、星交叉を避ける良い辺を逐次追加することでハミルトンパスを構築し、その後星辺を用いて閉路を完成させる。
• 効率的な経路構築のため、$O(n^2)$ 時間で事前処理を行い、悪い辺を特定し、$l(r)$、$w^L_i$、$w^R_i$ の臨界値を計算する。
• 星交叉辺を避けるように維持する貪欲な走査戦略を適用し、最終的に二つの星辺 $\{n-1, v^\star\}$ と $\{v^\star, v_1\}$ を用いて閉路を閉じる。
• 不変式を用いた正しさの証明：各ステップで現在の経路は星交叉辺を避け、すべての頂点を含めるように拡張可能であり、これにより最終的な閉路が平面的かつハミルトン的であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 Raflaが一般単純図形に対して提起した予想（すべての $K_n$ 単純図形が平面ハミルトン閉路を含むこと）は、凸図形においても成り立つか？
• RQ2 すべての $K_n$ 凸図形はハミルトン接続性を有するか、すなわち任意の二頂点間に対して平面ハミルトンパスが存在するか？
• RQ3 すべての $K_n$ 凸図形はパンシクルか、すなわち $k=3$ から $n$ までのすべての $k$ に対して平面 $k$-サイクルが存在するか？
• RQ4 凸図形において、多項式時間で平面ハミルトン閉路を構築する構成的アルゴリズムを設計可能か？
• RQ5 凸図形に起因するどのような構造的性質が、このような豊富な平面部分構造の存在を可能としており、一般単純図形とはどのように異なるか？

主な発見

• すべての $K_n$ 凸図形は平面ハミルトン閉路を含み、Raflaの予想がこの部分クラスにおいて正当化された。
• すべての $K_n$ 凸図形はハミルトン接続性を有する：任意の二頂点間に対して、平面ハミルトンパスが存在する。
• すべての $K_n$ 凸図形はパンシクルである：$k=3$ から $n$ までのすべての $k$ に対して平面 $k$-サイクルが存在する。
• 事前処理により悪い辺と臨界値 $l(r)$ を特定することで、$O(n^2)$ 時間で平面ハミルトン閉路を構築する多項式時間アルゴリズムが提供された。
• アルゴリズムは、経路に追加されるすべての辺が非星交叉であることを保証し、二つの星辺を用いて閉路を閉じることで平面性が維持される。
• 結果は一般単純図形に拡張できない。たとえば $K_5$ のねじれた図形は反例を示し、非凸な状況ではこのような部分構造が保証されないことを示している。