The Angular Constrained Minimum Spanning Tree Problem (\(\alpha \)-MSTP) is defined in terms of a complete undirected graph \(G=(V,E)\) and an angle \(\alpha \in (0,2\pi ]\). Vertices of G define points in the Euclidean plane while edges, the line segments connecting them, are weighted by the Euclidean distance between their endpoints. A spanning tree is an \(\alpha \)-spanning tree (\(\alpha \)-ST) of G if, for any \(i \in V\), the smallest angle that encloses all line segments corresponding to its i-incident edges does not exceed \(\alpha \). \(\alpha \)-MSTP consists in finding an \(\alpha \)-ST with the least weight. In this work, we discuss families of \(\alpha \)-MSTP valid inequalities. One of them is a lifting of existing angular constraints found in the literature and the others come from the Stable Set polytope, a structure behind \(\alpha \)-STs disclosed here. We show that despite being already satisfied by the previously strongest known formulation, \({\mathcal {F}}_{xy}\), these lifted angular constraints are capable of strengthening another existing \(\alpha \)-MSTP model so that both become equally strong, at least for the instances tested here. Inequalities from the Stable Set polytope improve the best known Linear Programming Relaxation (LPRs) bounds by about 1.6%, on average, for the hardest instances of the problem. Additionally, we indicate how formulation \({\mathcal {F}}_{xy}\) can be more effectively used in Branch-and-cut (BC) algorithms, by reducing the number of variables explicitly enforced to be integer constrained and by eliminating constraints that do not change the quality of its LPR bounds. Extensive computational experiments conducted here suggest that the combination of the ideas above allows us to redefine the best performing \(\alpha \)-MSTP algorithms, for almost the entire spectrum of \(\alpha \) values, the exception being the easy instances, those with \(\alpha \ge \frac{2\pi }{3}\). In particular, for the hardest ones (corresponding to \(\alpha \in \{\frac{\pi }{2}, \frac{\pi }{3},\frac{2\pi }{5}\}\)) that could be solved to proven optimality, the best BC algorithm suggested here improves on average CPU times by factors of up to 5, on average.
Read full abstract