[论文解读] Hinged Kite Mirror Dissection

David Eppstein|ArXiv.org|Jun 13, 2001

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

一句话总结

本文提出了一种铰接剖分方法，可将任意非对称多边形通过沿其对称轴连接的筝形片段链，转化为其镜像。该算法以 O(n log n) 时间复杂度计算剖分，使用 O(n) 个筝形，为等面积多边形之间铰接剖分的开放问题的一个特例提供了构造性解法。

ABSTRACT

Any two polygons of equal area can be partitioned into congruent sets of polygonal pieces, and in many cases one can connect the pieces by flexible hinges while still allowing the connected set to form both polygons. However it is open whether such a hinged dissection always exists. We solve a special case of this problem, by showing that any asymmetric polygon always has a hinged dissection to its mirror image. Our dissection forms a chain of kite-shaped pieces, found by a circle-packing algorithm for quadrilateral mesh generation. A hinged mirror dissection of a polygon with n sides can be formed with O(n) kites in O(n log n) time.

研究动机与目标

• 解决所有等面积多边形是否都存在铰接剖分的开放问题。
• 研究多边形与其镜像之间是否存在铰接剖分。
• 开发一种高效算法，利用筝形片段构造此类剖分。
• 将一般铰接剖分问题简化为具有顶点映射约束的三角形剖分问题。

提出的方法

• 该方法使用圆 packing 算法将输入多边形划分为由相切圆和多边形边围成的区域。
• 圆 packing 产生的空隙被分类为三边形或四边形，并通过相切点的外心将每个空隙细分为筝形四边形。
• 通过将每个圆的相切点连接到其外心，形成筝形，确保沿一条对角线具有轴对称性。
• 生成的筝形沿其对称轴首尾相连，形成可展开为直线的铰链链。
• 该剖分可逆：展开链后可重新折叠为原始多边形的镜像。
• 该算法时间复杂度为 O(n log n)，产生 O(n) 个筝形片段，利用了非钝角网格化和圆 packing 的先前研究成果。

实验结果

研究问题

• RQ1 任何非对称多边形是否都能通过筝形链实现铰接剖分，以得到其镜像？
• RQ2 是否存在多项式时间算法来计算此类铰接剖分？
• RQ3 能否利用多边形到其镜像的铰接剖分，将一般铰接剖分问题简化为三角形剖分问题？
• RQ4 生成的剖分是否可实现连续且不自交的展开？
• RQ5 在实际应用中，剖分的片段数量是否可低于 O(n)？

主要发现

• 任意 n 条边的非对称多边形均可通过 O(n) 个筝形片段实现铰接镜像剖分。
• 该剖分通过基于圆 packing 的四边形网格化算法在 O(n log n) 时间内计算得出。
• 生成的铰接结构为沿对称轴连接的筝形链，可完全展开为一条直线。
• 该方法将两个等面积多边形之间的通用铰接剖分问题，简化为一系列具有约束顶点映射的 O(n) 个三角形剖分问题。
• 该剖分为“晃动铰接”型，即无法保证连续且不自交的运动，且在某些特殊情况下（如斜三角形）片段数量可能进一步减少。
• 该方法为将 k 路剖分简化为三角形层级问题提供了框架，若存在满足顶点约束的三角形剖分，则可能实现通用解法。