×

The minimum spanning tree problem with conflict constraints and its variations. (English) Zbl 1241.90167

Summary: We consider the minimum spanning tree problem with conflict constraints (MSTC). The problem is known to be strongly NP-hard and computing even a feasible solution is NP-hard. When the underlying graph is a cactus, we show that the feasibility problem is polynomially bounded whereas the optimization version is still NP-hard. When the conflict graph is a collection of disjoint cliques, (equivalently, when the conflict relation is transitive) we observe that MSTC can be solved in polynomial time. We also identify other special cases of MSTC that can be solved in polynomial time. Exploiting these polynomially solvable special cases we derive strong lower bounds. Also, various heuristic algorithms and feasibility tests are discussed along with preliminary experimental results. As a byproduct of this investigation, we show that if an \(\epsilon \)-optimal solution to the maximum clique problem can be obtained in polynomial time, then a (\(3\epsilon - 1\))-optimal solution to the maximum edge clique partitioning (Max-ECP) problem can be obtained in polynomial time. As a consequence, we have a polynomial time approximation algorithm for the Max-ECP with performance ratio \(O \left( \frac {n(\log \log)^2}{\log^3 n}\right)\), improving the best previously known bound of \(O(n)\).

MSC:

90C35 Programming involving graphs or networks
90C60 Abstract computational complexity for mathematical programming problems
90C27 Combinatorial optimization
Full Text: DOI

References:

