About this Journal Submit a Manuscript Table of Contents
Advances in Operations Research
Volume 2011 (2011), Article ID 143732, 38 pages
http://dx.doi.org/10.1155/2011/143732
Research Article

Solving the Minimum Label Spanning Tree Problem by Mathematical Programming Techniques

Institute of Computer Graphics and Algorithms, Vienna University of Technology, 1040 Vienna, Austria

Received 20 November 2010; Accepted 5 March 2011

Academic Editor: I. L. Averbakh

Copyright © 2011 Andreas M. Chwatal and Günther R. Raidl. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We present exact mixed integer programming approaches including branch-and-cut and branch-and-cut-and-price for the minimum label spanning tree problem as well as a variant of it having multiple labels assigned to each edge. We compare formulations based on network flows and directed connectivity cuts. Further, we show how to use odd-hole inequalities and additional inequalities to strengthen the formulation. Label variables can be added dynamically to the model in the pricing step. Primal heuristics are incorporated into the framework to speed up the overall solution process. After a polyhedral comparison of the involved formulations, comprehensive computational experiments are presented in order to compare and evaluate the underlying formulations and the particular algorithmic building blocks of the overall branch-and-cut- (and-price) framework.

1. Introduction

The minimum label spanning tree (MLST) problem was first introduced in [1] and has, for instance, applications in telecommunication network design and data compression [2]. For the MLST problem we are given an undirected graph 𝐺=(𝑉,𝐸,𝑙) with nodes (or vertices) 𝑣𝑉 and edges 𝑒𝐸 connecting pairs of nodes. In addition a labelling function 𝑙𝐸𝐿 is given, assigning to each edge an element, called “label”, from a finite set 𝐿. The objective is to find a minimum cardinality label subset 𝐿𝐿 inducing a spanning tree in the sense that for each edge in the spanning tree, its corresponding label is selected. We also consider the situation of 𝑙𝐸2𝐿 where more than one label can be assigned to an edge.

2. Related Work

The minimum label spanning tree (MLST) problem has been introduced by Chang and Leu [1] for the first time. In this work, the authors showed the MLST problem to be 𝒩𝒫-hard, and proposed an exact and an approximative algorithm called maximum vertex covering Algorithm (MVCA). Krumke and Wirth [3] proposed a modified construction algorithm and derived a performance guarantee for it. Moreover, it has been shown that the problem cannot be approximated with a constant factor. An improved performance bound has been obtained by Wan et al. [4], and a tight bound has then been found by Xiong et al. [5]. An experimental comparison of further MVCA variations is presented in [6].

Besides approximative methods many metaheuristic algorithms have been proposed and studied in the literature during the last decade. Various genetic algorithms have been developed in [7, 8]. Methods based on local search have been treated from a theoretical point of view in [9], and from a more practical one in [1014]. In particular, the latter publications also cover metaheuristics like greedy randomized search procedures, local search, variable neighborhood search and the pilot method.

Less work does exist regarding exact algorithms. An exact algorithm based on 𝐴-search has been proposed in [1], a similar approach, however, not using the guidance function of the 𝐴-algorithm, has been proposed in [12]. So far, only two mathematical-programming approaches have been considered in the literature. The first mixed integer programming (MIP) formulation proposed by Chen et al. [15] is based on Miller-Tucker-Zemlin inequalities (cf. Section 3.1) which ensure that the decision variables for the edges induce a connected subgraph covering all nodes of the initial graph. In a recent work of Captivo et al. [16], the authors propose an MIP formulation based on single commodity flows, a frequently used modelling technique for spanning trees. A branch-and-cut algorithm based on directed connection cuts and cycle-elimination cuts for an extension of the MLST problem has been described in [17]. For a general introduction to integer linear programming-(ILP-) based algorithms like branch-and-cut and branch-and-price we refer the reader to [18].

In this work we propose a branch-and-cut (and-price) (BCP) framework for the solution of moderately sized problem instances. We present a polyhedral and computational comparison of an underlying flow-formulation to a formulation based on directed connection cuts. The latter is proposed for this particular problem for the first time, and it is further shown how the cut-separation can be performed more efficiently than for many other spanning tree problems. New inequalities based on the label variables are introduced to strengthen the formulations. Optionally, also cycle-elimination cuts are separated. Furthermore we show how to use odd hole inequalities to strengthen the formulation by cutting off fractional values of the label variables. For these particular inequalities, a MIP-based separation heuristic is proposed for the first time. We further consider branch-and-cut-and-price, where instead of starting the algorithm with a full model, we start with a restricted set of labels and include further (label) variables only on demand. In order to obtain valid integral solutions in each node of the branch-and-bound (B&B) tree fast, we apply primal heuristics based on the well known MVCA-heuristic [3]. A detailed description of the formulations and algorithmic building blocks is given in Section 3, their properties are then theoretically investigated in Section 3.6. In Section 4, we finally present a comparison of the described formulations and algorithmic components based on computational experiments.

3. Mixed Integer Programming Framework

In this section we first give a rather abstract formulation of the MLST as mixed integer program (MIP). For the spanning-tree property, we present two concrete instantiations: (1) based on a flow-formulation, and (2) a formulation based on directed connectivity cuts, respectively. Both formulations as well as additional inequalities to strengthen the formulations and methods for cutting-plane separation and dynamic variable generation are described within one generic framework, as they can be used in different combinations.

We use the following variables: variables 𝑧𝑙{0,1}, for all 𝑙𝐿 indicate if label 𝑙 is part of the solution; edge variables 𝑥𝑒, for all 𝑒𝐸, denote if edge 𝑒 is used in the final spanning tree; variables 𝑦𝑖,𝑗, for all 𝑖,𝑗𝑉, denote directed arc variables used for the cut-based formulation, where we introduce for each edge 𝑒={𝑖,𝑗}𝐸 two arcs (𝑖,𝑗) and (𝑗,𝑖)𝐴. For the flow formulation, we analogously introduce two directed flow variables 𝑓𝑖𝑗,𝑓𝑗𝑖[0,𝑛1]. Let further 𝐿(𝑒) denote the set of labels associated to edge 𝑒.

3.1. Mixed Integer Formulation

The basic formulation is given by the following abstract integer linear program:min.𝑙𝐿𝑧𝑙,(3.1)s.t.𝑙𝐿(𝑒)𝑧𝑙𝑥𝑒𝑧,𝑒𝐸,(3.2)𝑥spanningtree,(3.3)𝑙{0,1}𝑙𝐿.(3.4)

The objective function (3.1) minimizes the number of required labels, Inequalities (3.2) ensure that for each selected edge (at least) one label is selected. For the abstract condition (3.3), we will subsequently introduce alternative formulations.

The number of selected edges may be fixed according to a valid spanning tree:𝑒𝐸𝑥𝑒=||𝑉||1.(3.5) Note, that (3.5) is however not required for a valid description of the MLST problem.

3.1.1. Single-Commodity Flow Formulation

A single-commodity flow formulation, also considered in [16], is given as follows:(0,𝑖)𝐴𝑓0𝑖=||𝑉||1,(3.6)(𝑖,𝑡)𝐴𝑓𝑖𝑡(𝑡,𝑗)𝐴𝑓𝑡𝑗𝑓=1𝑡𝑉{0},(3.7)𝑖𝑗||𝑉||1𝑥𝑒{𝑖,𝑗}𝐸,𝑒={𝑖,𝑗}.(3.8)

Equation (3.6) ensures the correct quantity of flow leaving the (arbitrary) root node with index 0. For all other nodes flow consumption (3.7) must hold, that is, one unit of flow is consumed at each node. Inequalities (3.8) finally ensure that only edges with a sufficient amount of flow may be selected. Flow formulations have the big advantage that they permit to formulate a spanning tree by a polynomial number of variables and therefore provide a relatively compact model.

3.1.2. Multicommodity Flow Formulation

The single-commodity flow formulation's major shortcoming is, however, that it provides a relatively poor LP-relaxation [19]. This is particularly due to the weak coupling of 𝑓 to 𝑥-variables in Inequalities (3.8), the linking constraints. This drawback can be circumvented by the introduction of multiple commodities 𝑘 for each node 𝑣𝑉. Again, all flows of commodity 𝑘 originate from node 0 and must be delivered to node 𝑘. The formulation is given by the following equalities:(𝑖,𝑡)𝐴𝑓𝑘𝑖𝑡(𝑡,𝑗)𝐴𝑓𝑘𝑡𝑗=1,𝑡=0,0,𝑡0𝑡𝑘,1,𝑡=𝑘.𝑘𝑉{0},(3.9) Linkage of flow to edge variables is then given by𝑥𝑒𝑓𝑘𝑖𝑗commodities𝑘,𝑒={𝑖,𝑗}𝐸.(3.10)

This formulation, however, has the drawback of having more variables than the single-commodity flow formulation, that is, 𝑂(|𝑉||𝐸|) flow variables in contrast to only 𝑂(|𝐸|).

