[論文レビュー] The Hamiltonicity, Hamiltonian Connectivity, and Longest (s, t)-path of L-shaped Supergrid Graphs

Fatemeh Keshavarz-Kohjerdi, Ruo-Wei Hung|arXiv (Cornell University)|Apr 4, 2019

Interconnection Networks and Systems参考文献 26被引用数 5

ひとこと要約

本稿では、L字型スーパーグリッドグラフにおけるハミルトニアン性およびハミルトニアン接続性の必要十分条件を確立し、これらのグラフが唯一の自明な条件を除いてハミルトニアンであり、いくつかの特定のケースを除いてハミルトニアン接続であることを証明している。また、これらのグラフにおける最長(s,t)-パスを計算する線形時間アルゴリズムを提示しており、エンジニアリングや3Dプリントのパス最適化に応用可能である。

ABSTRACT

Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a Hamiltonian cycle, and is said to be Hamiltonian connected if there exists a Hamiltonian path between any two distinct vertices in it. In this paper, we first prove that every L-shaped supergrid graph always contains a Hamiltonian cycle except one trivial condition. We then verify the Hamiltonian connectivity of L-shaped supergrid graphs except few conditions. The Hamiltonicity and Hamiltonian connectivity of L-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a L-like object is printed. Finally, we present a linear-time algorithm to compute the longest (s, t)-path of L-shaped supergrid graph given two distinct vertices s and t.

研究の動機と目的

• L字型スーパーグリッドグラフにおけるハミルトニアン性の必要十分条件を特定すること。
• 特定の構造的制約下でのL字型スーパーグリッドグラフのハミルトニアン接続性を検証すること。
• L字型スーパーグリッドグラフにおける最長(s,t)-パスを効率的に計算するアルゴリズムの開発。
• 理論的結果をコンピュータ化されたエンジニアリングおよび3Dプリントのパス計画という現実世界の問題に応用すること。

提案手法

• 著者たちは、上部右隅から長方形部分グラフが取り除かれた長方形スーパーグリッドグラフとして定義されるL字型スーパーグリッドグラフの構造的性質を分析している。
• 頂点の位置とグラフの次元に基づいて、このようなグラフがハミルトニアンサイクル、または任意の二頂点間のハミルトニアンパスを含む条件を確立している。
• 頂点カット条件と部分グラフの分解を用いて、ハミルトニアンパスの存在を検証するためのケース別分析を実施している。
• アルゴリズムは、分解されたコンポーネント上の部分問題を再帰的に解くことで最長(s,t)-パスを構築しており、長方形スーパーグリッドグラフに関する既知の結果を用いている。
• sとtのL字型に対する相対的位置に基づいてグラフを構造的に走査することで、O(mn)時間で実行される。
• 理論的証明は、頂点カットや境界条件を含むさまざまな構成におけるパスの存在を検証するための補題および定理に依存している。

実験結果

リサーチクエスチョン

• RQ1 L字型スーパーグリッドグラフがいつハミルトニアンであるか。
• RQ2 L字型スーパーグリッドグラフがいつハミルトニアン接続であるか。
• RQ3 L字型スーパーグリッドグラフにおける最長(s,t)-パスの構造はいかなるものか。
• RQ4 このようなグラフにおいて最長(s,t)-パスを効率的に計算するにはどうすればよいか。

主な発見

• L字型スーパーグリッドグラフは、唯一の自明な条件が破られる場合（グラフが小さすぎるか退化している場合に限る）を除き、ハミルトニアンである。
• 頂点の位置と次元に関する3つの特定の構造的条件を除き、L字型スーパーグリッドグラフはハミルトニアン接続性を満たす。
• 異なる頂点sとtをもつ任意のL字型スーパーグリッドグラフにおいて、最長(s,t)-パスを計算する線形時間アルゴリズム（O(mn)）が存在する。
• 頂点カットを形成する{s,t}に対しても、グラフを部分グラフに分解し、最長パスを組み合わせることで、アルゴリズムはすべてのケースを正しく処理する。
• 最長(s,t)-パスの計算は、再帰的分解と長方形スーパーグリッドグラフに関する既知の結果に基づいており、正しさと効率性が保証されている。
• 理論的結果は、コンピュータ化されたエンジニアリングマシンおよび3Dプリンタのパス計画という現実世界の問題に直接応用可能である。