[论文解读] 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$，而非相交路径及所有树则需要 $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 \times 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$ 情况下节省一个段的结论是否适用于所有类型的网格，包括非单位间距与非正交网格？
• RQ5 这些结果如何推广至高维网格，如 $n \times n \times n$？

主要发现

• 在 $n \times m$ 网格上，自相交覆盖路径的最小段数为 $2\min(n,m)-2$（当 $n = m \geq 3$ 时），否则为 $2\min(n,m)-1$。
• 对于非相交覆盖路径与树，最小段数始终为 $2\min(n,m)-1$，与网格尺寸无关。
• 覆盖树的最小边数为 $2\min(n,m)-2$（当 $n = m \geq 3$ 时），否则为 $2\min(n,m)-1$。
• 对于覆盖树的段数，最小值为 $\min(n,m)+1$ 个段，但当 $n=1$, $m=1$ 或 $n=m=2$ 时，为 $\min(n,m)$ 个段。
• 结果适用于任意正交网格（不一定是单位间距），且仅当 $n = m \geq 3$ 且允许相交时，才可节省一个段。
• 证明表明，即使允许任意方向与相交，段数最多也只能比轴对齐边界节省一个段。