3.1.3. Directed Cut Formulation

An alternative formulation is given by directed-connection inequalities, stating that to each node a valid (directed) path must exist. In contrast to the flow model, this formulation consists of an exponential number of inequalities and therefore cannot be directly passed to an ILP-solver for larger instances. However, this formulation provides a better LP-relaxation to many spanning tree problems, as it exactly describes the convex hull of the minimum spanning tree polyhedron. The corresponding inequalities, linkage to the edge variables are given by the following:(𝑖,𝑗)𝛿(𝑆)𝑦𝑖𝑗𝑥1𝑆𝑉,0𝑆,(3.11)𝑒𝑦𝑖𝑗{𝑖,𝑗}𝐸,𝑒={𝑖,𝑗}.(3.12)

Here 𝛿(𝑆) denotes the set of ingoing arcs to some node set 𝑆𝑉. Instead of Inequalities (3.12) we could also directly link the labels to the directed arcs. However, we proceed with Inequalities (3.12) for sake of a unified notation. The separation of these directed-connection inequalities is discussed in Section 3.2.

It is well known to be practically advantageous to initially add the inequalities𝑦𝑖𝑗+𝑦𝑗𝑖1,{𝑖,𝑗}𝐸,(3.13)(𝑖,𝑗)𝛿(𝑗)𝑦𝑖𝑗1,𝑗𝑉{0},(3.14) to directed (cut-based) formulations, see [20, 21]. Inequalities (3.13) avoid short cycles corresponding to a single edge, Inequalities (3.14) assure that each node has one incoming arc. By 𝛿(𝑖) we denote the set of incoming arcs to node 𝑖.

3.1.4. Cycle-Elimination Formulation

We can also ensure feasibility for integer solutions by cycle-elimination inequalities. These inequalities enforce the resulting graph not to contain any cycles, which is together with the enforced number of arcs also a sufficient condition for spanning trees, and is given by the following Inequalities:𝑒𝐶𝑥𝑒||𝐶||||𝐶||1,cycles𝐶𝐺,>2.(3.15)

3.1.5. Miller-Tucker-Zemlin Formulation

A further way for prohibiting cycles is models based on the well-known Miller-Tucker-Zemlin inequalities [22]. Such a model for the MLST problem has been proposed in [15], however with some differences. Let 𝑢𝑖 for all 𝑖𝑉 denote variables assigning numeric values to each node. By inequalities𝑢𝑖𝑢𝑗+||𝑉||𝑦𝑖𝑗||𝑉||𝑢1(𝑖,𝑗)𝐴,(3.16)𝑖||𝑉||𝑖𝑉,(3.17) cycles can be inhibited by just using a polynomial number of variables, however with the drawback, that a large multiplicative factor appears, usually leading to bad LP-relaxations. Main difference to the formulation proposed in [15] is the meaning of the variables. Whereas we use distinct variables for labels and edges (𝑂(|𝐸|+|𝐿|) variables), and link them by Inequalities (3.8) which are in total 𝑂(|𝐸|) constraints, they introduce 𝑂(|𝐸||𝐿|) variables 𝑥𝑖𝑗𝑘 with 𝑖, 𝑗 corresponding to edges {𝑖,𝑗} and index 𝑘 corresponding to labels.

In [16], the authors pointed out an important property of the flow formulation. They showed that the edge variables are not required to be an integer in order to obtain the correct (optimal) objective function value. Furthermore it is easy to derive a valid MLST solution based on the set of labels provided by the MIP solution. Based on this reasoning, we can establish the following theorem, which extends this result to further MLST formulations, and also immediately provides an improved cut formulation with a fast separation method.

3.1.6. Epsilon-Connectivity Formulation

Theorem 3.1. For any MIP formulation given by (3.1), (3.2) and (3.5), 𝑧𝑙{0,1}, for all 𝑙𝐿 any set of labels corresponding to an optimal solution to this formulation, and additionally meeting the following inequalities “epsilon-connectivity” 𝑒𝛿(𝑆)𝑥𝑒𝜖𝑆𝑉,𝑆(3.18) implies a valid MLST. Here, 𝜖>0 denotes some arbitrary small real number.

Proof. The number of edges is fixed by (3.5), but a solution may still contain fractional edges. However, as the label variables 𝑧 are integer and required to be greater than the value of the corresponding edge variables by Inequalities (3.2), they are always one if the corresponding edge variable has a value greater than 𝜖. Consequently, fractional edge variables will only appear in the final solution if they do not raise the objective function value (by requiring additional labels). Due to Inequalities (3.18), the labels obtained from the MIP solution facilitate paths between all pairs of nodes.

Given a label set of an optimal MIP solution, a feasible spanning tree can easily be derived in polynomial time, by determining an arbitrary spanning tree on the edges induced by the label set, as described in [16]. As a direct consequence of Theorem 3.1, the domain of the variables 𝑥 and 𝑦 need not be restricted to Boolean values, restricting them to nonnegative values by inequalities𝑥𝑒𝑦0,𝑒𝐸,𝑖,𝑗𝑦0,{𝑖,𝑗}𝐸,𝑗,𝑖0,{𝑖,𝑗}𝐸,(3.19) is already sufficient.

Theorem 3.1 also suggests a further formulation for the MLST problem. Although not explicitly containing any constraints describing a valid spanning tree, (3.1), (3.2), (3.5), and (3.18) already provide a complete description to the MLST problem, and could be further strengthened by𝑒𝛿(𝑖)𝑥𝑒1,𝑖𝑉,(3.20) and Inequalities (3.22), which are defined later on in Section 3.3. Inequalities (3.18) will again be separated on demand as cutting planes, which can, however, be performed more efficiently than the separation for the directed connection cuts, which will be discussed in detail in Section 3.2.

Note that epsilon-connectivity as defined by Theorem 3.1 is not guaranteed if cycle-elimination Inequalities (3.15) are used exclusively to describe a valid spanning tree. A fractional LP-solution not containing a cycle may still contain a subtour, that is, a subgraph where the sum over corresponding edges is larger than the size of its nodes minus one. Such a situation is depicted in Figure 1. As a consequence, the domain of the 𝑥-variables must be restricted to Boolean values if only cycle-elimination inequalities are used to describe a valid spanning tree. The same is true for the Miller-Tucker-Zemlin formulation given by Inequalities (3.16).

143732.fig.001
Figure 1: LP-solution that does not contain a cycle w.r.t. Inequalities (3.15), but still violates subtour elimination constraints. Corresponding (integer) label solutions are not necessarily feasible.

We now draw our attention to the special case of having only one single label assigned to each edge. If we have not fixed the number of edges, we can impose further equalities𝑙𝐿(𝑒)𝑧𝑙=𝑥𝑒,𝑒𝐸,(3.21) instead of Inequalities (3.2), which provide a more direct link between labels and their corresponding edges. This approach emphasizes the search for a feasible label set of minimal cardinality rather then the search for a feasible spanning tree.

3.2. Cutting-Plane Separation

The directed connection Inequalities (3.11) can be separated by computing the maximum flow from the root node 𝑟 to each node 𝑖 as target node. This provides a minimum (𝑟,𝑖)-cut. We have found a violated inequality if the value of the corresponding arcs according to the sum of the LP-values is less than 1. Our separation procedure utilizes Cherkassky and Goldberg's implementation of the push-relabel method for the maximum flow problem [23] to perform the required minimum cut computations.

The cycle-elimination cuts (3.15) can be easily separated by shortest path computations with Dijkstra's algorithm. Hereby we use 1𝑦LP𝑖𝑗 as the arc weights with 𝑦LP𝑖𝑗 denoting the current value of the LP-relaxation for arc (𝑖,𝑗) in the current node of the B&B-tree. We obtain cycles by iteratively considering each arc (𝑖,𝑗)𝐴 and searching for the shortest path from 𝑗 to 𝑖. If the value of a shortest path plus 𝑦LP𝑖𝑗 is less than 1, we have found a cycle violating Inequalities (3.15). We add this inequality to the LP and resolve it. In each node of the B&B-tree, we perform these cutting plane separations until no further cuts can be found.

Theorem 3.1 suggested a formulation not requiring any auxiliary variables (like flow or arc variables), where validity of the labels is obtained by Inequalities (3.18) exclusively. Instead of using the minimum cut-based separation routine (which would also be valid), we can perform a faster separation by a simple depth first search (DFS). Given an LP-solution, we first select an arbitrary start node for which we call the DFS procedure. Within this procedure we only consider edges 𝑒 with 𝑥𝑒𝜖. Within the DFS, we keep track of all visited nodes, if there are unvisited nodes at the end of the DFS, we have found a valid cut. The DFS can be carried out in 𝑂(|𝑉|+|𝐸|) time, which is clearly superior to the time of the maximum flow algorithm running in 𝑂(|𝑉||𝐸|+|𝑉|2+𝜀).

