首页/论文/0802.4325

arXiv 0802.43252008-02cs.CGcs.DS

一个简单的有界度Yao-Yao生成器

A Simple Yao-Yao-Based Spanner of Bounded Degree

Mirela Damian

备注：: 7 pages, 5 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

判定单位圆盘图的Yao-Yao结构是否是一个长度不相等的图是一个长期悬而未决的问题。这个问题是高度相关的无线ad hoc网络的拓扑控制问题。在本文中，我们对解决这个问题的进展表明，姚姚结构是一个长度的UDG有界的纵横比。基于Li，Wan，Wang和Frieder提出的Yao-Sink方法，我们还提出了一种新的局部算法，称为Yao-Sparse-Sink，该算法对给定的UDG和给定的e > 0计算有界度的（1+e）-ε。Yao稀疏汇方法使得稀疏汇树的有效局部计算成为可能。最后，我们证明了UDG的所有这些结构- Yao，Yao-Yao，Yao-Sink和Yao-Sparse-Sink -具有任意大的权重。

英文摘要：

It is a standing open question to decide whether the Yao-Yao structure for unit disk graphs (UDGs) is a length spanner of not. This question is highly relevant to the topology control problem for wireless ad hoc networks. In this paper we make progress towards resolving this question by showing that the Yao-Yao structure is a length spanner for UDGs of bounded aspect ratio. We also propose a new local algorithm, called Yao-Sparse-Sink, based on the Yao-Sink method introduced by Li, Wan, Wang and Frieder, that computes a (1+e)-spanner of bounded degree for a given UDG and for given e > 0. The Yao-Sparse-Sink method enables an efficient local computation of sparse sink trees. Finally, we show that all these structures for UDGs -- Yao, Yao-Yao, Yao-Sink and Yao-Sparse-Sink -- have arbitrarily large weight.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

几乎所有偶Yao-Yao图都是生成图

Almost All Even Yao-Yao Graphs Are Spanners

