当前位置: 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.)
Euclidean minimum spanning trees with independent and dependent geometric uncertainties
Computational Geometry ( IF 0.6 ) Pub Date : 2021-01-06 , DOI: 10.1016/j.comgeo.2020.101744
Rivka Gitik , Or Bartal , Leo Joskowicz

We address the problems of constructing the Euclidean Minimum Spanning Tree (EMST) of points in the plane with mutually dependent location uncertainties, testing its stability, and computing its total weight. Point coordinate uncertainties are modeled with the Linear Parametric Geometric Uncertainty Model (LPGUM), an expressive and computationally efficient worst-case, first order linear approximation of geometric uncertainty that supports parametric dependencies between point locations. We define uncertain EMST stability of n LPGUM points modeled with k real valued uncertainty parameters. We prove that when the uncertain EMST is unstable, it may have an exponential number of topologically different instances, thus precluding its polynomial-time computation. We present algorithms for comparing two edge weights defined by the distance between the edge endpoints for the independent and dependent cases with time complexity of O(klogk) and O(T(k)) respectively, where T(k) is the time required to solve a quadratic optimization problem with k parameters. We describe an uncertain EMST stability test algorithm whose time complexity is O(n3klogk) and O(nk+T(k)) for the independent and dependent case, respectively. We then present a more efficient O(nklognklogn) time algorithm for the independent case and a method for computing the minimum and maximum total weight whose complexity is O(N3) time, where N=max{k,n}.



中文翻译:

具有几何独立性和相依性的欧式最小生成树

我们解决了以下问题:在具有相互依赖的位置不确定性的平面上构造点的欧几里得最小生成树(EMST),测试其稳定性并计算其总权重。点坐标不确定性使用线性参数几何不确定性模型(LPGUM)建模,该模型是表达性和计算效率最差的几何不确定性一阶线性逼近,支持点位置之间的参数依赖性。我们定义了用k建模的n个LPGUM点的不确定EMST稳定性实值不确定性参数。我们证明,当不确定的EMST不稳定时,它可能具有指数数量的拓扑不同实例,从而排除了其多项式时间计算。我们提出了用于比较两个边缘权重的算法,这些权重由独立案例和从属案例的边缘端点之间的距离定义,时间复杂度为Øķ日志ķØŤķ 分别在哪里 Ťķ是解决具有k个参数的二次优化问题所需的时间。我们描述了一种不确定的EMST稳定性测试算法,其时间复杂度为Øñ3ķ日志ķØñķ+Ťķ分别针对独立案件和依存案件。然后我们提出一个更有效的Øñķ日志ñķ日志ñ 独立案例的时间算法和计算最小和最大总权重的方法,其复杂度为 Øñ3 时间,地点 ñ=最高{ķñ}

更新日期:2021-01-13
down
wechat
bug