中文

近似最优稀疏度的欧几里得非交叉斯坦纳支撑图

计算几何 2026-02-23 v1

摘要

欧几里得非交叉斯坦纳(1+ϵ)(1+\epsilon)-支撑图是指对于平面上任意两点a,bPa, b \in P,包含长度最多为aabb之间欧几里得距离的1+ϵ1+\epsilon倍的路径的平面直线图。我们构造了一个欧几里得非交叉斯坦纳(1+ϵ)(1+\epsilon)-支撑图,具有O(n/ϵ3/2)O(n/\epsilon^{3/2})条边,适用于平面上任意nn个点的集合。这一结果改进了近三十年来的最佳上界O(n/ϵ4)O(n/\epsilon^{4})。我们也建立了近似匹配的下界:存在nn个平面上的点,使得任何欧几里得非交叉斯坦纳(1+ϵ)(1+\epsilon)-支撑图都有Ωμ(n/ϵ3/2μ)\Omega_\mu(n/\epsilon^{3/2-\mu})条边,其中μ>0\mu>0。我们的下界使用几何测度论中最近的斯蒂法德-罗特ter定理 generalizations。

关键词

引用

@article{arxiv.2602.17801,
  title  = {Euclidean Noncrossing Steiner Spanners of Nearly Optimal Sparsity},
  author = {Sujoy Bhore and Sándor Kisfaludi-Bak and Lazar Milenković and Csaba D. Tóth and Karol Węgrzycki and Sampson Wong},
  journal= {arXiv preprint arXiv:2602.17801},
  year   = {2026}
}