Algorithms for the power-p Steiner tree problem in the Euclidean plane

We study the problem of constructing minimum power-$p$ Euclidean $k$-Steiner trees in the plane. The problem is to find a tree of minimum cost spanning a set of given terminals where, as opposed to the minimum spanning tree problem, at most $k$ additional nodes (Steiner points) may be introduced anywhere in the plane. The cost of an edge is its length to the power of $p$ (where $p\geq 1$), and the cost of a network is the sum of all edge costs. We propose two heuristics: a ``beaded" minimum spanning tree heuristic; and a heuristic which alternates between minimum spanning tree construction and a local fixed topology minimisation procedure for locating the Steiner points. We show that the performance ratio $\kappa$ of the beaded-MST heuristic satisfies $\sqrt{3}^{p-1}(1+2^{1-p})\leq \kappa\leq 3(2^{p-1})$. We then provide two mixed-integer nonlinear programming formulations for the problem, and extend several important geometric properties into valid inequalities. Finally, we combine the valid inequalities with warm-starting and preprocessing to obtain computational improvements for the $p=2$ case

Analysis of Linear Programming Relaxations for a Class of Connectivity Problems

We consider the analysis of linear programming (LP) relaxations for a class of connectivity problems. The central problem in the class is the survivable network design problem - the problem of designing a minimum cost undirected network satisfying prespecified connectivity requirements between every pair of vertices. This class includes a number of classical combinatorial optimization problems as special cases such as the Steiner tree problem, the traveling salesman problem, the k-person traveling salesman problem and the k-edge-connected network problem. We analyze a classical linear programming relaxation for this class of problems under three perspectives: structural, worst-case and probabilistic. Our analysis rests mainly upon a deep structural property, the parsimonious property, of this LP relaxation. Roughly stated, the parsimonious property says that, if the cost function satisfies the triangle inequality, there exists an optimal solution to the LP relaxation for which the degree of each vertex is the smallest it can possibly be. The numerous consequences of the parsimonious property make it particularly important. First, several special cases of the parsimonious property are interesting properties by themselves. For example, we derive the monotonicity of the Held-Karp lower bound for the traveling salesman problem and the fact that this bound is a relaxation on the 2-connected network problem. Another consequence is the fact that vertices with no connectivity requirement, such as Steiner vertices in the undirected Steiner tree problem, are unnecessary for the LP relaxation under consideration. From the parsimonious property, it also follows that the LP relaxation bounds corresponding to the Steiner tree problem, the kedge-connected network problem or even the Steiner k-edge-connected network problem can be computed a la Held and Karp.Secondly, we use the parsimonious property to perform worst-case analyses of the duality gap corresponding to these LP relaxations. For this purpose, we introduce two heuristics for the survivable network design problem and present bounds dependent on the actual connectivity requirements. Among other results, we show that the value of the LP relaxation of the Steiner tree problem is within twice the value of the minimum spanning tree heuristic and that several generalizations of the Steiner tree problem, including the k-edge-connected network problem, can also be approximated within a factor of 2 (in some cases, even smaller than 2). We also introduce a new relaxation a la Held and Karp for the k-person traveling salesman problem and show that a variation of an existing heuristic is within times the value of this relaxation. We show that most of our bounds are tight and we investigate whether the bound of 3 for the Held-Karp lower bound is tight.We also perform a probabilistic analysis of the duality gap of these LP relaxations. The model we consider is the Euclidean model. We generalize Steele's theorem on the asymptotic behavior of Euclidean functionals in a way that is particularly convenient for the analysis of LP relaxations. We show that, under the Euclidean model, the duality gap is almost surely a constant and we provide theoretical and empirical bounds on these constants for different problems. From this analysis, we conclude that the undirected LP relaxation for the Steiner tree problem is fairly loose. Finally, we consider the use of directed relaxations for undirected problems. We establish in which settings a related parsimonious property holds and show that, for the Steiner tree problem, the directed relaxation strictly improves upon the undirected relaxation in the worst-case. This latter result uses an elementary but powerful property of linear programs

The Unreasonable Success of Local Search: Geometric Optimization

What is the effectiveness of local search algorithms for geometric problems in the plane? We prove that local search with neighborhoods of magnitude $1/\epsilon^c$ is an approximation scheme for the following problems in the Euclidian plane: TSP with random inputs, Steiner tree with random inputs, facility location (with worst case inputs), and bicriteria $k$-median (also with worst case inputs). The randomness assumption is necessary for TSP

Computational Geometry Column 42

A compendium of thirty previously published open problems in computational geometry is presented.Comment: 7 pages; 72 reference

Variable neighbourhood search for the minimum labelling Steiner tree problem

We present a study on heuristic solution approaches to the minimum labelling Steiner tree problem, an NP-hard graph problem related to the minimum labelling spanning tree problem. Given an undirected labelled connected graph, the aim is to find a spanning tree covering a given subset of nodes of the graph, whose edges have the smallest number of distinct labels. Such a model may be used to represent many real world problems in telecommunications and multimodal transportation networks. Several metaheuristics are proposed and evaluated. The approaches are compared to the widely adopted Pilot Method and it is shown that the Variable Neighbourhood Search that we propose is the most effective metaheuristic for the problem, obtaining high quality solutions in short computational running time