[1] Hwang, F. K.; Richards, D. S.; Winter, P., The Steiner Tree Problem (1992), North-Holland: North-Holland New York · Zbl 0774.05001
[2] Narula, S. C.; Ho, C. A., Degree-constrained minimum spanning tree, Computer and Operation Reserch, 7, 239-249 (1980)
[3] Amberg, A.; Domschke, W.; Voß, S., Capacitated minimum spanning trees: algorithms using intelligent search, Combinatorial Optimization: Theory and Practice, 1, 9-40 (1996)
[4] A. Darmann, U. Pferschy, J. Schauer, Minimal spanning trees with conflict graphs. 2009. Optimization online, http://www.optimization-online.org/DB_HTML/2009/01/2188.html; A. Darmann, U. Pferschy, J. Schauer, Minimal spanning trees with conflict graphs. 2009. Optimization online, http://www.optimization-online.org/DB_HTML/2009/01/2188.html · Zbl 1260.68171
[5] A. Darmann, U. Pferschy, S. Schauer, G. Woeginger, J. Paths, Trees and Matchings under Disjunctive Constraints, 2009, Optimization onlinehttp://www.optimization-online.org/DB_HTML/2009/10/2422.html; A. Darmann, U. Pferschy, S. Schauer, G. Woeginger, J. Paths, Trees and Matchings under Disjunctive Constraints, 2009, Optimization onlinehttp://www.optimization-online.org/DB_HTML/2009/10/2422.html
[6] A.P. Punnen, R. Zhang, Quadratic bottleneck problems, Manuscript, Simon Fraser University, 2009 (submitted for publication).; A.P. Punnen, R. Zhang, Quadratic bottleneck problems, Manuscript, Simon Fraser University, 2009 (submitted for publication).
[7] R. Zhang, A.P. Punnen, Quadratic Bottleneck Optimization Problems, Presentation at CORS, London, Ontario, 2007.; R. Zhang, A.P. Punnen, Quadratic Bottleneck Optimization Problems, Presentation at CORS, London, Ontario, 2007.
[8] Gutin, G.; Punnen, A. P., The Traveling Salesman Problem and Its Variations (2002), Kluwer: Kluwer Dordrecht · Zbl 0996.00026
[9] Brezovec, C.; Cornuéjols, G.; Glover, F., Two algorithms for weighted matroid intersection, Mathematical Programming, 36, 39-53 (1986) · Zbl 0632.90045
[10] Edmonds, J., Matroid intersection, Annals of Discrete Mathematics, 4, 39-49 (1979) · Zbl 0416.05025
[11] Dessmark, A.; Jansson, J.; Lingas, A.; Lundell, E.-M.; Persson, M., On the approximability of maximum and minimum edge clique partition problems, International Journal of Foundations of Computer Science, 18, 217-226 (2007) · Zbl 1112.68136
[12] S. Khot, Improved inapproximability results for maxclique, chromatic number, and approximate graph coloring, in: Proceedings of the 42nd IEEE symposium on Foundations of Computer Science, FOCS, 2001, pp. 600-609.; S. Khot, Improved inapproximability results for maxclique, chromatic number, and approximate graph coloring, in: Proceedings of the 42nd IEEE symposium on Foundations of Computer Science, FOCS, 2001, pp. 600-609.
[13] Feder, T., Network flow and 2-satisfiability, Algorithmica, 11, 291-319 (1994) · Zbl 0795.68097
[14] Aspvall, B.; Plass, M. F.; Tarjan, R. E., A linear-time algorithm for testing the truth of certain quantified Boolean formulas, Information Processing Letters, 8, 121-123 (1979) · Zbl 0398.68042
[15] Welsh, D. J.A., Matroid Theory (1976), Academic Press · Zbl 0343.05002
[16] Brezovec, C.; Cornuéjols, G.; Glover, F., A matroid algorithm and its application to the efficient solution of two optimization problems on graphs, Mathematical Programming, 42, 471-487 (1988) · Zbl 0665.90076
[17] A. Figueroa, A. Goldstein, T. Jiang, M. Kurowski, A. Lingas, M. Persson, Approximate clustering of fingerprint vectors with missing values, in: In Proc. 11th Computing: The Australasian Theory Symposium (CATS), vol. 41, 2005, pp. 57-60.; A. Figueroa, A. Goldstein, T. Jiang, M. Kurowski, A. Lingas, M. Persson, Approximate clustering of fingerprint vectors with missing values, in: In Proc. 11th Computing: The Australasian Theory Symposium (CATS), vol. 41, 2005, pp. 57-60.
[18] Feige, U., Approximating maximum clique by removing subgraphs, SIAM Journal on Discrete Mathematics, 18, 219-225 (2005) · Zbl 1068.05052
[19] Assad, A.; Xu, W., The quadratic minimum spanning tree problem, Naval Research Logistics, 39, 399-417 (1992) · Zbl 0769.90078
[20] R. Cordone, G. Passeri, Heuristic and exact approaches for the quadratic minimum spanning tree problem, in: CTW 2008 Seventh Cologne Twente Workshop on Graphs and Combinatorial Optimization, Italy, Gargano, University of Milan, 2008, 525.; R. Cordone, G. Passeri, Heuristic and exact approaches for the quadratic minimum spanning tree problem, in: CTW 2008 Seventh Cologne Twente Workshop on Graphs and Combinatorial Optimization, Italy, Gargano, University of Milan, 2008, 525.
[21] Oncan, T.; Punnen, A. P., The quadratic minimum spanning tree problem: a lower bounding procedure and an efficient search algorithm, Computers and Operations Research, 37, 1762-1773 (2010) · Zbl 1188.90268
[22] Zhou, G.; Gen, M., Genetic algorithm approach on multi-criteria minimum spanning tree problem, European Journal of Operational Research, 114, 141-152 (1999) · Zbl 0945.90009
[23] Shor, N. Z., (Minimization Methods for Non-Differentiable Functions. Minimization Methods for Non-Differentiable Functions, Springer Series in Comoputational Mathematics (1985), Springer) · Zbl 0561.90058
[24] Barahona, F.; Anbil, R., The volume algorithm: producing primal solutions with a subgradient method, Mathematical Programming, 87, 385-399 (2000) · Zbl 0961.90058
[25] Glover, F., Tabu thresholding: improved search trajectories by non-monotonic search trajectories, ORSA Journal on Computing, 7, 426-442 (1995) · Zbl 0843.90097
[26] Bennell, J. A.; Dowsland, K. A., A tabu thresholding implementation for the irregular cutting problem, International Journal of Production Research, 37, 4259-4275 (1999) · Zbl 0949.90606
[27] Castelino, D.; Stephens, N., A surrogate constraint tabu thresholding implementation for the frequency assignment problem, Annals of Operations Research, 86, 259-270 (1999) · Zbl 0921.90127
[28] A. Kaveh, A.P. Punnen, Randomized local search and improved solutions for the microarray QAP, Manuscript, SFU Mathematics department, 2008.; A. Kaveh, A.P. Punnen, Randomized local search and improved solutions for the microarray QAP, Manuscript, SFU Mathematics department, 2008.
[29] Glover, F., Tabu search: part I, ORSA J. Comput., 1, 190-206 (1989) · Zbl 0753.90054
[30] Glover, F., Tabu search: part II, ORSA J. Comput., 2, 4-32 (1990) · Zbl 0771.90084
[31] Magnanti, T. L.; Wolsey, L. A., Optimal trees, (Ball, M. O.; Magnanti, T. L.; Monma, C. L.; Nemhauser., G. L., Network Models. Network Models, Handbook in Operations Research and Management Science, vol. 7 (1995), North-Holland: North-Holland Amsterdam), 503-615 · Zbl 0839.90135
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.