[论文解读] Open Problems from CCCG 2002

Erik D. Demaine, Joseph O’Rourke|ArXiv.org|Dec 22, 2002

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

一句话总结

本文整理并呈现了第14届加拿大计算几何会议（CCCG）2002年会议中提出的开放问题，涵盖多样主题，如大圆排列的3-可图染色性、平面图的相切圆表示、具有有界弯折数的3D正交图绘制、可视性积的表征，以及D-形式曲面的构建。其主要贡献在于系统整理了一组未解决的研究挑战，并与现有文献及计算几何研究建立联系。

ABSTRACT

A list of the problems presented on August 12, 2002 at the open-problem session of the 14th Canadian Conference on Computational Geometry held in Lethbridge, Alberta, Canada.

研究动机与目标

• 整理并传播第14届加拿大计算几何会议（CCCG）2002年会议中提出的计算几何领域未解决的研究问题。
• 通过识别图染色、几何表示、3D图绘制与可视性结构等领域的关键开放问题，激发进一步研究。
• 将每个问题与现有文献和已知结果相联系，为未来研究提供背景与动机。
• 鼓励开发针对3-图染色排列图与实现平面区域约束等问题的算法与理论成果。
• 突出潜在应用于图绘制、几何建模与计算拓扑学的问题。

提出的方法

• 收集了CCCG 2002年开放问题专题 session 中由该领域领先研究者提出的开放问题。
• 为每个问题提供背景与上下文，并引用相关前期工作与已知部分结果。
• 使用形式化数学定义描述问题，例如将可视性积 VP(P) 定义为多边形中所有相互可见点对构成的4维集合。
• 从图论、拓扑与几何约束的角度表述问题，例如每条边最多允许两个弯折的3D正交图绘制。
• 将问题与更广泛的研究领域相联系，例如区域实现中的地图图与外部分解中的伪三角剖分。
• 强调计算复杂性与可实现性问题，包括多项式时间可判定性及几何参数的界。

实验结果

研究问题

• RQ1 若无三个大圆交于一点，是否每个球面上大圆排列图都是3-可图染色的？
• RQ2 每个平面图是否都能通过一组内部不相交的圆盘表示，使得其交集图与图一致，且圆心位于有理数或整数坐标上？
• RQ3 对于由R^4中长方体组成的3-流形，相邻的面是否必须位于正交或共面的3-平面中？
• RQ4 多边形P的可视性积VP(P)具有何种结构，能否高效计算？
• RQ5 每个最大度Δ ≤ 6的简单图是否都存在一种3D正交点图绘制，使得每条边最多有两个弯折？

主要发现

• 所有至多包含11个大圆的排列图均已通过计算验证为3-可图染色，支持所有此类图均为3-可图染色的猜想。
• 通过相切圆表示平面图的问题仍具计算挑战性，尽管使用相交圆盘的宽松表示可能更容易计算。
• 对于3D正交图绘制，每条边最多两个弯折已足够适用于最大度Δ ≤ 5的图，以及若干6-正则完全多部图。
• 已知K₅无法实现每条边最多两个弯折的3D正交图绘制，表明两个弯折在一般情况下已为最优。
• 可视性积VP(P)是捕捉多边形中所有相互可见点对的4维集合，其结构与算法构造仍为开放问题。
• 在高维中，寻找从单位球心出发并穿过每个支撑半空间的最短路径的问题仍未解决，尽管2维情形已有已知解。