[论文解读] Drawing cubic graphs with the four basic slopes

Padmini Mukkamala, Dömötör Pálvölgyi|arXiv (Cornell University)|Jun 10, 2011

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

一句话总结

本文证明了每个立方图都可以在平面上仅使用四种基本斜率（0、π/4、π/2 和 3π/4）以直线边且不通过顶点交叉的方式进行绘制。关键结果是：若且唯若能用这些斜率绘制 $K_4$，则四种斜率足以绘制所有立方图，从而对这类斜率集合给出了完整刻画。

ABSTRACT

We show that every cubic graph can be drawn in the plane with straight-line edges using only the four basic slopes $\{0,π/4,π/2,3π/4\}$. We also prove that four slopes have this property if and only if we can draw $K_4$ with them.

研究动机与目标

• 确定所有立方图是否可以仅使用一组固定且有限的四个斜率进行绘制。
• 解决绘制立方图所需的最少斜率数量问题，从而确定最优性。
• 对所有可绘制所有立方图的四斜率集合进行刻画。
• 研究 $K_4$ 在立方图绘制中作为斜率集合通用测试案例的作用。

提出的方法

• 基于连通性对立方图进行结构分解：割点、桥和 2-顶点割。
• 应用归纳绘制技术，利用引理 2.8，该引理允许使用四种基本斜率绘制具有合适 M-割的图。
• 使用仿射变换对斜率集合进行标准化，表明任何有效的四斜率集合必须是基本四斜率的仿射像。
• 依赖于关于具有哈密顿回路的 3-连通立方图的已知结果（如 Engelstein 的研究），并通过超环引理加以扩展。
• 对小图（≤16 个顶点）进行详尽的案例分析，这些图具有高圈长且无哈密顿回路，包括彼得森图和蒂茨图。
• 使用几何推理表明，任何能够以一般位置绘制 $K_4$ 的四斜率集合，必须与基本四斜率仿射等价。

实验结果

研究问题

• RQ1 是否每个立方图都可以仅使用四种基本斜率（0、π/4、π/2 和 3π/4）进行绘制？
• RQ2 绘制所有立方图是否最少需要四个斜率？
• RQ3 什么特征决定了一个四斜率集合可以绘制所有立方图？
• RQ4 $K_4$ 是否是判断一个四斜率集合能否绘制所有立方图的通用测试图？
• RQ5 最大度为四的图的斜率数是否可能无界？

主要发现

• 每个立方图均可仅使用四种基本斜率（0、π/4、π/2 和 3π/4）进行直线绘制。
• 四种斜率足以绘制所有立方图，当且仅当 $K_4$ 可以用这些斜率绘制。
• 一个四斜率集合是良性的（即可以绘制所有立方图）当且仅当它是基本四斜率的仿射像。
• 彼得森图和蒂茨图均为 3-连通且非哈密顿图，但均可使用四种基本斜率绘制，确认了关键情况下的结果。
• 通过 $K_4$ 可实现性对良好数四斜率集合的刻画，提供了一个完整且具有几何意义的判别准则。
• 该结果将绘制立方图所需的最少斜率数量确定为四，且证明该数量是紧致的。