Lower bounds and exact algorithms for the quadratic minimum spanning tree problem. (November 2015)

• Record Type: Journal Article
• Authors: Pereira, Dilson Lucas; Gendreau, Michel; da Cunha, Alexandre Salles
• Is Part Of: Computers & operations research. Volume 63(2015)
• Page Start: 149
• Page End: 160
• Publication Date: 2015-11
• Subjects: Quadratic 0-1 programming -- Lagrangian relaxation -- Spanning trees; Operations research -- Periodicals; Electronic digital computers -- Periodicals; 004.05
• DOI: 10.1016/j.cor.2015.04.020
• Languages: English
• ISSNs: 0305-0548

Abstract

Abstract: We address the quadratic minimum spanning tree problem (QMSTP), the problem of finding a spanning tree of a connected and undirected graph such that a quadratic cost function is minimized. We first propose an integer programming formulation based on the reformulation–linearization technique (RLT). We then use the idea of partitioning spanning trees into forests of a given fixed size and obtain a QMSTP reformulation that generalizes the RLT model. The reformulation is such that the larger the size of the forests, the stronger lower bounds provided. Thus, a hierarchy of formulations is obtained. At the lowest hierarchy level, one has precisely the RLT formulation, which is already stronger than previous formulations in the literature. The highest hierarchy level provides the convex hull of integer feasible solutions for the problem. The formulations introduced here are not compact, so the direct evaluation of their linear programming relaxation bounds is not practical. To overcome that, we introduce two lower bounding procedures based on Lagrangian relaxation. These procedures are embedded into two parallel branch-and-bound algorithms. As a result of our study, several instances in the literature were solved to optimality for the first time. Abstract : Highlights: We provide reformulations for the quadratic minimum spanning tree problem. Two parallel branch-and-bound algorithms are implemented. For the first time, several instances are solved to proven optimality.