[论文解读] Counting Plane Graphs: Perfect Matchings, Spanning Cycles, and Kasteleyn's Technique

Micha Sharir, Adam Sheffer+1 more|arXiv (Cornell University)|Sep 26, 2011

Advanced Combinatorial Mathematics参考文献 17被引用 4

一句话总结

本文利用Kasteleyn的线性代数技巧与边翻转分析，改进了在平面上N个点集上可嵌入的无交叉直边哈密顿回路（简单多边形化）数量的上界。关键结果是将先前最优上界O(68.664^N)改进为O(54.543^N)。

ABSTRACT

We derive improved upper bounds on the number of crossing-free straight-edge spanning cycles (also known as Hamiltonian tours and simple polygonizations) that can be embedded over any specific set of $N$ points in the plane. More specifically, we bound the ratio between the number of spanning cycles (or perfect matchings) that can be embedded over a point set and the number of triangulations that can be embedded over it. The respective bounds are $O(1.8181^N)$ for cycles and $O(1.1067^N)$ for matchings. These imply a new upper bound of $O(54.543^N)$ on the number of crossing-free straight-edge spanning cycles that can be embedded over any specific set of $N$ points in the plane (improving upon the previous best upper bound $O(68.664^N)$). Our analysis is based on Kasteleyn's linear algebra technique.

研究动机与目标

• 改进平面上N个点集上可嵌入的无交叉直边生成环（哈密顿回路）数量的上界。
• 分析此类环的数量与同一点集三角剖分数之间的关系。
• 应用Kasteleyn技巧与边翻转方法，推导更紧致的组合上界。
• 建立基于阈值的上界，根据三角剖分中度为3的内点数，最优地结合两种不同的分析引理。
• 通过利用三角剖分的结构特性和可分离边的性质，进一步优化整体渐近上界。

提出的方法

• 采用Kasteleyn的线性代数技巧计算平面图中完美匹配的数量，并将其适配用于限制生成环的数量。
• 应用先前工作中边翻转技术，分析三角剖分中可翻转边的数量，该数量与环的支持结构和计数相关。
• 根据三角剖分中度为3的内点数（v₃(T)）对三角剖分进行排序，并基于该参数应用不同的上界。
• 使用两个引理：一个用于度为3的内点较多的三角剖分（引理5.1），另一个用于度为3的内点较少的三角剖分（引理5.3），阈值约为N的10.72%。
• 求解涉及指数项与参数（x ≈ 1.17965，γ）的复杂方程，以确定在两个引理之间最优切换点。
• 将所得上界与已知的三角剖分数上界tr(N) < 30^N结合，推导出最终的渐近结果。

实验结果

研究问题

• RQ1 在平面上N个点集上，无交叉直边哈密顿回路数量的最紧致上界是什么？
• RQ2 此类回路的数量与同一组点集三角剖分数之间有何关系？
• RQ3 Kasteleyn技巧能否有效适配于在一般位置约束下点集的生成环数量的上界估计？
• RQ4 在三角剖分中，度为3的内点数达到何种阈值时，最优上界会从一种分析方法切换到另一种？
• RQ5 边翻转与可分离边的性质能否用于改进平面点集中环计数的组合上界？

主要发现

• 本文建立了在任意平面上N个点集上，无交叉直边生成环（简单多边形化）最大数量的新上界O(54.5430^N)。
• 该结果显著优于先前已知的最优上界O(68.664^N)，大幅收紧了渐近估计。
• 该上界通过将生成环数量与三角剖分数关联，乘以一个因子O(1.8181^N)（即环数与三角剖分数之比）推导得出。
• 约10.72%的N个度为3的内点数构成阈值，决定了在推导上界时最优使用两个不同分析引理的时机。
• 分析结果证实，结合Kasteleyn技巧与基于三角剖分的边翻转方法，可获得比以往方法更紧致的上界。
• 最终上界通过将优化后的环数估计与已知的三角剖分数上界tr(N) < 30^N相结合得出。