-
Identification of Active Subfunctions in Finite-Max Minimisation via a Smooth Reformulation
Authors:
Charl Ras,
Matthew Tam,
Daniel Uteda
Abstract:
In this work, we consider a nonsmooth minimisation problem in which the objective function can be represented as the maximum of finitely many smooth ``subfunctions''. First, we study a smooth min-max reformulation of the problem. Due to this smoothness, the model provides enhanced capability of exploiting the structure of the problem, when compared to methods that attempt to tackle the nonsmooth p…
▽ More
In this work, we consider a nonsmooth minimisation problem in which the objective function can be represented as the maximum of finitely many smooth ``subfunctions''. First, we study a smooth min-max reformulation of the problem. Due to this smoothness, the model provides enhanced capability of exploiting the structure of the problem, when compared to methods that attempt to tackle the nonsmooth problem directly. Then, we present several approaches to identify the set of active subfunctions at a minimiser, all within finitely many iterations of a first order method for solving the smooth model. As is well known, the problem can be equivalently rewritten in terms of these subfunctions, but a key challenge is to identify this set \textit{a priori}. Such an identification is clearly beneficial in an algorithmic sense, since one can apply this knowledge to create an equivalent problem with lower complexity, thus facilitating generally faster convergence. Finally, numerical results comparing the accuracy of each of these approaches are presented, along with the effect they have on reducing the complexity of the original problem.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
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.
-
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.
-
Approximate Euclidean Steiner Trees
Authors:
Charl Ras,
Konrad J. Swanepoel,
Doreen Thomas
Abstract:
An approximate Steiner tree is a Steiner tree on a given set of terminals in Euclidean space such that the angles at the Steiner points are within a specified error e from 120 degrees.This notion arises in numerical approximations of minimum Steiner trees (W. D. Smith, Algorithmica, 7 (1992), 137--177). We investigate the worst-case relative error of the length of an approximate Steiner tree compa…
▽ More
An approximate Steiner tree is a Steiner tree on a given set of terminals in Euclidean space such that the angles at the Steiner points are within a specified error e from 120 degrees.This notion arises in numerical approximations of minimum Steiner trees (W. D. Smith, Algorithmica, 7 (1992), 137--177). We investigate the worst-case relative error of the length of an approximate Steiner tree compared to the shortest tree with the same topology.Rubinstein, Weng and Wormald (J. Global Optim. 35 (2006), 573--592) conjectured that this relative error is at most linear in $e$, independent of the number of terminals. We verify their conjecture for the two-dimensional case as long as the error $e$ is sufficiently small in terms of the number of terminals. We derive a lower bound linear in $e$ for the relative error in the two-dimensional case when $e$ is sufficiently small in terms of the number of terminals. We find improved estimates of the relative error for larger values of $e$, and calculate exact values in the plane for three and four terminals.
△ Less
Submitted 14 November, 2016; v1 submitted 4 May, 2016;
originally announced May 2016.
-
An algorithm for finding Hamiltonian Cycles in Cubic Planar Graphs
Authors:
Bohao Yao,
Charl Ras,
Hamid Mokhtar
Abstract:
We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding Hamiltonian cycles in cubic planar graphs. The worst case time complexity of our algorithm is O$(2^n)$.
We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding Hamiltonian cycles in cubic planar graphs. The worst case time complexity of our algorithm is O$(2^n)$.
△ Less
Submitted 4 December, 2015;
originally announced December 2015.
-
Distance labellings of Cayley graphs of semigroups
Authors:
Andrei Kelarev,
Charl Ras,
Sanming Zhou
Abstract:
This paper establishes connections between the structure of a semigroup and the minimum spans of distance labellings of its Cayley graphs. We show that certain general restrictions on the minimum spans are equivalent to the semigroup being combinatorial, and that other restrictions are equivalent to the semigroup being a right zero band. We obtain a description of the structure of all semigroups…
▽ More
This paper establishes connections between the structure of a semigroup and the minimum spans of distance labellings of its Cayley graphs. We show that certain general restrictions on the minimum spans are equivalent to the semigroup being combinatorial, and that other restrictions are equivalent to the semigroup being a right zero band. We obtain a description of the structure of all semigroups $S$ and their subsets $C$ such that $\Cay(S,C)$ is a disjoint union of complete graphs, and show that this description is also equivalent to several restrictions on the minimum span of $\Cay(S,C)$. We then describe all graphs with minimum spans satisfying the same restrictions, and give examples to show that a fairly straightforward upper bound for the minimum spans of the underlying undirected graphs of Cayley graphs turns out to be sharp even for the class of combinatorial semigroups.
△ Less
Submitted 2 September, 2015;
originally announced September 2015.
-
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.
-
A geometric characterisation of the quadratic min-power centre
Authors:
M. Brazil,
C. J. Ras,
D. A. Thomas
Abstract:
For a given set of nodes in the plane the min-power centre is a point such that the cost of the star centred at this point and spanning all nodes is minimised. The cost of the star is defined as the sum of the costs of its nodes, where the cost of a node is an increasing function of the length of its longest incident edge. The min-power centre problem provides a model for optimally locating a clus…
▽ More
For a given set of nodes in the plane the min-power centre is a point such that the cost of the star centred at this point and spanning all nodes is minimised. The cost of the star is defined as the sum of the costs of its nodes, where the cost of a node is an increasing function of the length of its longest incident edge. The min-power centre problem provides a model for optimally locating a cluster-head amongst a set of radio transmitters, however, the problem can also be formulated within a bicriteria location model involving the 1-centre and a generalized Fermat-Weber point, making it suitable for a variety of facility location problems. We use farthest point Voronoi diagrams and Delaunay triangulations to provide a complete geometric description of the min-power centre of a finite set of nodes in the Euclidean plane when cost is a quadratic function. This leads to a new linear-time algorithm for its construction when the convex hull of the nodes is given. We also provide an upper bound for the performance of the centroid as an approximation to the quadratic min-power centre. Finally, we briefly describe the relationship between solutions under quadratic cost and solutions under more general cost functions.
△ Less
Submitted 4 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.
-
The Gilbert Arborescence Problem
Authors:
M. G. Volz,
M. Brazil,
C. J. Ras,
K. J. Swanepoel,
D. A. Thomas
Abstract:
We investigate the problem of designing a minimum cost flow network interconnecting n sources and a single sink, each with known locations in a normed space and with associated flow demands. The network may contain any finite number of additional unprescribed nodes from the space; these are known as the Steiner points. For concave increasing cost functions, a minimum cost network of this sort has…
▽ More
We investigate the problem of designing a minimum cost flow network interconnecting n sources and a single sink, each with known locations in a normed space and with associated flow demands. The network may contain any finite number of additional unprescribed nodes from the space; these are known as the Steiner points. For concave increasing cost functions, a minimum cost network of this sort has a tree topology, and hence can be called a Minimum Gilbert Arborescence (MGA). We characterise the local topological structure of Steiner points in MGAs, showing, in particular, that for a wide range of metrics, and for some typical real-world cost-functions, the degree of each Steiner point is 3.
△ Less
Submitted 4 April, 2012; v1 submitted 23 September, 2009;
originally announced September 2009.
