[论文解读] The Orchard crossing number of an abstract graph

Elie Feder, David Garber|arXiv (Cornell University)|Mar 25, 2003

Computational Geometry and Mesh Generation参考文献 10被引用 5

一句话总结

本文引入了抽象图的果园交叉数（OCN），其定义基于平面上点的几何配置及果园关系——一种基于其他点对连线奇偶性分离性质的等价关系。该文计算了完全图、星图、轮图和完全二部图的OCN，并提出了一个极大变体（MOCN），其与几何交叉数紧密关联，表明完全图的MOCN最优绘制与几何交叉数的最优绘制一致。

ABSTRACT

We introduce the Orchard crossing number, which is defined in a similar way to the well-known rectilinear crossing number. We compute the Orchard crossing number for some simple families of graphs. We also prove some properties of this crossing number. Moreover, we define a variant of this crossing number which is tightly connected to the rectilinear crossing number, and compute it for some simple families of graphs.

研究动机与目标

• 通过几何配置和果园关系，定义并形式化抽象图的果园交叉数（OCN）。
• 计算基本图族（包括完全图 $K_n$、星图 $K_{n,1}$、轮图 $W_{n,1}$ 和完全二部图 $K_{n,m}$）的OCN。
• 引入并分析一个变体——极大果园交叉数（MOCN），并建立其与经典几何交叉数的联系。
• 探索OCN的结构性质，包括其在图并集下的行为，以及其与凸配置和点分离的关系。

提出的方法

• 将果园关系定义为平面上点集上的等价关系，基于其他点对连线对分离的奇偶性。
• 将图的直线绘制形式化为 $\mathbb{R}^2$ 中的通用点集，边为直线段。
• 将果园交叉数定义为所有直线绘制中，边端点被其所在边的连线所分离的总次数的最小值。
• 将极大果园交叉数（MOCN）定义为所有绘制中该总次数的最大值，并证明对于完全图，其最优绘制与几何交叉数的最优绘制一致。
• 通过按颜色和凸位置分类的四元组组合计数，计算OCN和MOCN的贡献。
• 运用几何与组合论证，推导出特定图族上OCN和MOCN的闭式表达式。

实验结果

研究问题

• RQ1 完全图 $K_n$ 的果园交叉数是多少？它与几何交叉数有何关系？
• RQ2 完全图 $K_n$ 的极大果园交叉数（MOCN）与几何交叉数相比如何？在何种条件下二者一致？
• RQ3 星图 $K_{n,1}$ 的果园交叉数是多少？其结果如何依赖于中心顶点的位置？
• RQ4 当两个边不相交的图合并时（特别是共享相同顶点集时），OCN 如何变化？
• RQ5 完全二部图 $K_{n,m}$ 的MOCN是多少？何种构型使其达到最大值？

主要发现

• 完全图 $K_n$ 的果园交叉数为 $\binom{n}{4}$，由凸位置四元组的计数得出。
• 完全图 $K_n$ 的极大果园交叉数为 $\binom{n}{4}$，且MOCN的最优绘制与最小化几何交叉数的绘制一致。
• 对于星图 $K_{n,1}$，当中心顶点位于叶节点凸包内部时，OCN为 $n(n-1)/2$，且此为最小值。
• 对于轮图 $W_{n,1}$，OCN为 $\binom{n}{3} + \binom{n}{4}$，其贡献来自中心辐条和外环。
• 完全二部图 $K_{n,m}$ 的MOCN为 $2\binom{n}{2}\binom{m}{2} + 2n\binom{m}{3} + 2m\binom{n}{3}$，当所有四元组均贡献最大时达到。
• 对于边不相交的图 $G$ 和 $H$，若其具有相同的最小OCN绘制，则 $\mathrm{OCN}(G \cup H) = \mathrm{OCN}(G) + \mathrm{OCN}(H)$，前提是二者无共享边。