3.3. Strengthening the Formulations

As each node must be connected to the spanning tree by one of its incident edges, we can further impose additional inequalities to strengthen the formulation w.r.t. the label variables:𝑙𝐿(𝑣)𝑧𝑙1,𝑣𝑉.(3.22) Here, 𝐿(𝑣), 𝑣𝑉 denotes the set of labels being associated to the edges incident to node 𝑣. We will subsequently refer to this set of |𝑉| inequalities as node-label-inequalities. Figure 2 gives a simple example of an LP solution where the node is sufficiently connected according to the sum of the LP-values of the ingoing arcs and therefore its incident edges, but the corresponding sum over the labels associated to these edges is clearly infeasible w.r.t. Inequalities (3.22). Therefore Inequalities (3.22) strengthen the presented formulations w.r.t. their LP-relaxation. In Section 3.6, we formally prove this property with respect to the particular proposed MIP-formulations for the MLST. Note, that we will use MIP variables and their corresponding graph-entities equivalently in the the context of subsequent figures and proofs for simplicity, for example, we will simply designate a label by 𝑎,𝑏, (or 𝑙𝑎,𝑙𝑏,) instead of explicitly referring to the MIP variables 𝑧𝑎,𝑧𝑏,.

143732.fig.002
Figure 2: Example of node that is feasible connected w.r.t. its incoming arcs, but not w.r.t. Inequalities (3.22). Edges 𝑒1=𝑒2=1/2 in the current LP-solutions, but as both edges have assigned the same label 𝑙1=12 the sum over the set of all labels assigned to incident edges of the considered node is also 1/2. Such situations are forbidden by Inequalities (3.22).

This basic idea used in Inequalities (3.22) can be pursued by considering sets of two nodes, say 𝑣1 and 𝑣2. Let 𝑒12 denote the edge joining 𝑣1 and 𝑣2. Let further 𝐿(𝑒12) denote the set of labels associated with this edge. For set 𝐿(𝑣1)𝐿(𝑣2), we can observe, that at least two labels are required to feasibly connect the nodes 𝑣1 and 𝑣2, if 𝐿(𝑣1)𝐿(𝑣2)=. However, if 𝐿(𝑣1)𝐿(𝑣2)=𝐿(𝑒12), we still require two labels from 𝐿(𝑣1)𝐿(𝑣2). We therefore obtain the following valid inequalities:𝑙𝐿(𝑣1)𝐿(𝑣2)𝑧𝑙2,𝑣1,𝑣2𝑣𝑉with𝐿1𝑣𝐿2𝑒=𝐿12,(3.23) which are not directly implied by Inequalities (3.22). Figure 3 shows an example where Inequalities (3.23) dominate Inequalities (3.22).

143732.fig.003
Figure 3: Example of node-label-constraints for sets of two nodes (3.23) dominating Inequalities (3.22), that is, the node-label constraints for single nodes. For both nodes 𝑣𝑖, 𝑖=1,2 it holds that 𝑙𝐿(𝑣𝑖)𝑙1. Corresponding Inequality (3.23) is however violated, as 𝑙𝐿(𝑣1)𝐿(𝑣2)𝑙=3/2.

As we can expect a lot of branching on the label variables, further cutting-planes cutting of fractional label solutions may be helpful. In order to identify such valid inequalities, we consider situations where fractional label variables lower the objective value of LP solutions. Such a situation is depicted in Figure 4. If labels 𝑎=𝑏=𝑐=1/2 in the LP solutions, the corresponding arcs can be set to 1/2 as well without violating any directed connectivity inequality. However, w.r.t. these arc set, at least two labels must be selected in an integer solution. Consequently, adding the inequality 𝑎+𝑏+𝑐2 will cut off this fractional solution, but is only valid if no additional arcs/edges are incident to these nodes.

143732.fig.004
Figure 4: Example of fractional label solution.

In the following we show how to apply odd hole inequalities to cut-off such and more general situations. These inequalities are well known from studies of the set-covering polytope, their application becomes evident by the observation that the MLST problem can be seen as a set covering problem where each node 𝑣 needs to be covered by a label from the set 𝐿(𝑣) and the corresponding edges fulfilling further constraints (i.e., forming a valid spanning tree). In particular, we use a MIP-based heuristic to separate valid inequalities for the set-covering problem with coefficients {0,1}, which have been proposed in [24].

Let Λ be a |𝑉|×|𝐿| matrix with 𝜆𝑖𝑗=1 if node 𝑖 is labeled with 𝑗, 𝜆𝑖𝑗=0 otherwise. A |𝑉|×|𝐿| submatrix Λ of Λ of odd order is called an odd hole if it contains exactly two ones per row and column. For the subproblem Λ𝐳1 the inequality𝑙𝐿𝑧𝑙||𝐿||+12(3.24) is valid. In [24] the authors showed that this inequality even remains valid if 𝐇Λ𝐇, where 𝐇 is an odd hole, and 𝐇 being a special matrix closely related to 𝐇. Finding an odd hole 𝐇 to a given matrix Λ is 𝒩𝒫-hard, but if we have found such an odd hole, it is possible to decide in polynomial time whether 𝐇Λ𝐇 and therefore (3.24) is valid [24].

3.3.1. Separation-Heuristic for the Odd Hole Inequalities

In order to cut off fractional label solutions, we consider the subset of nodes 𝑉𝑉 whose labels are either fractional or zero in the current LP solution. Let Λ𝑉 denote the matrix where each entry 𝜆𝑖𝑗 represents the current LP value of label 𝑗 associated to node 𝑖, or −1 if the label 𝑗 is not associated to node 𝑖. Let further Λ𝑉 denote the corresponding matrix representing which labels are assigned to particular nodes, that is, its elements 𝜆𝑉𝑖𝑗 are one if label 𝑗𝐿(𝛿(𝑖)), and zero otherwise. Our goal is to heuristically search for odd holes in Λ𝑉, based on the information provided by matrix Λ𝑉, and then transform the related inequality to a valid inequality for the initial problem by the according lifting steps. We are hence searching for an odd hole 𝐇 with 𝐇Λ𝑉,𝐿 with 𝑉𝑉,𝐿𝐿 and |𝑉|=|𝐿| being odd. By the procedure of [24] we can now decide if𝑙𝐿𝐿𝛾𝑙𝑧𝑙+𝑙𝐿𝑧𝑙||𝐿||+12(3.25) is valid for Λ𝑉,𝐿. The term 𝑙𝐿𝐿𝛾𝑙𝑧𝑙 results from lifting all labels which are associated to a node 𝑣𝑉 but are not part of the odd hole induced by 𝑉 and 𝐿. The lifting-coefficient is denoted by 𝛾𝑙, the calculation of its value will be discussed later on. By the following MIP (3.26)–(3.38) we aim to find subsets 𝑉 and 𝐿 forming an odd hole and for which inequality (3.25) is violated according to the current LP solution. For this purpose we define a bipartite directed graph 𝑉𝐺=(𝑉=1𝑉2,𝐴), 𝑉1=𝑉, 𝑉2=𝐿, 𝐴={(𝑖,𝑗)𝑖𝑉𝑗𝐿(𝑉)}. Each cycle with length 4𝑘+2 corresponds to an odd cycle w.r.t. the number labels, and is, therefore, a potential odd hole. Variables 𝑥𝑖𝑗{0,1} represent the arcs from node 𝑖𝑉 to label 𝑗𝐿(𝑉) and are intended to finally describe a valid odd hole. Variables 𝑎𝑖𝑗[0,1] denote other arcs which connect nodes 𝑖𝑉 being part of the odd hole (described by the 𝑥 variables) and other labels not being part of the odd hole. For each arc 𝑎=(𝑖,𝑗) the coefficient 𝑐𝑎 is the LP value of label 𝑗 if 𝑗𝐿 and zero otherwise;max𝑘+1𝑖𝐴𝑥𝑖𝑐𝑖𝑖𝐴𝑎𝑖𝑐𝑖,(3.26)s.𝑡.𝑘+1𝑖𝐴𝑥𝑖𝑐𝑖𝑖𝐴𝑎𝑖𝑐𝑖0,(3.27)𝑖𝐴𝑥𝑖=4𝑘+2,(3.28)(𝑖,𝑗)𝛿(𝑗)𝑥𝑖𝑗1𝑗𝐿,(3.29)(𝑖,𝑗)𝛿+(𝑖)𝑥𝑖𝑗1𝑖𝑉,(3.30)(𝑖,𝑗)𝐴𝑥𝑖𝑗(𝑗,𝑘)𝐴𝑥𝑗𝑘𝑦=0𝑖𝑉,(3.31)𝑖𝑦𝑗||𝑉||+1+𝑥𝑖𝑗||𝑉||𝑧𝑖||𝑉||,(3.32)𝑖𝑉𝑧𝑖1,(3.33)(𝑘,𝑖)𝛿(𝑖)𝑥𝑘𝑖(𝑗,𝑙)𝛿(𝑗)𝑥𝑗𝑙𝑎𝑖𝑗𝑦(𝑖,𝑗)𝐴,(3.34)𝑖||𝑉||𝑧𝑖𝑉,(3.35)𝑖𝑥{0,1}𝑖𝑉,(3.36)𝑖{0,1}𝑖𝐴,(3.37)0𝑎𝑖1𝑖𝐴.(3.38)

