×

Turbocharging treewidth heuristics. (English) Zbl 1411.68144

Summary: A widely used class of algorithms for computing tree decompositions of graphs are heuristics that compute an elimination order, i.e., a permutation of the vertex set. In this paper, we propose to turbocharge these heuristics. For a target treewidth \(k\), suppose the heuristic has already computed a partial elimination order of width at most \(k\), but extending it by one more vertex exceeds the target width \(k\). At this moment of regret, we solve a subproblem which is to recompute the last \(c\) positions of the partial elimination order such that it can be extended without exceeding width \(k\). We show that this subproblem is fixed-parameter tractable when parameterized by \(k\) and \(c\), but it is para-NP-hard and W[1]-hard when parameterized by only \(k\) or \(c\), respectively. Our experimental evaluation of the FPT algorithm shows that we can trade a reasonable increase of the running time for the quality of the solution.

MSC:

68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
05C05 Trees
05C85 Graph algorithms (graph-theoretic aspects)
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68Q25 Analysis of algorithms and problem complexity
68R10 Graph theory (including graph drawing) in computer science

References:

[1] Arnborg, S., Corneil, D.G., Proskurowski, A.: Complexity of finding embeddings in ak-tree. SIAM J. Algebraic Discrete Methods 8(2), 277-284 (1987) · Zbl 0611.05022 · doi:10.1137/0608024
[2] Bodlaender, H.L.: A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput. 25(6), 1305-1317 (1996) · Zbl 0864.68074 · doi:10.1137/S0097539793251219
[3] Bodlaender, H.L., Koster, A.M.C.A.: Treewidth computations I. Upper bounds. Inf. Comput. 208(3), 259-275 (2010) · Zbl 1186.68328 · doi:10.1016/j.ic.2009.03.008
[4] Downey, R., Egan, J., Fellows, M.R., Rosamond, F., Shaw, P.: Dynamic dominating set and turbo-charging greedy heuristics. Tsinghua Sci. Technol. 19, 329-337 (2014) · Zbl 1485.68244 · doi:10.1109/TST.2014.6867515
[5] Downey, R.G., Fellows, M.R.: Fixed-parameter tractability and completeness II: on completeness for W[1]. Theor. Comput. Sci. 141(1&2), 109-131 (1995) · Zbl 0873.68059 · doi:10.1016/0304-3975(94)00097-3
[6] Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman (1979) · Zbl 0411.68039
[7] Gaspers, S., Gudmundsson, J., Jones, M., Mestre, J., Rümmele, S.: Turbocharging treewidth heuristics. In: Guo, J., Hermelin, D. (eds.) 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, LIPIcs, vol. 63, pp. 13:1-13:13 (2016) · Zbl 1398.68490
[8] Gaspers, S., Gudmundsson, J., Jones, M., Mestre, J., Rümmele, S.: Turbocharging treewidth heuristics (2016). https://github.com/mfjones/pace2016. Accessed 4 Aug 2018 · Zbl 1398.68490
[9] Gogate, V., Dechter, R.: A complete anytime algorithm for treewidth. In: Proceedings of the 20th Conference on Uncertainty in Artificial Intelligence (UAI), pp. 201-208. AUAI Press (2004)
[10] Hartung, S., Niedermeier, R.: Incremental list coloring of graphs, parameterized by conservation. Theor. Comput. Sci. 494, 86-98 (2013) · Zbl 1294.68085 · doi:10.1016/j.tcs.2012.12.049
[11] Koster, A.M.C.A., Bodlaender, H.L., van Hoesel, S.P.M.: Treewidth: computational experiments. Electron. Notes Discrete Math. 8, 54-57 (2001) · Zbl 1409.05176 · doi:10.1016/S1571-0653(05)80078-2
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.