[论文解读] 1-Planar Unit Distance Graphs

Panna Gehér, Gézá Tóth|arXiv (Cornell University)|Oct 2, 2023

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文建立了1-平面单位距离图中最大边数的紧致界——即在平面上绘制、所有边均为单位长度线段且每条边至多允许一次交叉的图。研究证明，n个顶点的此类图最多有3n − 4√n/15条边，几乎与已知的匹配图（0-平面情形）的上界相当，并为k-平面和k-拟平面单位距离图提供了构造与界，解决了这些几何图类中边密度与正则性方面的开放问题。

ABSTRACT

A matchstick graph is a plane graph with edges drawn as unit distance line segments. This class of graphs was introduced by Harborth who conjectured that a matchstick graph on n vertices can have at most ⌊3n-√{12n-3}⌋ edges. Recently his conjecture was settled by Lavollée and Swanepoel. In this paper we consider 1-planar unit distance graphs. We say that a graph is a 1-planar unit distance graph if it can be drawn in the plane such that all edges are drawn as unit distance line segments while each of them are involved in at most one crossing. We show that such graphs on n vertices can have at most 3n-∜{n}/10 edges.

研究动机与目标

• 建立1-平面单位距离图中最大边数的紧致上界与下界。
• 将结果推广至k-平面与k-拟平面单位距离图，突破平面约束的限制。
• 研究r-正则1-平面单位距离图的存在性及其边密度，特别是针对r = 5的情形。
• 解决几何图类中边增长速率与结构极限的开放问题，这些图类具有有界交叉数。
• 为k-平面与k-拟平面单位距离图提供改进的构造与理论界。

提出的方法

• 将图分解为一个最大平面子图G₀与剩余边集E₁，以分析边交叉与半边分布。
• 通过面结构（特别是三角形面）的组合论证，限制交叉边引入的半边数量。
• 利用Erdős单位距离问题中的几何与组合技术，构造出具有(k−1)n − o(n)条边的k-拟平面图。
• 证明在交叉关系下的等价类形成有界长度的有向路径，从而限制两两交叉的数量。
• 应用极值图论与几何交集界，推导出k-平面与k-拟平面情形下边数的上界。
• 通过边集的块分解，以n与k表示总边数的上界，最终得出k-拟平面图的4kn上界。

实验结果

研究问题

• RQ1 1-平面单位距离图的最大边数是否可能比匹配图多出Ω(√n)条边？
• RQ2 是否存在一种1-平面单位距离图构造，其边数渐近超过3n条？
• RQ3 考虑到5-正则匹配图不存在，是否存在5-正则1-平面单位距离图？
• RQ4 k-平面单位距离图的最大边数uk(n)的渐近增长速率如何？
• RQ5 k-拟平面单位距离图的4kn上界是否可在特定k或n下得到改进或收紧？

主要发现

• n个顶点的1-平面单位距离图的最大边数至多为3n − 4√n/15，几乎与已知的匹配图边界一致。
• u₁(n)的下界为⌊3n − √(12n − 3)⌋，上界几乎与之匹配，表明允许每条边有一次交叉所能带来的增益极小。
• 对于k-拟平面单位距离图，最大边数vk(n)严格小于4kn，确立了k的线性上界。
• 通过构造出(k−1)n − o(n)条边的图，表明当k = 2^O(log n / log log n)时，k-拟平面图的上界几乎紧致。
• 对于k-平面单位距离图，建立了uk(n) ≤ c√(kn)的上界，且通过Rote的构造，存在2^Ω(log k / log log k)n的匹配下界。
• 不存在r ≥ 6的r-正则1-平面单位距离图，而5-正则此类图的存在性仍为开放问题，尽管存在结构约束。