当前位置: X-MOL 学术Comput. Geom. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On algorithmic complexity of imprecise spanners
Computational Geometry ( IF 0.6 ) Pub Date : 2023-08-16 , DOI: 10.1016/j.comgeo.2023.102051
Abolfazl Poureidi , Mohammad Farshi

Let t>1 be a real number. A geometric t-spanner is a geometric graph for a point set in Rd with straight line segments between vertices such that the ratio of the shortest-path distance between every pair of vertices in the graph (with Euclidean edge lengths) to their actual Euclidean distance is at most t.

An imprecise point set is modeled by a set R of regions in Rd. If one chooses a point inside each region of R, then the resulting point set is called a precise instance from R. An imprecise t-spanner for an imprecise point set R is a graph G=(R,E) such that for each precise instance S from R, graph GS=(S,ES), where ES is the set of edges corresponding to E and S, is a t-spanner.

In this paper, we show an imprecise point set R of n straight-line segments in the plane such that any imprecise t-spanner for R has Ω(n2) edges. Then, we give an algorithm that computes an imprecise t-spanner for a set of n pairwise disjoint d-dimensional balls with arbitrary sizes. This imprecise t-spanner has O(n/(t1)d) edges and can be computed in O(nlogn/(t1)d) time. Finally, we show that given an imprecise spanner, finding a precise instance such that its corresponding precise spanner has minimum dilation between all possible precise instances of the imprecise spanner is NP-hard, no matter if crossing edges are allowed or not.



中文翻译:

关于不精确扳手的算法复杂性

t>1是一个实数。几何t形扳手是一个点集的几何图形d顶点之间有直线段,使得图中每对顶点之间的最短路径距离(具有欧几里德边长度)与其实际欧几里德距离的比率至多为t

不精确的点集由区域集R建模d如果选择R的每个区域内的一个点,则生成的点集称为R的精确实例。不精确点集R的不精确t扳手是一个图G=,这样对于R中的每个精确实例S,图GS=S,S, 在哪里S是对应于ES的边集,是一个t扳手。

在本文中,我们展示了平面中n条直线段的不精确点集R ,使得R的任何不精确t跨度都有Ωn2边缘。然后,我们给出一种算法,为一组n 个任意大小的两两不相交的d维球计算不精确的t跨度。这种不精确的T形扳手有n/t-1d边并且可以计算为n日志n/t-1d时间。最后,我们表明,给定一个不精确扳手,找到一个精确实例,使其相应的精确扳手在不精确扳手的所有可能精确实例之间具有最小膨胀是 NP 困难的,无论是否允许交叉边缘。

更新日期:2023-08-16
down
wechat
bug