From (3.28), we can see that (|𝐿|+1)/2=𝑘+1. As we prefer solutions where (3.25) is considerably violated, we maximize the difference between (|𝐿|+1)/2 and 𝑖𝐴𝑥𝑖𝑐𝑖. The term 𝑖𝐴𝑎𝑖𝑐𝑖 gives a lower bound for the sum over all labels we need to lift w.r.t. some particular 𝑥. The correct coefficient which is to be discussed later on, cannot be formulated by a linear expression. By (3.27), this particular expression is enforced to be larger than zero, as the resulting inequality to be added to the MLST-MIP would not be violated otherwise. As a consequence, all feasible solutions to MIP (3.26)–(3.38) fulfill this property which is desirable for the heuristic separation procedure discussed subsequently. For each node on the cycle, the numbers of ingoing and outgoing arcs are limited to one by equations (3.29) and (3.30) and flow-conservation is imposed for each node (3.31). The integer variables 𝑦𝑖 assign numeric values to the nodes 𝑖𝑉𝐿 and prevent multiple cycles in the solution by Miller-Tucker-Zemlin-inequalities (3.32), that is, by enforcing for each arc on the cycle (except the one going out from the node 𝑖 with 𝑧𝑖=1 (3.33)) to have at least one smaller source than target node. By Inequalities (3.34) all arcs connecting nodes 𝑖𝑉 which are part of the odd cycle to be determined (by 𝑥-variables) to nodes 𝑗𝐿(𝑖)not being part of this cycle. Finally, 𝑦𝑖, for all 𝑉𝑖 are enforced to be smaller than |𝑉| (3.35), and the node selection and arc variables are required to be Boolean (3.36), (3.37). The 𝑎-variables only need to be restricted to 0𝑎𝑖1, for all 𝐴𝑖, as they are implicitly integer by Inequalities (3.34). Figure 5 shows an example for a solution to the MIP. The arcs selected by 𝑥-variables are depicted in red color, the dashed ones do not contribute to the objective function. The blue arcs correspond to the “lifting-arcs”, selected by 𝑎-variables.

143732.fig.005
Figure 5: Example for a solution to (3.26)–(3.38). The octagon-shaped cycle constitutes the odd hole. The dashed arcs do not contribute to the objective function, whereas the solid arcs (which connect nodes to labels) contribute with the LP-value of the target-label as coefficient. The further arcs provide a lower bound for the contribution of all labels that need to be lifted in order to obtain a valid inequality for the initial problem.

Given a solution to the MIP (3.26)–(3.38), we still need to check, if (3.25) is valid for this particular solution. The 𝑧-variables are derived by taking all labels 𝑗𝐿 selected by 𝑥𝑖𝑗 in (3.26)–(3.38). For this purpose, we use the criteria described in [24]—here we only provide a rough explanation. An arc connecting two nodes on the odd cycle determined by (3.26)–(3.38) which is not part of the cycle itself is called a chord. In order to fulfill (3.24), and therefore (3.25) after the lifting, all chords of the odd cycle must be compatible. The chord set is called compatible, if (1) no chord induces even cycles (w.r.t. nodes 𝑖𝑉 on the cycle), and (2) every pair of crossing chords is compatible. Compatibility for crossing chords is defined on the basis of the mutual distances of their adjacent nodes on the cycle. Let 𝑎𝑖𝑗=(𝑣𝑖,𝑙𝑗), 𝑣𝑖𝑉, 𝑙𝑗𝐿 and 𝑎𝑘=(𝑣,𝑙𝑘), 𝑣𝑉, 𝑙𝑘𝐿 be two crossing chords. We now remove 𝑙𝑗 and its two incident arcs from the odd hole. The chords are compatible, if the unique path from 𝑣𝑖 to 𝑣 has an even distance w.r.t. nodes in 𝑉 in this graph.

It remains to determine the lifting-coefficients 𝛾𝑙. If a lifting-label only covers one node of the odd hole, the sum over all labels necessary to feasibly cover all nodes from the odd hole does not change. The label can, however, be used alternatively for one of the odd hole labels and therefore gets coefficient one. Otherwise, if one lifting-label covers all odd hole nodes, the coefficient must equal the right-hand side of (3.25), that is, 𝛾𝑙=(|𝐿|+1)/2 in this case. Suppose some lifting-label 𝑙 covers 𝜈𝑙 odd hole nodes, then the size of the remaining odd hole nodes is (|𝐿|+1)/2=|𝐿|/2. These remaining nodes are still adjacent to two labels in the odd hole, pairwise having one label in common. We can, therefore, derive the following value for the lifting coefficient𝛾𝑙=||𝐿||2||𝐿||𝜈𝑙2=||𝐿||+12||𝐿||+12𝜈𝑙2=𝜈𝑙2.(3.39)

During the branch-and-bound MLST solution process, the MIP (3.26)–(3.38) is solved with very tight runtime limits. As soon as an incumbent integer solution has been found, this solution is checked for validity by the mentioned criterions. Obtained valid MLST-inequalities are added immediately. Then the incumbent integer solution is rejected to the MIP solver by which we enforce to search for further solutions. This process continues until the time limit is reached.

3.4. Heuristics

In order to improve the overall performance—in particular the ability to generate feasible integer solutions fast—we embed a primal heuristic into the framework. For this purpose we adopt the well-known MVCA heuristic [1, 3, 6]. This heuristic can create feasible solutions from scratch, but also complete partial solutions given by label set 𝐿𝐿. Creating complete solutions is important for the acquisition of strong upper bounds to efficiently cut-off unprofitable branches of the B&B-tree from the beginning on, but also to obtain an initial solution for BCP (Section 3.5). On the other hand the MVCA heuristic can be used to obtain feasible integer solutions and therefore upper bounds for each B&B-node based upon some variables already fixed to integer values. Many further fast metaheuristic techniques do exist for this problem, which could also easily be integrated into this framework. This is however beyond the scope of this work, as we primarily focus on mathematical programming methods for the MLST.

3.5. Pricing Problem

Problem formulations with a large (usually exponential) number of variables are frequently solved by column generation or branch-and-price algorithms. Such algorithms start with a restricted set of variables and add potentially improving variables during the solution process on demand. If these algorithms also include cutting-plane generation, we call them branch-and-cut-and-price (BCP). Although the presented MLST formulation only has a polynomial number of label variables, these particular variables typically lead to extensive branching on them, requiring a special treatment. Hence we based a solution approach on BCP, operating on just a subset of variables. Such approaches follow the same idea as sparse graph techniques as proposed in [25].

We obtain the restricted master problem by replacing the complete set of labels 𝐿 by a subset 𝐿𝐿 in (3.1). The set 𝐿 is required to imply a feasible solution and is obtained by the MVCA heuristic. Then, new variables and, therefore, columns potentially improving the current objective function value in the simplex tableau are created during the B&B process. These new variables are obtained from the solution of the pricing problem which is based upon the dual variables. Let 𝜋𝑖 denote the dual variables corresponding to constraints (3.2), and 𝜇𝑖 the ones corresponding to (3.22). They reflect a measure for the costs of some particular edge 𝑒 w.r.t. the currently selected labels (𝜋𝑒), and the costs of connecting some node 𝑣 w.r.t. the currently selected labels (𝜇𝑣). The pricing problem is to find a variable with negative reduced costs𝑐𝑙=1(𝑖,𝑗)𝐴(𝑙)𝜋𝑖𝑗𝑖𝑉(𝑙)𝜇𝑖,(3.40) within the set of all labels 𝐿. Here 𝐴(𝑙) denotes all arcs having label 𝑙 and 𝑉(𝑙) denotes the set of nodes incident to arcs with label 𝑙. Finding such a variable or even the one with minimal reduced costs can be done by enumeration. Although only a polynomial number of labels is involved, we may benefit from the pricing scheme as we only need to solve smaller LPs within the B&B procedure.

3.6. Polyhedral Comparison

In this section we compare various formulations resulting from combining the equations and inequalities from Section 3 as listed in Table 1. The only formulation just requiring a polynomial number of constraints is the flow-formulation with roughly 𝑂(|𝐿|+3|𝐸|) variables and 𝑂(|𝐿|+|𝑉|+|𝐸|) constraints. The directed cut-formulation requires 𝑂(|𝐿|+3|𝐸|) variables and an exponential number of constraints. Also, the modified “epsilon” cut-formulation requires exponentially many constraints, but only has 𝑂(|𝐿|+|𝐸|) variables.

