[論文レビュー] Covering Paths and Trees for Planar Grids

Balázs Keszegh|arXiv (Cornell University)|Nov 3, 2013

Computational Geometry and Mesh Generation参考文献 6被引用数 3

ひとこと要約

この論文は、$n \times m$ 平面グリッド上のパスおよび木の被覆に必要な最小セグメント数を解明する。自己交差を許容する被覆パスでは、$n = m \geq 3$ の場合、最小値を $2\min(n,m)-1$ から $2\min(n,m)-2$ に1つ削減できることを証明する。一方、非交差パスおよびすべての木は、$2\min(n,m)-1$ のセグメントを必要とする。結果は一般の直交グリッドへ拡張され、任意のセグメント方向におけるパスおよび木の被覆に対してタイトな境界が確立される。

ABSTRACT

Given a set of points in the plane, a covering path is a polygonal path that visits all the points. In this paper we consider covering paths of the vertices of an n x m grid. We show that the minimal number of segments of such a path is $2\min(n,m)-1$ except when we allow crossings and $n=m\ge 3$, in which case the minimal number of segments of such a path is $2\min(n,m)-2$, i.e., in this case we can save one segment. In fact we show that these are true even if we consider covering trees instead of paths. These results extend previous works on axis-aligned covering paths of n x m grids and complement the recent study of covering paths for points in general position, in which case the problem becomes significantly harder and is still open.

研究の動機と目的

• $n \times m$ 直交グリッドのすべての頂点を訪問する被覆パスまたは木に必要な最小セグメント数を特定すること。
• 軸方向に揃えた場合と任意方向のセグメント被覆との間のギャップを解消し、特に交差を許容する場合に注目すること。
• 3×3グリッドパズルに関する先行研究を一般の$n \times m$グリッドおよび一般位置の点集合へ拡張すること。
• 非交差および自己交差を許容する被覆パスおよび木を分析し、辺数とセグメント数の違いを区別すること。
• 異なる数え方（辺 vs. セグメント）における被覆木のタイトな境界を確立すること。

提案手法

• 組合せ幾何学およびパス埋め戦略を用いて、対角線および軸方向に揃ったセグメントを含む明示的な被覆パスおよび木を構築すること。
• 行および列のカバー範囲に基づくケース解析を用いて、被覆木におけるセグメント数または辺数の下界を導出すること。
• どの軸方向セグメントも点をカバーしない部分グリッド $V'(k,l)$ への還元を行い、非軸方向セグメント数に関する補題を適用すること。
• 既知の軸方向パスの結果を幾何学的および位相的考察により、任意方向へ拡張すること。
• 木の被覆において、接続性のための辺数とパス／分類のためのセグメント数の違いを明確にし、最適な境界を導出すること。
• 特に $n = m \geq 3$ および小規模グリッド（$n=1$, $m=1$, $n=m=2$）に対して、背理法と極値ケース解析を用いてタイトな境界を証明すること。

実験結果

リサーチクエスチョン

• RQ1 自己交差を許容する被覆パスに必要な最小セグメント数は $n \times m$ グリッドでどのくらいか？非交差の場合と比べてどう異なるか？
• RQ2 任意のセグメント方向を許容することで、軸方向の境界値 $2\min(n,m)-1$ よりもセグメント数を減らせるか？
• RQ3 $n \times m$ グリッドにおける被覆木（パスとは異なり）に必要な最小セグメント数は何か？セグメント数と辺数の違いは何か？
• RQ4 $n = m \geq 3$ の場合に1セグメントの節約が可能なのは、すべてのグリッドタイプ（特に単位グリッドや直交グリッドでないもの）にも適用可能か？
• RQ5 結果は $n \times n \times n$ のような高次元グリッドへどのように一般化されるか？

主な発見

• 自己交差を許容する被覆パスにおいて、$n \times m$ グリッドに必要な最小セグメント数は、$n = m \geq 3$ の場合 $2\min(n,m)-2$ であり、それ以外の場合は $2\min(n,m)-1$ である。
• 非交差被覆パスおよび木においては、グリッドの次元に関わらず、最小セグメント数は常に $2\min(n,m)-1$ である。
• 被覆木における最小辺数は、$n = m \geq 3$ の場合 $2\min(n,m)-2$ であり、それ以外の場合は $2\min(n,m)-1$ である。
• 被覆木におけるセグメント数の最小値は、$n=1$, $m=1$, または $n=m=2$ を除き $\min(n,m)+1$ である。$n=1$, $m=1$, または $n=m=2$ の場合は $\min(n,m)$ である。
• 結果は任意の直交グリッド（必ずしも単位間隔でないものも含む）に適用可能であり、1セグメントの節約は $n = m \geq 3$ で交差を許容する場合にのみ可能である。
• 証明により、軸方向の境界値よりも多くは1セグメントしか節約できないことが示され、任意の方向および交差を許容しても同様である。