-
Computing skeletons for rectilinearly-convex obstacles in the rectilinear plane
Authors:
Marcus Volz,
Marcus Brazil,
Charl Ras,
Doreen Thomas
Abstract:
We introduce the concept of an obstacle skeleton which is a set of line segments inside a polygonal obstacle $ω$ that can be used in place of $ω$ when performing intersection tests for obstacle-avoiding network problems in the plane. A skeleton can have significantly fewer line segments compared to the number of line segments in the boundary of the original obstacle, and therefore performing inter…
▽ More
We introduce the concept of an obstacle skeleton which is a set of line segments inside a polygonal obstacle $ω$ that can be used in place of $ω$ when performing intersection tests for obstacle-avoiding network problems in the plane. A skeleton can have significantly fewer line segments compared to the number of line segments in the boundary of the original obstacle, and therefore performing intersection tests on a skeleton (rather than the original obstacle) can significantly reduce the CPU time required by algorithms for computing solutions to obstacle-avoidance problems. A minimum skeleton is a skeleton with the smallest possible number of line segments. We provide an exact $O(n^2)$ algorithm for computing minimum skeletons for rectilinear obstacles in the rectilinear plane that are rectilinearly-convex. We show that the number of edges in a minimum skeleton is generally very small compared to the number of edges in the boundary of the original obstacle, by performing experiments on random rectilinearly-convex obstacles with up to 1000 vertices.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Overlaid oriented Voronoi diagrams and the 1-Steiner tree problem
Authors:
Michael S. Payne,
Charl Ras,
Marcus Volz
Abstract:
Overlaid oriented Voronoi diagrams (OOVDs) are known to provide useful data for the construction of optimal Euclidean $1$-Steiner trees. The theoretical time complexity of construction methods exploiting the OOVD is $O(n^2)$, but a computational study has never been performed, and robust constructions for OOVDs have not previously been implemented.
In this paper, we outline a numerically stable…
▽ More
Overlaid oriented Voronoi diagrams (OOVDs) are known to provide useful data for the construction of optimal Euclidean $1$-Steiner trees. The theoretical time complexity of construction methods exploiting the OOVD is $O(n^2)$, but a computational study has never been performed, and robust constructions for OOVDs have not previously been implemented.
In this paper, we outline a numerically stable implementation for constructing OOVDs using tools from the Computational Geometry Algorithms Library (CGAL), and test its performance on random point sets. We then study the effect that the OOVD data has in reducing the complexity of $1$-Steiner tree construction when compared to a naive approach. The number of iterations of the main loop of the 1-Steiner algorithm is directly determined by the number of faces in the OOVD, and this appears to be linear for the random inputs we tested. We also discuss methods for processing the OOVD data that lead to a reduction in construction time by roughly a factor of 12.
△ Less
Submitted 16 February, 2020;
originally announced February 2020.
-
The $2$-connected bottleneck Steiner network problem is NP-hard in any $\ell_p$ plane
Authors:
M Brazil,
C Ras,
D Thomas,
G Xu
Abstract:
Bottleneck Steiner networks model energy consumption in wireless ad-hoc networks. The task is to design a network spanning a given set of terminals and at most $k$ Steiner points such that the length of the longest edge is minimised. The problem has been extensively studied for the case where an optimal solution is a tree in the Euclidean plane. However, in order to model a wider range of applicat…
▽ More
Bottleneck Steiner networks model energy consumption in wireless ad-hoc networks. The task is to design a network spanning a given set of terminals and at most $k$ Steiner points such that the length of the longest edge is minimised. The problem has been extensively studied for the case where an optimal solution is a tree in the Euclidean plane. However, in order to model a wider range of applications, including fault-tolerant networks, it is necessary to consider multi-connectivity constraints for networks embedded in more general metrics. We show that the $2$-connected bottleneck Steiner network problem is NP-hard in any planar $p$-norm and, in fact, if P$\,\neq\,$NP then an optimal solution cannot be approximated to within a ratio of ${2}^\frac{1}{p}-ε$ in polynomial time for any $ε>0$ and $1\leq p< \infty$.
△ Less
Submitted 8 July, 2019;
originally announced July 2019.
-
Degree Bounded Bottleneck Spanning Trees in Three Dimensions
Authors:
Patrick J. Andersen,
Charl J. Ras
Abstract:
The geometric $δ$-minimum spanning tree problem ($δ$-MST) is the problem of finding a minimum spanning tree for a set of points in a normed vector space, such that no vertex in the tree has a degree which exceeds $δ$, and the sum of the lengths of the edges in the tree is minimum. The similarly defined geometric $δ$-minimum bottleneck spanning tree problem ($δ$-MBST), is the problem of finding a d…
▽ More
The geometric $δ$-minimum spanning tree problem ($δ$-MST) is the problem of finding a minimum spanning tree for a set of points in a normed vector space, such that no vertex in the tree has a degree which exceeds $δ$, and the sum of the lengths of the edges in the tree is minimum. The similarly defined geometric $δ$-minimum bottleneck spanning tree problem ($δ$-MBST), is the problem of finding a degree bounded spanning tree such that the length of the longest edge is minimum. For point sets that lie in the Euclidean plane, both of these problems have been shown to be NP-hard for certain specific values of $δ$. In this paper, we investigate the $δ$-MBST problem in $3$-dimensional Euclidean space and $3$-dimensional rectilinear space. We show that the problems are NP-hard for certain values of $δ$, and we provide inapproximability results for these cases. We also describe new approximation algorithms for solving these $3$-dimensional variants, and then analyse their worst-case performance.
△ Less
Submitted 25 January, 2019; v1 submitted 28 December, 2018;
originally announced December 2018.
-
Algorithms for Euclidean Degree Bounded Spanning Tree Problems
Authors:
Patrick J. Andersen,
Charl J. Ras
Abstract:
Given a set of points in the Euclidean plane, the Euclidean \textit{$δ$-minimum spanning tree} ($δ$-MST) problem is the problem of finding a spanning tree with maximum degree no more than $δ$ for the set of points such the sum of the total length of its edges is minimum. Similarly, the Euclidean \textit{$δ$-minimum bottleneck spanning tree} ($δ$-MBST) problem, is the problem of finding a degree-bo…
▽ More
Given a set of points in the Euclidean plane, the Euclidean \textit{$δ$-minimum spanning tree} ($δ$-MST) problem is the problem of finding a spanning tree with maximum degree no more than $δ$ for the set of points such the sum of the total length of its edges is minimum. Similarly, the Euclidean \textit{$δ$-minimum bottleneck spanning tree} ($δ$-MBST) problem, is the problem of finding a degree-bounded spanning tree for a set of points in the plane such that the length of the longest edge is minimum. When $δ\leq 4$, these two problems may yield disjoint sets of optimal solutions for the same set of points. In this paper, we perform computational experiments to compare the accuracies of a variety of heuristic and approximation algorithms for both these problems. We develop heuristics for these problems and compare them with existing algorithms. We also describe a new type of edge swap algorithm for these problems that outperforms all the algorithms we tested.
△ Less
Submitted 25 September, 2018;
originally announced September 2018.
-
Unsupervised Basis Function Adaptation for Reinforcement Learning
Authors:
Edward Barker,
Charl Ras
Abstract:
When using reinforcement learning (RL) algorithms it is common, given a large state space, to introduce some form of approximation architecture for the value function (VF). The exact form of this architecture can have a significant effect on an agent's performance, however, and determining a suitable approximation architecture can often be a highly complex task. Consequently there is currently int…
▽ More
When using reinforcement learning (RL) algorithms it is common, given a large state space, to introduce some form of approximation architecture for the value function (VF). The exact form of this architecture can have a significant effect on an agent's performance, however, and determining a suitable approximation architecture can often be a highly complex task. Consequently there is currently interest among researchers in the potential for allowing RL algorithms to adaptively generate (i.e. to learn) approximation architectures. One relatively unexplored method of adapting approximation architectures involves using feedback regarding the frequency with which an agent has visited certain states to guide which areas of the state space to approximate with greater detail. In this article we will: (a) informally discuss the potential advantages offered by such methods; (b) introduce a new algorithm based on such methods which adapts a state aggregation approximation architecture on-line and is designed for use in conjunction with SARSA; (c) provide theoretical results, in a policy evaluation setting, regarding this particular algorithm's complexity, convergence properties and potential to reduce VF error; and finally (d) test experimentally the extent to which this algorithm can improve performance given a number of different test problems. Taken together our results suggest that our algorithm (and potentially such methods more generally) can provide a versatile and computationally lightweight means of significantly boosting RL performance given suitable conditions which are commonly encountered in practice.
△ Less
Submitted 16 February, 2019; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Unsupervised Basis Function Adaptation for Reinforcement Learning
Authors:
Edward W. Barker,
Charl J. Ras
Abstract:
When using reinforcement learning (RL) algorithms to evaluate a policy it is common, given a large state space, to introduce some form of approximation architecture for the value function (VF). The exact form of this architecture can have a significant effect on the accuracy of the VF estimate, however, and determining a suitable approximation architecture can often be a highly complex task. Conse…
▽ More
When using reinforcement learning (RL) algorithms to evaluate a policy it is common, given a large state space, to introduce some form of approximation architecture for the value function (VF). The exact form of this architecture can have a significant effect on the accuracy of the VF estimate, however, and determining a suitable approximation architecture can often be a highly complex task. Consequently there is a large amount of interest in the potential for allowing RL algorithms to adaptively generate approximation architectures.
We investigate a method of adapting approximation architectures which uses feedback regarding the frequency with which an agent has visited certain states to guide which areas of the state space to approximate with greater detail. This method is "unsupervised" in the sense that it makes no direct reference to reward or the VF estimate. We introduce an algorithm based upon this idea which adapts a state aggregation approximation architecture on-line.
A common method of scoring a VF estimate is to weight the squared Bellman error of each state-action by the probability of that state-action occurring. Adopting this scoring method, and assuming $S$ states, we demonstrate theoretically that - provided (1) the number of cells $X$ in the state aggregation architecture is of order $\sqrt{S}\log_2{S}\ln{S}$ or greater, (2) the policy and transition function are close to deterministic, and (3) the prior for the transition function is uniformly distributed - our algorithm, used in conjunction with a suitable RL algorithm, can guarantee a score which is arbitrarily close to zero as $S$ becomes large. It is able to do this despite having only $O(X \log_2S)$ space complexity and negligible time complexity. The results take advantage of certain properties of the stationary distributions of Markov chains.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
Approximating Minimum Steiner Point Trees in Minkowski Planes
Authors:
M. Brazil,
C. J. Ras,
D. A. Thomas
Abstract:
Given a set of points, we define a minimum Steiner point tree to be a tree interconnecting these points and possibly some additional points such that the length of every edge is at most 1 and the number of additional points is minimized. We propose using Steiner minimal trees to approximate minimum Steiner point trees. It is shown that in arbitrary metric spaces this gives a performance difference…
▽ More
Given a set of points, we define a minimum Steiner point tree to be a tree interconnecting these points and possibly some additional points such that the length of every edge is at most 1 and the number of additional points is minimized. We propose using Steiner minimal trees to approximate minimum Steiner point trees. It is shown that in arbitrary metric spaces this gives a performance difference of at most $2n-4$, where $n$ is the number of terminals. We show that this difference is best possible in the Euclidean plane, but not in Minkowski planes with parallelogram unit balls. We also introduce a new canonical form for minimum Steiner point trees in the Euclidean plane; this demonstrates that minimum Steiner point trees are shortest total length trees with a certain discrete-edge-length condition.
△ Less
Submitted 11 July, 2013;
originally announced July 2013.
-
Relay Augmentation for Lifetime Extension of Wireless Sensor Networks
Authors:
Marcus Brazil,
Charl Ras,
Doreen Thomas
Abstract:
We propose a novel relay augmentation strategy for extending the lifetime of a certain class of wireless sensor networks. In this class sensors are located at fixed and pre-determined positions and all communication takes place via multi-hop paths in a fixed routing tree rooted at the base station. It is assumed that no accumulation of data takes place along the communication paths and that there…
▽ More
We propose a novel relay augmentation strategy for extending the lifetime of a certain class of wireless sensor networks. In this class sensors are located at fixed and pre-determined positions and all communication takes place via multi-hop paths in a fixed routing tree rooted at the base station. It is assumed that no accumulation of data takes place along the communication paths and that there is no restriction on where additional relays may be located. Under these assumptions the optimal extension of network lifetime is modelled as the Euclidean $k$-bottleneck Steiner tree problem. Only two approximation algorithms for this NP-hard problem exist in the literature: a minimum spanning tree heuristic (MSTH) with performance ratio 2, and a probabilistic 3-regular hypergraph heuristic (3RHH) with performance ratio $\sqrt{3}+ε$. We present a new iterative heuristic that incorporates MSTH and show via simulation that our algorithm performs better than MSTH in extending lifetime, and outperforms 3RHH in terms of efficiency.
△ Less
Submitted 20 January, 2013;
originally announced January 2013.
-
A Flow-dependent Quadratic Steiner Tree Problem in the Euclidean Plane
Authors:
Marcus Brazil,
Charl Ras,
Doreen Thomas
Abstract:
We introduce a flow-dependent version of the quadratic Steiner tree problem in the plane. An instance of the problem on a set of embedded sources and a sink asks for a directed tree $T$ spanning these nodes and a bounded number of Steiner points, such that $\displaystyle\sum_{e \in E(T)}f(e)|e|^2$ is a minimum, where $f(e)$ is the flow on edge $e$. The edges are uncapacitated and the flows are det…
▽ More
We introduce a flow-dependent version of the quadratic Steiner tree problem in the plane. An instance of the problem on a set of embedded sources and a sink asks for a directed tree $T$ spanning these nodes and a bounded number of Steiner points, such that $\displaystyle\sum_{e \in E(T)}f(e)|e|^2$ is a minimum, where $f(e)$ is the flow on edge $e$. The edges are uncapacitated and the flows are determined additively, i.e., the flow on an edge leaving a node $u$ will be the sum of the flows on all edges entering $u$. Our motivation for studying this problem is its utility as a model for relay augmentation of wireless sensor networks. In these scenarios one seeks to optimise power consumption -- which is predominantly due to communication and, in free space, is proportional to the square of transmission distance -- in the network by introducing additional relays. We prove several geometric and combinatorial results on the structure of optimal and locally optimal solution-trees (under various strategies for bounding the number of Steiner points) and describe a geometric linear-time algorithm for constructing such trees with known topologies.
△ Less
Submitted 9 November, 2011;
originally announced November 2011.
-
An exact algorithm for the bottleneck 2-connected $k$-Steiner network problem in $L_p$ planes
Authors:
Marcus Brazil,
Charl Ras,
Doreen Thomas
Abstract:
We present the first exact polynomial time algorithm for constructing optimal geometric bottleneck 2-connected Steiner networks containing at most $k$ Steiner points, where $k>2$ is a constant. Given a set of $n$ vertices embedded in an $L_p$ plane, the objective of the problem is to find a 2-connected network, spanning the given vertices and at most $k$ additional vertices, such that the length o…
▽ More
We present the first exact polynomial time algorithm for constructing optimal geometric bottleneck 2-connected Steiner networks containing at most $k$ Steiner points, where $k>2$ is a constant. Given a set of $n$ vertices embedded in an $L_p$ plane, the objective of the problem is to find a 2-connected network, spanning the given vertices and at most $k$ additional vertices, such that the length of the longest edge is minimised. In contrast to the discrete version of this problem the additional vertices may be located anywhere in the plane. The problem is motivated by the modelling of relay-augmentation for the optimisation of energy consumption in wireless ad hoc networks. Our algorithm employs Voronoi diagrams and properties of block-cut-vertex decompositions of graphs to find an optimal solution in $O(n^k\log^{\frac{5k}{2}}n)$ steps when $1<p<\infty$ and in $O(n^2\log^{\frac{7k}{2}+1}n)$ steps when $p\in\{1,\infty\}$.
△ Less
Submitted 21 October, 2013; v1 submitted 9 November, 2011;
originally announced November 2011.
-
Generalised k-Steiner Tree Problems in Normed Planes
Authors:
Marcus N. Brazil,
Charl J. Ras,
Konrad J. Swanepoel,
Doreen A. Thomas
Abstract:
The 1-Steiner tree problem, the problem of constructing a Steiner minimum tree containing at most one Steiner point, has been solved in the Euclidean plane by Georgakopoulos and Papadimitriou using plane subdivisions called oriented Dirichlet cell partitions. Their algorithm produces an optimal solution within $O(n^2)$ time. In this paper we generalise their approach in order to solve the $k$-Stei…
▽ More
The 1-Steiner tree problem, the problem of constructing a Steiner minimum tree containing at most one Steiner point, has been solved in the Euclidean plane by Georgakopoulos and Papadimitriou using plane subdivisions called oriented Dirichlet cell partitions. Their algorithm produces an optimal solution within $O(n^2)$ time. In this paper we generalise their approach in order to solve the $k$-Steiner tree problem, in which the Steiner minimum tree may contain up to $k$ Steiner points for a given constant $k$. We also extend their approach further to encompass other normed planes, and to solve a much wider class of problems, including the $k$-bottleneck Steiner tree problem and other generalised $k$-Steiner tree problems. We show that, for any fixed $k$, such problems can be solved in $O(n^{2k})$ time.
△ Less
Submitted 22 June, 2013; v1 submitted 6 November, 2011;
originally announced November 2011.
-
The bottleneck 2-connected $k$-Steiner network problem for $k\leq 2$
Authors:
M. Brazil,
C. J. Ras,
D. A. Thomas
Abstract:
The geometric bottleneck Steiner network problem on a set of vertices $X$ embedded in a normed plane requires one to construct a graph $G$ spanning $X$ and a variable set of $k\geq 0$ additional points, such that the length of the longest edge is minimised. If no other constraints are placed on $G$ then a solution always exists which is a tree. In this paper we consider the Euclidean bottleneck St…
▽ More
The geometric bottleneck Steiner network problem on a set of vertices $X$ embedded in a normed plane requires one to construct a graph $G$ spanning $X$ and a variable set of $k\geq 0$ additional points, such that the length of the longest edge is minimised. If no other constraints are placed on $G$ then a solution always exists which is a tree. In this paper we consider the Euclidean bottleneck Steiner network problem for $k\leq 2$, where $G$ is constrained to be 2-connected. By taking advantage of relative neighbourhood graphs, Voronoi diagrams, and the tree structure of block cut-vertex decompositions of graphs, we produce exact algorithms of complexity $O(n^2)$ and $O(n^2\log n)$ for the cases $k=1$ and $k=2$ respectively. Our algorithms can also be extended to other norms such as the $L_p$ planes.
△ Less
Submitted 18 August, 2011;
originally announced August 2011.