tab1
Table 1: MLST formulations resulting from combining the equations and inequalities from Section 3. Further variants are given by the use of the components listed in the second part of the table, to be used as index for the formulation to be used with.

In the following we use the graph depicted in Figure 6 to show the properties of the polyhedra defined by the formulations listed in Table 1.

143732.fig.006
Figure 6: Example graph used in the following to show the properties of the formulations listed in Table 1. The set of labels is given by 𝐿={𝑎,𝑏,𝑐,𝑑,𝑒}, the optimal solution value is 𝑓=3.

Proposition 3.2. 𝑃SCFtno𝑃SCFtn𝑃SCFt𝑃SCF.(3.41)

Proof. As 𝑃SCFtn contains the same equations and inequalities as 𝑃SCFt, but additionally Inequalities (3.22); thus we have 𝑃SCFtn𝑃SCFt. Figure 7 shows an LP solution of 𝑃SCFt that is not contained in 𝑃SCFtn, which implies 𝑃SCFtn𝑃SCFt. Such an LP solution may still contain fractional labels due to odd holes, as shown in Figure 5, by which we obtain 𝑃SCFtno𝑃SCFtn.
If the values of the edge and label variables in Figure 7 are decreased as much as possible for SCF, we obtain 𝑙𝑎=1/4,𝑙𝑏=38, and 𝑙𝑐=1/8 implying 𝑓lp=3/4. As SCFt contains the additional Inequality (3.5), we can conclude that 𝑃SCFt𝑃SCF.

143732.fig.007
Figure 7: LP solution of SCFt with objective value 𝑓lp=1+5/8(𝑙𝑎=1/4,𝑙𝑏=3/8,𝑙𝑐=1). The blue arcs depict the flow variables with their according LP-values. Corresponding values for the edge variables are also shown. This solution is not valid for SCFtn, as the sum over the set of labels adjacent to node 𝑣2 is smaller than one.

Proposition 3.3. 𝑃DCuttno𝑃DCuttn𝑃DCutt𝑃DCut.(3.42)

Proof. The proof of 𝑃DCuttno𝑃DCuttn𝑃DCutt follows by the same reasoning as for the proof of Proposition 3.2. Figure 8 shows that 𝑃DCuttn𝑃DCutt. However, the requirement that each directed cut must have a value greater than one already implies that 𝑒𝛿(𝑣)𝑥𝑒1, for all 𝑣𝑉. This implies 𝑒𝐸𝑥𝑒|𝑉|1. An LP-solution to DCut may contain more edges than an LP-solution to DCutt, which does, however, due to the minimality not affecting the objective value of the LP-relaxation, that is, 𝑃DCutt𝑧=𝑃DCut𝑧.

143732.fig.008
Figure 8: LP solution of DCutt with objective value 𝑓lp=(2+1)/6(𝑙𝑏=1/2,𝑙𝑐=2/3,𝑙𝑎+𝑙𝑑+𝑙𝑒1,w.l.o.g.𝑙𝑎=1). The green arcs depict the arc variables with their according LP values. The solution is not valid for DCuttn, as the sum over the set of labels adjacent to node 𝑣5 is smaller than one.

Let 𝑃𝑆 denote the projection of some polyhedron 𝑃 to a subspace 𝑆.

Proposition 3.4. 𝑃ECtno𝑥𝑃ECtn𝑥𝑃ECt𝑥𝑃EC𝑥.(3.43)

Proof. By applying the same reasoning as for the proofs of the last two theorems, we can prove Proposition 3.4. Figure 9 gives an example for 𝑃ECtn̸𝑃ECt.

143732.fig.009
Figure 9: LP solution of ECt with objective value 𝑓lp=3/2+𝜖(𝑙𝑎=𝜖,𝑙𝑏=1/2,𝑙𝑐=1). The solution is not valid for ECtn, as the sum over the set of labels adjacent to nodes 𝑣1 and 𝑣2 are smaller than one.

In the following we will show the relations between the formulations SCFt, DCutt and ECt.

Theorem 3.5. 𝑃DCutt𝑥𝑃SCFt𝑥𝑃ECt𝑥.(3.44)

Proof. Figures 8, 7, and 9 already showed that the polyhedrons are not equal. To prove that 𝑃DCutt𝑥𝑃SCFt𝑥, we show a procedure to transform all 𝑥-variables of any valid LP-solution of DCutt to a valid 𝑥-solution in SCFt. For all 𝑖,𝑗𝑉, there exists at least one path from 𝑖 to 𝑗 with all edges (𝑘,𝑙) having LP-values 𝑥lp𝑘𝑙 greater than zero. If we consider a network with source 𝑖 and target 𝑗, only containing edges 𝑒 being part of one of these paths and having capacities 𝑥lp𝑒 there exists a flow of at least one unit from 𝑠 to 𝑡. We now arbitrarily select a root node 𝑟 (w.l.o.g. 𝑟=0) and show how to construct a valid flow permitting the same 𝑥-configuration for SCFt as in DCutt. For an edge 𝑒 to have LP value 𝑥lp𝑒, a corresponding flow variable must be larger than 𝑥lp𝑒/(𝑛1). We start by setting all flow variables to zero. Then, for each node 𝑡𝑖,𝑖=1,,𝑛1 we construct all paths from 𝑟 to 𝑡𝑖, considering all edges with 𝑥lp𝑒>0. Summing up 𝑥lp𝑒>0 for all edges 𝑒 on these paths may not exceed 𝑛1, as the number of edges is fixed by (3.5) when 𝑖=2. However, this sum may usually be smaller than 𝑛1, say 𝜆𝑙, but integer. Now, we backtrack all these paths and set their flow values to minimal values according to flow conservation (3.7) and LP-values for the edges. Note that 𝑖𝛿(𝑟)𝑓𝑟𝑖=𝜆1 after this first step. We then continue this procedure for all further 𝑡𝑖,𝑖=2,,𝑛1. According to (3.5) in step 𝑡𝑘 at most (𝑛1)𝑙<𝑘𝜆𝑘 not yet considered edges need to be added, possibly increasing 𝑖𝛿(𝑟)𝑓𝑟𝑖 by exactly this amount. We finally end up with all nodes being feasibly connected and 𝑖𝛿(𝑟)𝑓𝑟𝑖=(𝑛1) fulfilling (3.6) and flow conservation (3.7) being fulfilled at each node.
It is trivial to see that the 𝑥-variables of a valid LP-solution of SCFt are also valid for ECt.

Theorem 3.6. 𝑃DCuttn𝑥𝑃SCFtn𝑥𝑃ECtn𝑥.(3.45)

Proof. In the proof of Theorem 3.5, we already showed how each projection of a solution of DCutt to the subspace defined by the 𝑥-variables can be transformed into a solution of SCFt, and likewise SCFt to ECt. The only difference of the polyhedrons considered in Theorem 3.6 are the constraints (3.22), which clearly do not affect this transformation. It needs to be shown that the polyhedrons are not equal, which is done by the example in Figure 10. The depicted ECtn solution is not valid for SCFtn or DCutn, respectively, although the node-label constraints (3.22) are fulfilled. However, the value of edge {3,4} can be increased to 1/5 (implying the need to decrease the values of edges {1,4} and {3,6} accordingly), which makes the solution feasible to SCFtn. Nevertheless, this solution remains infeasible to DCuttn, by which we have shown the theorem.

143732.fig.0010
Figure 10: Valid LP-solution of ECtn with 𝑓lp=2+𝜖(𝑙𝑎=1,𝑙𝑏=𝜖,𝑙𝑐=1) that is not valid for SCFtn. It can however be transformed to such, by increasing 𝑥3,4 to 1/5, yielding 𝑓lp=2+1/5. It is easy to see, that this solution is still not valid for DCuttn.

4. Results

In this section we present a comprehensive computational comparison of the presented formulations and separation strategies, and compare our methods to other work. Three different data sets are used for our computational tests. We start by a description of the test instances used for our experiments and tests.

4.1. Test Instances

The first set is the publicly available benchmark set used in [6, 10, 12, 13]. We refer to this data set as Set-I. It consists of graphs with 100 to 500 nodes and various densities 𝑑{0.2,0.5,0.8}, defined by |𝐸|=𝑑(|𝑉|(|𝑉|1)/2), and different numbers of labels |𝐿|=𝑙/4,𝑙{1,2,4,5}. The instances are organized in groups of ten for each configuration of 𝑑 and |𝐿| for each |𝑉|. So far, primarily metaheuristics have been applied to this instance set, but also an exact algorithm based on 𝐴-search, as reported in [12].

The second test set Set-II is created following the specification of the instances used in [16], in order to obtain comparable results to the MIPs presented therein. This set is organized in four groups. In contrast to SET-I, the instances of the first two groups just contain very few labels, that is, |𝐿|{5,10,20}. The number of nodes ranges from 20 to 1000, and network densities are set to |𝐸|=4|𝑉|. Moreover, this set contains various grid-graphs (group 3) of sizes 2×10, 4×5, 2×18, 3×12, and 6×6. The fourth group contains instances with |𝑉|{20,50} and |𝐿|=|𝑉| and various network densities 𝑑{0.2,0.5,0.8}.

