×

Heuristic and exact algorithms for minimum-weight non-spanning arborescences. (English) Zbl 1443.90325

Summary: We address the problem of finding an arborescence of minimum total edge weight rooted at a given vertex in a directed, edge-weighted graph. If the arborescence must span all vertices the problem is solvable in polynomial time, but the non-spanning version is NP-hard. We propose reduction rules which determine vertices that are required or can be excluded from optimal solutions, a modification of Edmonds algorithm to construct arborescences that span a given set of selected vertices, and embed this procedure into an iterated local search for good vertex selections. Moreover, we propose a cutset-based integer linear programming formulation, provide different linear relaxations to reduce the number of variables in the model and solve the reduced model using a branch-and-cut approach. We give extensive computational results showing that both the heuristic and the exact methods are effective and obtain better solutions on instances from the literature than existing approaches, often in much less time.

MSC:

90C35 Programming involving graphs or networks
90C10 Integer programming
90C57 Polyhedral combinatorics, branch-and-bound, branch-and-cut
90C59 Approximation methods and heuristics in mathematical programming

Software:

SCIP-Jack; irace
Full Text: DOI

References:

[1] Álvarez-Miranda, E.; Ljubić, I.; Luipersbeck, M.; Sinnl, M., Solving minimum-cost shared arborescence problems, European Journal of Operational Research, 258, 3, 887-901 (2017) · Zbl 1394.90429
[2] Blum, C. (2018). Personal communication.
[3] Blum, C.; Calvo, B., A matheuristic for the minimum weighted rooted arborescence problem, Journal Heuristics, 479-499 (2015)
[4] Blum, C.; Pinacho, P.; López-Ibáñez, M.; Lorenzon, J. A., Construct, merge, solve & adapt a new general algorithm for combinatorial optimization, Computers Operations Research, 68, 75-88 (2016) · Zbl 1349.90705
[5] Bock, F., An algorithm to construct a minimum directed spanning tree in a directed network, Proceedings of the Developments in Operations Research, volume 1 (proceedings of the third annual israel conference on operations research), 29-44 (1971) · Zbl 0235.90056
[6] Charikar, M.; Chekuri, C.; Cheung, T.-y.; Dai, Z.; Goel, A.; Guha, S.; Li, M., Approximation algorithms for directed steiner problems, Journal of Algebra, 33, 1, 73-91 (1999) · Zbl 0937.68155
[7] Chu, Y.; Liu, T., On the shortest arborescence of a directed graph, Scientia Sinica, 14, 1396-1400 (1965) · Zbl 0178.27401
[8] Dinic, E. A., Algorithm for solution of a problem of maximum flow in a network with power estimation, Soviet Doklady Mathematics, 11, 5, 1277-1280 (1970) · Zbl 0219.90046
[9] Duhamel, C.; Gouveia, L.; Moura, P., Models and heuristics for a minimum arborescence problem, Network, 51, 1, 34-47 (2008) · Zbl 1175.90059
[10] Edmonds, J., Optimum branchings, Journal of Research of the National Bureau of Standards, Section B, 71, 233-240 (1967) · Zbl 0155.51204
[11] Fischetti, M., Facets of two steiner arborescence polyhedra, Mathematical Programming, 51, 1, 401-419 (1991) · Zbl 0744.90090
[12] Fischetti, M.; Toth, P., An efficient algorithm for the min-sum arborescence problem on complete digraphs, ORSA Journal Computer, 5, 4, 426-434 (1993) · Zbl 0789.90082
[13] Fu, Z.-H.; Hao, J.-K., Swap-vertex based neighborhood for steiner tree problems, Mathematical Programming Computation, 9, 2, 297-320 (2017) · Zbl 1387.90214
[14] Gamrath, G.; Koch, T.; Maher, S.; Rehfeldt, D.; Shinano, Y., SCIP-Jack-a solver for STP and variants with parallelization extensions, Mathematical Programming Computation, 9, 2, 231-296 (2017) · Zbl 1387.90133
[15] Garey, M. R.; Johnson, D. S., Computers and intractability: A guide to the theory of NP-completeness (1979), Freeman · Zbl 0411.68039
[16] Goemans, M.; Myung, Y.-S., A catalog of steiner tree formulations, Network, 23, 1, 19-28 (1993) · Zbl 0794.90074
[17] Goemans, M. X., Polyhedral description of trees and arborescences, Proceedings of the Integration Progress Combs Optical, 1-14 (1992)
[18] Goemans, M. X., Arborescence polytopes for series-parallel graphs, Discrete Applied Mathematics, 51, 277-289 (1994) · Zbl 0802.05040
[19] Gollowitzer, S.; Ljubić, I., MIP models for connected facility location: A theoretical and computational study, Computers Operations Research, 38, 2, 435-449 (2011) · Zbl 1231.90267
[20] Graham, A. J.; Pike, D. A., A note on thresholds and connectivity in random directed graphs, The Atlantic Electronic Journal of Mathematics, 1-5 (2008) · Zbl 1291.05186
[21] Hwang, F. K.; Richards, D. S.; Winter, P., The Steiner Tree Problem, Ann. Discrete Math., 53 (1992), Elsevier · Zbl 0774.05001
[22] Johnston, J. J.; Kelley, R. I.; Crawford, T. O.; Morton, D. H.; Agarwala, R.; Koch, T.; Biesecker, L. G., A novel nemaline myopathy in the amish caused by a mutation in troponin t1, American Journal of Human Genetics, 67, 4, 814-821 (2000)
[23] Leitner, M.; Ljubić, I.; Luipersbeck, M.; Sinnl, M., A dual ascent-based branch-and-bound framework for the prize-collecting steiner tree and related problems, INFORMS Journal on Computing, 30, 2, 402-420 (2018) · Zbl 1446.90060
[24] Ljubić, I.; Weiskircher, R.; Pferschy, U.; Klau, G. W.; Mutzel, P.; Fischetti, M., An algorithmic framework for the exact solution of the prize-collecting steiner tree problem, Mathematical Programming, 105, 2, 427-449 (2006) · Zbl 1085.90061
[25] Lourenço, H. R.; Martin, O. C.; Stützle, T., Iterated local search, (Glover, F.; Kochenberger, G. A. (2003), Springer US: Springer US Boston, MA), 320-353) · Zbl 1116.90412
[26] López-Ibáñez, M.; Dubois-Lacoste, J.; Pérez Cáceres, L.; Stützle, T.; Birattari, M., The irace package: Iterated racing for automatic algorithm configuration, Operations Research Perspectives, 3, 43-58 (2016)
[27] Mateo, S.; Blum, C.; Fua, P.; Türetgen, E., Hybrid algorithms for the minimum-weight rooted arborescence problem, (Birattari, M.; Blum, C.; Christensen, A. L.; Engelbrecht, A. P.; GroB, R.; Dorigo, M.; Stützle, T., Proceedings of the Swarm intelligence: 8th international conference, ants 2012. Proceedings of the Swarm intelligence: 8th international conference, ants 2012, LNCS (2012)), 61-72
[28] Mehrotra, A.; Johnson, E. L.; Nemhauser, G. L., An optimization based heuristic for political districting, Management Science, 44, 8, 1100-1114 (1998) · Zbl 0988.90542
[29] Rehfeldt, D. M. (2015). A generic approach to solving the steiner tree problem and variants. Master’s thesis.TU Berlin.
[30] Tarjan, R. E., Finding optimum branchings, Network, 7, 25-35 (1977) · Zbl 0379.90100
[31] Venkata Rao, V.; Mc Ginnis, L. F., The minimum weight rooted arborescence problem: a branch and bound solution, Technical Report (1984), Indian Institute of Management: Indian Institute of Management Ahmedabad
[32] Venkata Rao, V.; Sridharan, R., The minimum weight rooted arborescence problems: weights on arcs case, Technical Report (1992), Indian Institute of Management: Indian Institute of Management Ahmedabad
[33] Venkata Rao, V.; Sridharan, R., Minimum-weight rooted not-necessarily-spanning arborescence problem, Network, 39, 2, 77-87 (2002) · Zbl 1001.90059
[34] Watel, D.; Weisser, M.-A., A practical greedy approximation for the directed steiner tree problem, Journal of Combinatorial Optimization, 32, 4, 1327-1370 (2016) · Zbl 1356.90151
[35] Wong, R. T., A dual ascent approach for Steiner tree problems on a directed graph, Mathematical Programming, 28, 3, 271-287 (1984) · Zbl 0532.90092
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.