[論文レビュー] 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(54.543^N)という改善された上界であり、以前の最良の上界O(68.664^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の手法とエッジフリッピング手法を適用して、よりtightな組合せ的上界を導出すること。
• 三角形分割における次数3の内部頂点の数に応じて、2つの異なる解析的補題を最適に切り替える閾値に基づく上界を確立すること。
• 三角形分割の構造的性質と分離可能なエッジの性質を活用して、全体の漸近的上界を精緻化すること。

提案手法

• 平面グラフにおける完全マッチングの数を数えるKasteleynの線形代数的手法を、スパニング閉路の数の上界に適応して用いる。
• 先行研究のエッジフリッピング技術を応用し、三角形分割におけるフリッピング可能なエッジの数を分析することで、閉路のサポートと列挙に寄与する。
• 三角形分割を内部頂点の次数3の数（v₃(T)）で分類し、このパラメータに応じて異なる上界を適用する。
• 2つの補題を用いる：度数3の内部頂点が多数ある三角形分割に対しては補題5.1、少ない場合には補題5.3を用い、閾値は約Nの10.72%。
• 指数関数的項とパラメータ（x ≈ 1.17965, γ）を含む複雑な方程式を解き、2つの補題間での最適な切り替え点を特定する。
• 得られた上界を、三角形分割数の既知の上界tr(N) < 30^Nと組み合わせることで、最終的な漸近的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 平面上のN点に埋め込める交差しない直線エッジをもつハミルトン閉路の数に対する、最もtightな上界は何か？
• RQ2 そのような閉路の数は、同じ点集合における三角形分割の数とどのように関係するか？
• RQ3 Kasteleynの手法は、一般位置制約を満たす点集合におけるスパニング閉路の数を上界で制御するために効果的に適応可能か？
• RQ4 三角形分割における次数3の内部頂点の数が何パーセントに達する段階で、2つの異なる解析的手法に最適な上界が切り替わるか？
• RQ5 エッジフリッピングと分離可能なエッジの性質を用いて、平面点集合における閉路列挙の組合せ的上界を精緻化できるか？

主な発見

• 本稿では、平面上の任意のN点集合に埋め込める交差しない直線エッジをもつスパニング閉路（単純多角形化）の最大数に対する新しい上界O(54.5430^N)を確立した。
• これは、以前の最良の上界O(68.664^N)を改善するものであり、漸近的推定値の大幅なtighteningを示している。
• 上界は、スパニング閉路の数と三角形分割の数との間の要因O(1.8181^N)を介して導出されており、これは閉路数と三角形分割数の比に相当する。
• 次数3の内部頂点が約Nの10.72%に達する閾値が、2つの異なる解析的補題の最適な使用を決定づける。
• Kasteleynの手法と三角形分割に基づくエッジフリッピングの併用が、以前の手法よりもtightな上界をもたらすことが分析で確認された。
• 最終的な上界は、精緻化された閉路数と、三角形分割数の既知の上界tr(N) < 30^Nを組み合わせることで得られた。