[论文解读] Peeling and Nibbling the Cactus: Subexponential-Time Algorithms for Counting Triangulations and Related Problems

Dániel Marx, Tillmann Miltzow|arXiv (Cornell University)|Mar 23, 2016

Computational Geometry and Mesh Generation参考文献 9被引用 9

一句话总结

该论文提出了一种在时间 $ n^{(11+o(1))\sqrt{n}} $ 内计算平面点集三角剖分数量的亚指数时间算法，显著优于先前的 $ O(2^n n^2) $ 界限。关键创新在于使用嵌套层（'cactus graphs'）构建的规范分隔符分解，以避免重复计数，从而实现一个通用框架，可在 $ n^{O(\sqrt{n})} $ 时间内计数多种非交叉图。

ABSTRACT

Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.

研究动机与目标

• 开发一种更快的算法来计数平面点集的三角剖分，克服先前基于指数时间方法的局限性。
• 通过在三角剖分中引入规范的分隔符选择方式，解决基于分隔符计数中的重复计数问题。
• 建立一个通用框架，实现在亚指数时间内计数多种非交叉直线图（例如，哈密顿圈、匹配、生成树）。
• 探讨平面问题中常见的“平方根现象”是否适用于三角剖分等计数问题。

提出的方法

• 基于三角剖分的嵌套层构建规范分隔符系统，以cactus图建模，唯一标识分隔符并避免重复计数。
• 将三角剖分分层分解为若干'层'，其中每一层对应一组形成cactus状结构的边。
• 通过顶点和边的着色以及几何约束，为各类图类（如完美匹配、哈密顿圈）定义注释系统，以强制实现组合性质。
• 利用平面三角剖分具有 $ O(\sqrt{n}) $ 大小的平衡分隔符这一事实，通过规范选择进行递归分解，以限制子问题的总数。
• 通过组合注释系统（例如，匹配要求度为1，圈要求度为2）将该框架应用于计数多种图类型。
• 利用顺序类型和几何唯一性，确保注释在面和顶点之间的一致性，同时保持亚指数时间复杂度。

实验结果

研究问题

• RQ1 平面点集的三角剖分数能否在亚指数时间内计算，从而优于 $ O(2^n n^2) $ 的界限？
• RQ2 是否可能在三角剖分中设计一种规范的分隔符选择机制，以防止递归分解中的重复计数？
• RQ3 平面图的哪些结构特性使得尽管可能的图数量呈指数级增长，仍能实现 $ n^{O(\sqrt{n})} $ 时间的计数算法？
• RQ4 哪些非交叉直线图类可以通过统一的基于注释的框架实现高效计数？
• RQ5 该框架能否扩展以计数具有复杂约束的图，例如3-可图染色图或直径受限图？

主要发现

• 该论文在计数三角剖分时实现了 $ n^{(11+o(1))\sqrt{n}} $ 的运行时间，显著优于先前的 $ O(2^n n^2) $ 界限。
• 基于分层cactus分解的规范分隔符系统可正确计数且无重复计数，解决了基于分隔符算法中的一个关键障碍。
• 开发了一个通用框架，可实现在 $ n^{O(\sqrt{n})} $ 时间内计数多种非交叉图类（如完美匹配、哈密顿圈、生成树、四边形剖分）。
• 该框架依赖于注释系统，通过顶点和边的颜色以及几何一致性，强制实现组合约束（如度数、连通性、面大小）。
• 该方法对几何细节具有鲁棒性，仅依赖于点集的顺序类型，尽管几何信息用于确保注释过程中唯一的选择。
• 由于需在边上传播过多不一致配置，当前框架尚无法精确处理3-可图染色或直径受限等约束。