In addition to SET-I and SET-II we created a further test set Set-III containing also instances with multiple labels assigned to the edges. The construction is performed by first creating a spanning tree and assigning labels from set 𝐿𝐿 to its edges. Usually 𝐿=𝐿 if not stated otherwise, but |𝐿||𝐿| is used to study the effect of having optimal solutions with significantly less labels than for completely random label assignment for the particular graph properties. Next further edges are added until a specified density 𝑑(𝑛(𝑛1))/2,0<𝑑1 or specified number of edges 𝑚=|𝐸| is reached. Then, we randomly assign all labels not used yet. In the final step we iterate over all edges and assign further labels by uniform random decision. Parameter 𝑎 specifies how many labels can be assigned to each edge, if not stated otherwise 𝑎=1. Instead of directly using |𝐿| as a parameter, we may also specify the size of the label set by parameter 𝑟=|𝐿|/|𝐸|,0<𝑟1. In contrast to the other instances, the instances of SET-III have relatively high values of 𝑟, that is, 𝑟=1/4 and 𝑟=3/4. Although such instances are less likely to occur within practical applications regarding telecommunication network design, they may be relevant for other scenarios, as for instance the compression model based on the MLST problem presented in [17].

4.2. Test Environment

The generic framework presented in Section 3 has been implemented in C++ (gpp-4.3) within the SCIP framework [26]. The standard plugins have been used for all computational tests unless explicitly stated otherwise. In addition some branch-and-cut algorithms (not involving any pricing procedures) have been implemented within the ILOG CONCERT framework [27] for comparison purposes. As LP solver ILOG CPLEX (in version 12.0) [27] has been used for both frameworks.

All computational tests have been performed on an Intel Xeon E5540 processor operating at 2.53 GHz and having 24 GB for total 8 cores. The operation system is Ubuntu 9.10 with Linux-kernel 2.6.31. All runs have been performed in single-threaded mode, CPU times have been limited to 7200 seconds, unless stated otherwise.

4.3. Comparison of Described Methods

In this section, we present a comparison of the described formulations based on computational tests. Furthermore, we analyze the impact of particular “components” to each of the formulations. These components consist of the node-label-inequalities (3.22), the extended node-label-inequalities (3.23), the strong linkage of the edges to the edges (3.21), which can, however, only be used if only one label is assigned to the edges and the number of edges is not fixed by (3.5). Table 1 provides an overview of these components and corresponding notation. After the comprehensive analysis and comparison of the particular methods in this section, we compare the results of the newly proposed methods to previous work in Section 4.4.

4.3.1. MIP Formulations

In this section, we primarily focus on the comparison of formulations EC, DCut and SCF. However, particularities like node-label-constraints (3.22), or fixed number of edges (3.5), or the direct linkage of labels to edges (3.21), may significantly change the picture regarding the superiority of one method over another one. For this reason, we present the results not only for three formulations, but rather four to five variants of each formulation. Recall, that directly linking the labels to edges by (3.21) is only possible for instances with one label assigned to each edge (3.21), that is, 𝑎=1 and is generally not possible for flow-formulations. In order not to be biased towards some particular class of instances, we report these results for each of the three instance sets.

Tables 2 and 3 show the results for instances of SET-I with |𝑉|=100 and |𝑉|=200. These instances include graphs with various densities 𝑑{0.2,0.5,0.8}, where |𝐸|=𝑑(|𝑉|(|𝑉|1)/2), and different numbers of labels, that is, |𝐿|=1/2|𝑉|,|𝐿|=|𝑉|, and |𝐿|=5/4|𝑉|. In these tables, as well as in the following ones, we report the following entities for each method and group of instances. Columns “cnt” contain the number of instances within each group, which is 10 in most of the cases. The reason for less than ten instances reported is not being able to finish some instances with particular formulations due to high memory requirements. Columns “opt” report the number of instances that have been solved and proved to be optimal within the time limit. In columns “obj” the average objective value for all instances in the group is reported. If all instances have not been solved to optimality, this value corresponds to the average value of feasible solutions that have been found within the timelimit. Average running times in seconds are then reported in columns “𝑡”. The average number of branch-and-bound nodes is listed in columns “bbn”, the average number of generated cuts in column “cuts”. Results of the fastest method(s) for each group are emphasized with bold letters.

tab2
Table 2: Comparison of selected variants of formulations EC, DCut, and SCF on the instances from SET-I with |𝑉|=100.
tab3
Table 3: Comparison of selected variants of formulations EC, DCut, and SCF on the instances from SET-I with |𝑉|=200.

From Tables 2 and 3 we can already observe that the difficulty of solving these instances is strongly correlated to the objective function values of the instances. Higher values, in particular those larger than ten, require significantly more B&B-nodes, and the separation of more cuts. This also implies longer average running times. This property holds for all of the considered formulations. The results in Tables 2 and 3 show that formulation ECsn consistently gives the best results for these instances. The single-commodity flow formulations show a slightly better performance than the directed-cut formulations for most of the instances.

The strength of the node-label-inequalities (3.22) is also demonstrated by the results in Tables 2 and 3. Their addition to the plain formulations does not only yield a significant speedup, but also enables to solve more instances regarding the set with |𝑉|=200. The difference between Inequalities (3.22) and their extended form, given by Inequalities (3.23) is examined in Section 4.3.2. Regarding Equation (3.5) no clear conclusion can be drawn from these instances. If, however, combinations of these components are considered, the variants only using the node-label-constraints are superior in most of the cases. For formulations EC and DCut it is also possible to directly link the edges to the labels by (3.21). In most of the cases, this yields the best results, when combined with the node-label-inequalities for both formulations, and in particular in combination with EC the overall best results.

Table 4 reports the results for the same formulations for the instances of SET-II. These instances have the major difference to contain only graphs of extremely low density 𝑑 and just very few labels. Again, we can observe a clear superiority of formulations ECsn and ECn, which are able to solve all these instances with average running times of less than half second.

tab4
Table 4: Comparison of selected variants of formulations EC, DCut and SCF on the instances from SET-II.

In Tables 5, 6, and 7, results for the instances from SET-III are reported. Table 5 shows the results for instances with |𝑉|=100 and 𝑎=1, that is, one single label assigned to the edges. As already mentioned in Section 4.1, this instances differ from the previous ones in the way that they contain a higher number of labels, that is, 𝑟=1/4 and 𝑟=3/4 with 𝑟=|𝐿|/|𝐸|. It can be observed that it is beneficial to limit the number of edges to |𝑉|1 by (3.5) in this case. Thus, the stronger LP-relaxation implied by this restriction is beneficial in the case of higher values of 𝑟. For instances with 𝑟=1/4 formulation EC still shows the best performance, but DCut provides better results in the case of 𝑟=3/4. Hence, the strong LP-relaxation becomes even more important if |𝐿| is in the same order of magnitude as |𝐸|.

tab5
Table 5: Comparison of selected variants of formulations EC, DCut and SCF on the instances from SET-III with |𝑉|=100; 𝛼=1.
tab6
Table 6: Comparison of selected variants of formulations EC, DCut and SCF on the instances from SET-III with |𝑉|=100, 𝑎{2,5}.
tab7
Table 7: Comparison of selected variants of formulations EC, DCut and SCF on the grid graph instances from SET-III with |𝐸|4|𝑉|.

With a single exception, the same effect can be observed for the instances with 𝑎{2,5} reported in Table 6. The effect of more than one label being assigned to the edges seems to make the problem easier to solve, but the effect is relatively small. It is important to note, that directly linking the labels to the edges, which was beneficial for the instances with 𝑎=1, cannot be applied to instances with larger 𝑎.

Table 7 shows the result for grid-graphs with 100 and 400 nodes and |𝐿|{30,50,80}. The average optimal objective value on these graphs is relatively high, which makes them difficult to solve. However, all instances with |𝐿|{30,50} could be solved to optimality by formulation ECsn, which showed the overall best performance on this class of instances.

Having now analyzed the main variations of the discussed formulations we draw our attention to further approaches and enhancements that have been proposed in Section 3.

4.3.2. Further Methods

In Section 4.3.1 the node-label-inequalities (3.22) have been shown to be of utter importance for a strong formulation. In Section 3.3 we have also presented an extension of this idea, where two nodes are considered instead of just one. This led to the class of Inequalities (3.23). Table 8 shows a comparison of formulations ECt and DCutt with on the one hand the node-label-inequalities (3.22) and on the other hand additional Inequalities (3.23). In particular for formulation ECt these further inequalities turn out to be useful in many cases. They do not only speedup the solution process, but moreover frequently enable to solve more instances to provable optimality. However, also the opposite is often the case. It is therefore not possible to decide which approach is superior over the other based on the available data. On grid-graphs Inequalities (3.23) have not been beneficial at all.