当整数参数$k$足够大时，Yao-Yao图$\mathsf{YY}_k$（也称为稀疏Yao图）是否都是稀疏的，这是一个悬而未决的问题.本文证明了对任意整数$k\geq 42$，当$k$趋于无穷大时，Yao-Yao图$\mathsf{YY}_{2k}$是一个具有拉伸因子$t_k=6.03+O(k^{-1})$的$t_k$ -图.我们的结果推广了最著名的结果，该结果断言所有的$\mathsf{YY}_{6k}$对于足够大的$k$都是空间的[Bauer和Damian，SODA'13]。我们的证明也比较简单。

2016-06-22cs.CGcs.DS

一类稀疏Yao生成算子

An Infinite Class of Sparse-Yao Spanners

我们证明了，对于任意整数k > 5，稀疏姚图YY_{6k}（也称为姚姚）是一个拉伸因子为11.67的图。当k > 7时，拉伸因子下降到4.75。

2012-06-16cs.CGcs.DS

Pi/2-角Yao图是扳手

Pi/2-Angle Yao Graphs are Spanners

我们证明了在L2度量下Yao图Y 4是一个拉伸因子为8（29+ 23 sqrt（2））的图.在此过程中，我们还证明了在Linf度量下的Yao图Y 4是一个拉伸因子为8的平面图。

2010-01-17cs.CGcs.DS

奇Yao-Yao图不是生成图

Odd Yao-Yao Graphs are Not Spanners

Yao-Yao图$\mathsf{YY}_{k}$是否都是稀疏图[li 2002 sparse]是一个长期悬而未决的问题。Bauer和Damian [bauer 2013 infinite]表明，$k \geq 6$的所有$\mathsf{YY}_{6k}$都是分散的。Li和Zhan [li 2016几乎]推广了他们的结果，证明了所有的偶Yao-Yao图$\mathsf{YY}_{2k}$都是纯图（对于$k\geq 42$）.然而，他们的技巧不能推广到奇Yao-Yao图，而且它们是否是奇的仍然是一个谜。在本文中，我们发现，令人惊讶的是，对于任何整数$k \geq 1$，存在奇姚-姚图$\mathsf{YY}_{2k+1}$的情况下，这是不sparkly。

2018-08-12cs.CG

姚图$Y_5$是一个生成图

The Yao Graph $Y_5$ is a Spanner

本文证明了具有五个锥的姚图$Y_5$是具有拉伸因子$ρ= 2+\sqrt{3} \approx 3.74$的图.由于$Y_5$是唯一一个其是否是一个节点的状态是开放的Yao图，这就完成了Yao图是一个节点的图片：一个Yao图$Y_k$是一个节点当且仅当$k \geq 4$。我们用$Y_5$的拉伸因子的下限2.87来补充上述结果。我们还证明了具有五个锥的Yao-Yao图$YY_5$不是图。

2013-08-07cs.CG

姚图Y_6是一个扳手

The Yao Graph Y_6 is a Spanner

我们证明了Y_6是一个群。Y_6是一组平面点上的Yao图，它具有从每个点x到围绕x的六个60度角锥体中的每个内的最近点y的边。

2010-06-01cs.CG

更多相关论文收起更多论文

数据分布式场景下Yao图的高效构建

An Efficient Construction of Yao-Graph in Data-Distributed Settings

该研究针对平面点对最短路径近似的几何生成树构建问题，利用亚线性范围树在MPC模型下设计了Yao图构建算法，将时间与内存复杂度从亚二次优化至近线性。

2023-08-29cs.CGcs.DC

Yao图的有效构造

Efficient Yao Graph Construction

Yao图是将给定点集的每个点连接到围绕它的每个$k$锥中的最近邻点的几何空间，Yao图被用来构造$d$维空间中的最小生成树.此外，它们例如用于无线网络中的拓扑控制。一个最佳的\Onlogn时间算法来构造姚图给定的点集已在文献中提出，但-据我们所知-从来没有实现。相反，在流行的软件包中使用具有二次复杂度的算法来构建这些图。在本文中，我们提出了最佳姚图算法的第一个实现。我们开发和调整所需的数据结构，以实现O（n log n）的界限和详细的算法适应必要的原始算法从理论到实践。我们提出了一个优先级队列数据结构，分离静态和动态事件，并可能是其他sweepline算法的独立利益。此外，我们提出了一个新的姚图算法的基础上，一个统一的网格数据结构，表现良好的中型输入。我们在各种各样的合成和真实世界的数据集上评估了我们的实现，并表明我们的实现至少比当前公开的实现好一个数量级。

2023-03-14cs.CGcs.DS

树度量1-生成器中的本地路由

Local Routing in a Tree Metric 1-Spanner

Solomon和Elkin构造了一个加权树的捷径方案，该方案导致由输入树引起的树度量为1- 1。该树具有对数亮度、对数直径、线性边数和有界度（假设输入树具有有界度）。该算法已被应用于一系列的论文中，致力于设计有界度，低直径，低重量的$(1+ε)$ -空间在欧几里德和加倍度量。在本文中，我们提出了一个简单的局部路由算法，这种树度量的路由。该算法的路由比为1，保证在$O(\log n)$跳后终止，并且每个顶点需要$O(Δ\log n)$位的存储，其中$Δ$是在其上构造树的最大度。这种局部路由算法可以适用于一个局部路由算法的一个双重的度量，它利用了捷径计划。

2021-09-21cs.CGcs.DS

看不到树的森林：用有界跳跃直径生成器导航度量空间

Can't See The Forest for the Trees: Navigating Metric Spaces by Bounded Hop-Diameter Spanners

度量空间的生成子在一般度量和限制类中都得到了广泛的研究，也许最值得注意的是在低维欧几里得空间中--由于它们的许多应用。欧几里德空间可以被看作是将$d$维欧几里德空间的$\binom{n}{2}$成对距离压缩成$O(n) = O_{ε,d}(n)$连续边的手段，使得对于任何$ε> 0$，连续边距离将原始距离保持在$1+ε$的因子内。此外，可以在最佳的$O(n \log n)$时间内计算这样的空间。一旦计算出了带宽，它就可以作为一个“代理”覆盖网络，计算可以在其上进行，这会节省大量的空间和其他重要的质量指标。在消极的一面，通过对矩阵而不是原始度量进行工作，人们失去了能够在点对之间有效地“导航”的关键属性。虽然在原始度量中，人们可以通过直接边缘从任何点到任何其他点，但目前还不清楚如何有效地导航：我们如何将“好”路径的存在转化为找到它的有效算法？此外，我们通常所说的“好”路径是指权重接近其端点之间的原始距离的路径--但先验地，路径中的边（或“跳”）的数量可能是巨大的。为了控制路径的跳长，人们可以尝试上限跳直径，但自然有界的跳直径的空间比具有无限跳直径的空间更复杂，这可能使有效地找到好路径的算法任务更具挑战性。原始的度量使我们能够最佳地导航--具有精确距离的单跳（对于任何两个点），但代价很高-- $Θ(n^2)$边缘。[...]

2022-06-02cs.CGcs.DS

有界度平面几何扳手

Bounded Degree Planar Geometric Spanners

给定一组$P$的$n$点在平面上，我们展示了如何计算在$O(n \log n)$时间的子图，其Delaunay三角剖分，具有最大度7，是一个强的平面$t$-$P$与$t =(1+ \sqrt{2})^2 *δ$，其中$δ$是跨度比的德洛内三角剖分。此外，给定一个德洛内三角剖分，我们给出了一个分布式算法，计算相同的有界度平面三角剖分在O（n）的时间。

2010-03-25cs.CG

存在多边形障碍时的有界度扳手

Bounded-Degree Spanners in the Presence of Polygonal Obstacles

设$V$是平面中的有限顶点集，$S$是多边形障碍物的有限集合，其中$S$的顶点在$V$中。我们展示了如何构造一个平面$2$ -图的可见性图的$V$关于$S$。由于这个图可以有无界的度，我们通过三个简单的步骤修改它，以便将度绑定到$7$，代价是将生成比稍微增加到6。

2020-12-22cs.CG

有界度平面几何空间的实际应用

Bounded-degree plane geometric spanners in practice

自2002年Bose、Gudmundsson和Smid提出了第一个构造有界度平面几何空间的算法以来，有界度平面几何空间的构造一直是人们关注的焦点。到目前为止，已经设计了11个算法，在度和拉伸因子方面进行了各种权衡。我们使用CGAL库在C++中实现了这些复杂的算法，并使用大型合成和真实世界的点集进行了实验。我们的实验揭示了它们的实际行为和现实世界的功效。我们通过GitHub共享实现，以供更广泛的使用和未来的研究。我们提出了一个简单实用的算法，名为AppxStretchFactor，可以估计拉伸因子（获得确切的拉伸因子的下限）的几何空间-一个具有挑战性的问题，没有实际的算法是已知的。在我们对有界度平面几何空间的实验中，我们发现AppxStretchFactor几乎精确地估计了拉伸因子。此外，它在实践中为本文中考虑的点集分布提供了线性运行时性能，使其比用于计算拉伸因子的基于朴素Dijkstra的算法快得多

2022-05-06cs.CG

关于平面约束有界度扳手

On Plane Constrained Bounded-Degree Spanners

设$P$是平面上的有限点集，$S$是端点在$P$中的不相交线段集。$P$相对于$S$的可见性图，表示为$Vis(P,S)$，具有顶点集$P$和$P$中的每对顶点$u,v$的边，对于该边，没有$S$的线段与$uv$适当相交。我们证明了受约束的半$θ_6$ -图（它与空的可见区域是等边三角形的受约束的Delaunay图相同）是$Vis(P,S)$的平面2-图.然后，我们展示了如何构建一个平面6-平面的$Vis(P,S)$与最大程度的$6+c$，其中$c$是最大数量的段的$S$事件的顶点。

2018-06-22cs.CG

通过最小化更新维护轻量生成树（spanner）

Maintaining Light Spanners via Minimal Updates

针对d维欧氏空间动态点集的轻量有界度(1+ε)-spanner维护问题，提出全动态算法，实现插入常数摊销追索权、删除O(logΔ)摊销追索权，同时保持度与轻量的常数界。

2024-03-05cs.CGcs.DS

迈向光spanner统一理论 I：快速（却最优）的构造

Towards a Unified Theory of Light Spanners I: Fast (Yet Optimal) Constructions

University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）；Tel Aviv University（特拉维夫大学）

本文提出了一种统一框架，用于在多种图类中快速构造具有最优轻量级特性的spanner，解决了以往方法在通用性、运行时间和参数优化上的不足。

2025-12-04cs.CGcs.DS

轴平行盒中$\mathbb{R}^3$中点的测地线扳手

Geodesic Spanners for Points in $\mathbb{R}^3$ amid Axis-parallel Boxes

令$P$是在有界数目的障碍物中的$\mathbb{R}^3$中的$n$点的集合。当障碍物是平行轴盒时，我们证明了$P$允许$8\sqrt{3}$ -矩阵关于测地距离有$O(n\log^3 n)$边。

2020-08-08cs.CG

有界树宽的几何生成树（geometric spanners）

Geometric spanners of bounded tree-width

本文研究有界树宽几何生成树的构造问题，提出首个树宽不超过k的渐近最优膨胀系数生成树算法，证明树宽与平面图边数的紧依赖关系，并给出圆周等距点生成树最小膨胀的几乎紧界。

2024-12-09cs.CG

几何相交图的稀疏有界跳生成子图

Sparse Bounded Hop-Spanners for Geometric Intersection Graphs

本文研究了多种几何相交图的2跳和3跳稀疏生成子图，给出了球、胖轴平行盒、半代数对象及四面体等图类的改进上界与下界。

2025-04-08cs.CGcs.DM

单位圆盘图的稀疏跳生成器

Sparse Hop Spanners for Unit Disk Graphs

平面中给定点集$P$上的单位圆盘图$G$是两点之间存在边$p,q \in P$的几何图当且仅当$|pq| \leq 1$。$G$的生成子图$G'$是$k$ -跳图当且仅当对于每个边$pq\in G$，在$G'$中的$p,q$与至多$k$边之间存在路径。对于平面上的单位圆盘图，我们得到了如下结果。(I)每个$n$ -顶点单位圆盘图都有一个至多有$5.5n$条边的$5$ -跳图.我们分析了Biniaz（2020）构造的空间簇，并将$9n$的边数上界改进为$5.5n$ . (II)利用一种新的构造方法，证明了每个$n$ -顶点单位圆盘图都有一个至多含$11n$条边的$3$-跳图. (III)每个$n$ -顶点单位圆盘图都有一个$2$ -跳图，它的边是$O(n\log n)$.这是$2$ -hop spatial的第一个非平凡构造。(IV)对于每个足够大的正整数$n$，在圆上存在$n$点的集合$P$，使得$P$上的每个平面跳数具有至少$4$的跳伸展因子。以前，没有下限大于$2$已知。(V)对于圆上的每个有限点集，存在一个平面（即，无交叉）$4$ -跳脱。因此，这为圆上的点提供了紧边界。(VI)对于任何正整数$k$，$k$ -跳频的最大度不能由$k$的函数从上面限定。

2021-02-05cs.CG

对度有界边故障具有弹性的度量与几何稀疏生成子图

Metric and Geometric Spanners that are Resilient to Degree-Bounded Edge Faults

本文研究在最大度有界边故障下仍能保持低拉伸因子的稀疏生成子图，针对一般度量空间、良分离对分解度量空间及欧氏空间点集，分别给出了边数为 $O(fm)$、$O(f^2 n)$ 和 $O(fn)$ 的弹性构造。

2025-08-28cs.CG

将图形绘制为扳手

Drawing Graphs as Spanners

本文研究了图在平面上的嵌入问题，把它看作是一个好的几何空间。也就是说，对于图$G$，目标是在平面中构造$G$的直线绘图$Γ$，使得对于$G$的任何两个顶点$u$和$v$，从$u$到$v$的任何路径的最小长度与$u$和$v$之间的欧几里得距离之间的比率小。在$G$的所有顶点对上的最大这样的比率是$Γ$的生成比率。首先，我们表明，决定是否允许一个图的直线图的生成比$1$，一个适当的直线图的生成比$1$，和一个平面的直线图的生成比$1$是NP-完全，$\exists \mathbb R$ -完全，线性时间可解的问题，分别是，如果没有两个顶点重叠，没有边重叠的顶点，绘图是适当的。其次，我们表明，从生成比$1$到生成比$1+ε$，我们可以绘制每个图。也就是说，我们证明了，对于每一个$ε>0$，每一个（平面）图允许一个适当的（分别）。平面）直线图，跨度比小于$1+ε$。第三，跨度比小于$1+ε$的图具有大的边长比，即最长边的长度与最短边的长度之比是指数的。我们表明，这有时是不可避免的。更一般地说，我们确定有界韧性的标准，区分图表，承认直线图纸与常数跨度比和多项式边长比的图表，需要指数边长比在任何直线图纸与常数跨度比。

2020-02-13cs.CGcs.DMcs.DS