tab8
Table 8: Comparison of formulations 𝐸𝐶𝑡 and 𝐷𝐶𝑢𝑡𝑡 with Inequalities (3.22), indicated with index 𝑛, and with additional Inequalities (3.23), indicated with index ̃𝑛.

Further formulations, considered in Section 3, are based on the property that a tree must not contain a cycle by definition. Formulation MTZ𝑡𝑛 requires just a polynomial number of variables, but contains constraints with infamous “Big-M” constants, as the SCF formulation does. On the contrary CEF contains an exponential number of Inequalities (3.15), which need to be separated as cutting-planes as for the DCut or EC formulation. Due to their fast separation by a simple shortest-path computation, other formulations may benefit from additionally using cycle-elimination cuts. Corresponding results are reported in Table 9, column “cec” lists the average number of separated cycle-elimination cuts. Whereas MTZ𝑡𝑛 and CEF𝑡𝑛 show a relatively weak performance on the instances with 𝑟=1/4, they provide good results in the case of 𝑟=3/4. In particular, for the low-density graphs CEF𝑡𝑛 could solve all instances to optimality, which no other method was able to do. For the dense graphs best results are obtained by DCuttnc and ECtnc.

tab9
Table 9: Comparison of various formulations based on cycle elimination, that is, the Miller-Tucker-Zemlin formulation MTZ and the CEF on the instances from SET-III with |𝑉|=100, 𝑎=1. Furthermore results for connectivity-based formulations (EC and DCut), enhanced by cycle elimination inequalities are reported.

Table 10 shows the results that have been obtained by including primal heuristics into the branch-and-bound algorithm. Formulations ECtn, ECsn, DCuttn, and DCutsn are considered for this purpose. As indicated by preliminary experiments it turned out to be advantageous only to use the primal heuristics in the root node, as they were generally not able to find improved solutions based on the information provided by the LP-solution in other B&B-nodes. Embedding MVCA in B&B has a positive effect w.r.t. the variants “𝑡𝑛” of formulations EC and DCut, but a negative impact concerning variants “𝑡𝑠”.

tab10
Table 10: Comparison of best formulations used without and with primal heuristics, that is, MVCA and ACO.
4.3.3. Odd hole Inequalities

We now draw our attention to the odd hole inequalities. Within preliminary tests, we determined a tight timelimit of 10−3 seconds for solving the MIP (3.26)–(3.38) to show a generally good performance. Two algorithmic variants are considered for the results reported in Table 11. The first version (denoted with index 𝑜) simply adds the found valid cutting-planes to the MIP. Alternatively, the set of labels corresponding to the obtained odd hole can also be used to deduce a branching rule. This was motivated by the observation that many lifted odd hole cutting planes, found by MIP (3.26)–(3.38), were not strong enough to define facets w.r.t. the involved label variables. As a consequence, these variables remained fractional after the cutting-plane was added to the MIP. However, odd holes provide important information and references to situations where special configurations of label-variables artificially reduce the LP-relaxation. Hence it is likely that immediately branching over these variables may be beneficial. This is done by inserting all labels of the odd hole into a global queue, and always branch over such a variable unless the queue is empty. Index 𝑜𝑏 denotes this approach in Table 11. Odd hole cuts are separated with lowest priority amongst the user-defined cutting-planes, and are only separated in levels of the B&B-tree which are multiples of ten.

tab11
Table 11: Comparison of formulations 𝐸𝐶𝑡 and 𝐷𝐶𝑢𝑡𝑡 with and without using odd hole ienqualities. Index 𝑜 denotes if odd hole inequalities are separated, index 𝑏 indicates that odd hole inequalities have been used to induce branching over related label variables.

The results in Table 11 show that the odd hole inequalities are beneficial in many cases, in particular when used to deduce branching rules from the corresponding label-variables. For instances from SET-I and SET-II, almost no odd holes have been found with the described parameter settings. For dense graphs it is less likely to find odd holes that are violated by the current LP-solution, as each node is incident to many edges. Hence |𝐿(𝑣)| is in the same order of magnitude as |𝑉| in the expected case. This implies many nonzero lifting coefficients in Inequalities (3.25), reducing the chance of finding a valid inequality that is actually violated by the current LP-solution. Hence, the separation of odd hole inequalities is most beneficial for sparse graphs. Also the number of labels compared to the number of edges has an impact on the efficiency of the odd hole separation. If the number of labels is relatively low, the expected label frequency 𝜈𝑙 will be high. This implies high values for the lifting coefficients 𝛾𝑙, which in turn reduces the chance of finding violated odd hole inequalities. If, on the other hand, the number of edges is too high, odd holes are generally less likely to occur, as the sets 𝐿(𝑣)𝐿(𝑢), for all 𝑣,𝑢𝑉 can be expected to be very small or even empty.

4.3.4. Branch-and-Cut-and-Price

Additionally, using the column generation approach within the B&C framework, that is, branch-and-cut-and-price (BCP) is only beneficial for a very special class of instances. For most of the instances almost all variables are priced in during the solution process. The computational overhead for solving the pricing problem and resolving the MIP implies significantly higher running times in this case. However, if the instances consist of a high number of labels, and have an optimal solution that is significantly lower than the average optimal solution value when assigning the labels to the edges randomly in the instance construction process, BCP shows a superior performance. To study this effect, special instances have been created containing single optima having a relatively low number of labels. The computational results for these instances are reported in Table 12. In particular for the larger instances a clear superiority of the BCP approach w.r.t. the corresponding B&C algorithm can be observed. For this special class of instances, the percentage of created label variables is always less than 30% of the total number of labels (reported in column “priced”). Although the importance of such instances may be quite limited for many purposes, the instances used for the data compression approach presented in [17] exhibit comparable properties. For the data-compression application presented therein, the BCP approach is thus a valuable and important mean for exactly solving large instances.

tab12
Table 12: Branch-and-cut-and-price results for a special class of instances containing many labels and isolated optima with a relatively low number of labels.
4.3.5. Summary

In Table 13, we finally report the best method for each group of instances from the three instance sets. For this purpose, variations including primal heuristic and using cycle-elimination cut separation are also considered. In the case a variant including a primal heuristic yields the best performance, we additionally report the best method not using primal heuristics. Formulations ECsn and ECsnh are the best formulations for almost all instances of SET-I, with the primal heuristic often yielding small improvements. The same is true for the instances of SET-II, where almost all variations of formulation EC are able to solve the considered instances in less than a second. For SET-III formulation DCut is superior for many instances with |𝐿|=3/4|𝐸|, whereas EC is better for instances with |𝐿|=1/4|𝐸|. In contrast to SET-I, it is beneficial to restrict the number of edges to |𝑉|1 as indicated with index “𝑡”. Additionally separating cycle-elimination cuts frequently yields the overall best method, in particular for instances with |𝐿|=3/4|𝐸|. Furthermore it can be observed that variants using separation of odd hole inequalities are frequently the overall best methods for this group.

tab13
Table 13: Overview of all test instances from SET-I, SET-II, and SET-III and corresponding best formulations.
4.4. Comparison to Other Work

In this section, we present direct comparisons to existing work, in particular [16]. Table 14 shows the results presented in [16], running times have been rounded to integers. Formulation “MLSTb” corresponds to formulation SCF of this work. Formulation “MLSTc” only uses a weaker coupling of labels to edges, given by the following inequalities:(𝑖,𝑗)𝐴𝑥𝑖𝑗||𝑉||𝑧min1,𝐴(𝑙)𝑙,𝑙𝐿.(4.1) Table 14 furthermore reports results for the implementation of the exact backtracking method from [1], labelled with “MLST-CL”. Table 15 shows the running times of selected MIP variants in comparison to our reimplementation of the flow formulation “MLSTb” from [16] (SCF). Formulation ECtn is clearly superior to the others, all instances have been solved in less than one second. Higher running times of SCF as opposed to “MLSTb” can be explained due to the fact that the SCIP framework [26] has been used for the implementation of SCF whereas “MLSTb” has been implemented with the ILOG CONCERT framework [27].

tab14
Table 14: Running times in seconds reported in [16], rounded to integers.
tab15
Table 15: Running times for instances that have been created according to specification from [16]. The first column lists the method for the corresponding row. In parenthesis the corresponding method from [16] is reported.

Table 16 shows the results of selected MIP variants in comparison to the exact 𝐴 backtracking-search procedure used in [12]. The 𝐴-algorithm is very effective for instances with small optimal objective value, but instances with larger objective values or large sets of labels cannot be solved. The time limit imposed by the authors of [12] was three hours. It is important to note that the running times listed in Table 16 are not directly comparable, as the authors of [12] list the computation time at which the best solution was obtained, and also different hardware has been used. For some groups, where 𝐴 could not solve all instance (indicated by “NF”), the MIP method was able to do so. Furthermore, it is reported if the MIP method could solve some but not all instances within some group. In any case the average objective value for the ten instances of each group is reported in column “avg(|𝐿𝑇|)”, also considering the best feasible solutions that have been found within the time limit of two hours. If all instances have not been solved to optimality, this is indicated with “(*)” in this particular columns.

tab16
Table 16: Comparison to results reported in [12] for the 𝐴-algorithm. Columns 𝑀𝐿𝑆𝑇𝐸𝐶𝑛 list the average total running times for each group of this particular MIP in seconds, columns 𝐴 list the running times in seconds (rounded to integers) reported in [12], at which the best solution was found.

In general, it can be observed that relatively small instances could be solved efficiently by the MIP approach, but, for larger instances with |𝑉|=400 and |𝑉|=500, it generally fails to produce provable optimal solutions within the allowed time limit.

4.5. Summary

For all formulations, the node-label-constraints (3.22) significantly improved running times and reduced the number of branch-and-bound nodes. Despite its relatively poor LP-relaxation, formulation ECtn turned out to be superior to the other ones for a broad class of test instances, which is mainly to the fast cut separation and the low number of involved variables. Amongst the other considered formulations, DCuttn is superior to ECtn for dense graphs with a huge number of labels.

The odd hole cuts (3.25) significantly improved running times and number of branch-and-bound nodes for some classes of instances, in particular when branching rules are deduced from the label sets corresponding to the found odd holes. Using BCP for dynamically adding new labels during the solution process turned out to be beneficial only in the case where the input instances significantly deviate from random label assignments, that is, where the optimal solution is much lower than the expectation value of randomly assigned labels. However, such solutions may likely easily be found also by heuristic methods. Nevertheless, this could remain the only way to prove optimality for “easy” large-scale instances.

5. Conclusions

In this work we presented a branch-and-cut- (and-price) framework for solving MLST instances exactly. We gave a comparison of an underlying flow-formulation in comparison to the (better) directed cut-based formulations, which has been applied for the MLST problem for the first time. Furthermore, a new connectivity formulation permitting a fast cutting-plane separation has been presented. We further introduced new valid inequalities to strengthen the formulations and the application of odd hole inequalities to this problem. To separate cutting-planes based on these odd hole inequalities, a new separation heuristic based on a mixed integer program using Miller-Tucker-Zemlin inequalities has been proposed.

Moreover, a detailed theoretical and computational comparison of the contribution of the presented algorithmic building blocks has been presented. Our results show that the presented framework is able to solve small- to medium-sized instances to optimality within a relatively short amount of time. Existing benchmark instances could be solved within a significantly shorter computation time than before, and new (larger) instances could be solved to proven optimality for the first time.

References

  1. R.-S. Chang and S.-J. Leu, “The minimum labeling spanning trees,” Information Processing Letters, vol. 63, no. 5, pp. 277–282, 1997. View at Publisher · View at Google Scholar · View at MathSciNet
  2. A. M. Chwatal, G. R. Raidl, and O. Dietzel, “Compressing fingerprint templates by solving an extended minimum label spanning tree problem,” in Proceedings of the 7th Metaheuristics International Conference (MIC '07), Montreal, Canada, 2007.
  3. S. O. Krumke and H.-C. Wirth, “On the minimum label spanning tree problem,” Information Processing Letters, vol. 66, no. 2, pp. 81–85, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. Y. Wan, G. Chen, and Y. Xu, “A note on the minimum label spanning tree,” Information Processing Letters, vol. 84, no. 2, pp. 99–101, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. Y. Xiong, B. Golden, and E. Wasil, “A one-parameter genetic algorithm for the minimum labeling spanning tree problem,” IEEE Transactions on Evolutionary Computation, vol. 9, no. 1, pp. 55–60, 2005. View at Publisher · View at Google Scholar
  6. S. Consoli, J. A. Moreno, N. Mladenovic, and K. Darby-Dowman, “Constructive heuristics for the minimum labelling spanning tree problem: a preliminary comparison,” Tech. Rep., DEIOC, 2006.
  7. Y. Xiong, B. Golden, and E. Wasil, “Improved heuristics for the minimum label spanning tree problem,” IEEE Transactions on Evolutionary Computation, vol. 10, no. 6, pp. 700–703, 2006. View at Publisher · View at Google Scholar
  8. J. Nummela and B. A. Julstrom, “An effective genetic algorithm for the minimum-label spanning tree problem,” in Proceedings of the 8th Annual Conference on Genetic and Evolutionary Computation (GECCO '06), pp. 553–558, ACM Press, 2006.
  9. T. Brüggemann, J. Monnot, and G. J. Woeginger, “Local search for the minimum label spanning tree problem with bounded color classes,” Operations Research Letters, vol. 31, no. 3, pp. 195–201, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. R. Cerulli, A. Fink, M. Gentili, and S. Voß, “Metaheuristics comparison for the minimum labelling spanning tree problem,” in The Next Wave in Computing, Optimization, and Decision Technologies, vol. 29 of Operations Research/Computer Science Interfaces Series, pp. 93–106, Springer, New York, NY, USA, 2005.
  11. S. Consoli, J. A. Moreno, N. Mladenovic, and K. Darby-Dowman, “Mejora de la exploracion y la explotacion de las heuristicas constructivas para el mlstp,” in Spanish Meeting on Metaheuristics, 2007.
  12. S. Consoli, K. Darby-Dowman, N. Mladenovic, and J. Moreno-Pérez, “Heuristics based on greedy randomized adaptive search and variable neighbourhood search for the minimum labelling spanning tree problem,” European Journal of Operational Research, vol. 196, no. 2, pp. 440–449, 2009.
  13. S. Consoli, K. Darby-Dowman, N. Mladenovic, and J. Moreno-Pérez, “Solving the minimum labelling spanning tree problem using hybrid local search,” Tech. Rep., Brunel University, 2007.
  14. S. Consoli, K. Darby-Dowman, N. Mladenović, and J. A. Moreno-Pérez, “Variable neighbourhood search for the minimum labelling Steiner tree problem,” Annals of Operations Research, vol. 172, pp. 71–96, 2009. View at Publisher · View at Google Scholar
  15. Y. Chen, N. Cornick, A. O. Hall, et al., “Comparison of heuristics for solving the gmlst problem,” in Telecommunications Modeling, Policy, and Technology, vol. 44 of Operations Research/Computer Science Interfaces Series, pp. 191–217, Springer, New York, NY, USA, 2008.
  16. M. E. Captivo, J. C. N. Clímaco, and M. M. B. Pascoal, “A mixed integer linear formulation for the minimum label spanning tree problem,” Computers & Operations Research, vol. 36, no. 11, pp. 3082–3085, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  17. A. M. Chwatal, G. R. Raidl, and K. Oberlechner, “Solving a k-node minimum label spanning arborescence problem to compress fingerprint templates,” Journal of Mathematical Modelling and Algorithms, vol. 8, no. 3, pp. 293–334, 2009. View at Publisher · View at Google Scholar
  18. G. L. Nemhauser and L. A. Wolsey, Integer and Combinatorial Optimization, John Wiley & Sons, New York, NY, USA, 1999.
  19. T. L. Magnanti and L. A. Wolsey, “Optimal trees,” in Network Models, M. O. Ball, et al., Ed., vol. 7 of Handbook in Operations Research and Management Science, pp. 503–615, North-Holland, Amsterdam, The Netherlands, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  20. M. Chimani, M. Kandyba, I. Ljubić, and P. Mutzel, “Obtaining optimal k-cardinality trees fast,” Journal on Experimental Algorithmics, vol. 14, pp. 2.5–2.23, 2009.
  21. I. Ljubić, Exact and memetic algorithms for two network design problems, Ph.D. thesis, Vienna University of Technology, Vienna, Austria, 2004.
  22. C. E. Miller, A. W. Tucker, and R. A. Zemlin, “Integer programming formulation of traveling salesman problems,” Journal of the Association for Computing Machinery, vol. 7, pp. 326–329, 1960. View at Zentralblatt MATH
  23. B. V. Cherkassky and A. V. Goldberg, “On implementing the push-relabel method for the maximum flow problem,” Algorithmica, vol. 19, no. 4, pp. 390–410, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  24. G. Cornuéjols and A. Sassano, “On the 0,1 facets of the set covering polytope,” Mathematical Programming, vol. 43, no. 1, pp. 45–55, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  25. M. Grötschel and O. Holland, “Solving matching problems with linear programming,” Mathematical Programming, vol. 33, no. 3, pp. 243–259, 1985. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  26. SCIP—Solving Constraint Integer Programs, “Konrad-Zuse-Zentrum für Informationstechnik Berlin,” Version 1.2, http://scip.zib.de/.
  27. ILOG Concert Technology, CPLEX. ILOG. Version 12.0, http://www.ilog.com/.