Advertisement

Algorithmica

, Volume 81, Issue 2, pp 439–475 | Cite as

Turbocharging Treewidth Heuristics

  • Serge Gaspers
  • Joachim Gudmundsson
  • Mitchell Jones
  • Julián Mestre
  • Stefan RümmeleEmail author
Article
  • 40 Downloads

Abstract

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 treewidthk, 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.

Keywords

Tree decomposition Heuristic Fixed-parameter tractability Local search 

Notes

Acknowledgements

We thank Michael R. Fellows for inspiring this line of research.

References

  1. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bodlaender, H.L.: A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput. 25(6), 1305–1317 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bodlaender, H.L., Koster, A.M.C.A.: Treewidth computations I. Upper bounds. Inf. Comput. 208(3), 259–275 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 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)MathSciNetCrossRefGoogle Scholar
  5. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman (1979)Google Scholar
  7. 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)Google Scholar
  8. 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
  9. 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)Google Scholar
  10. 10.
    Hartung, S., Niedermeier, R.: Incremental list coloring of graphs, parameterized by conservation. Theor. Comput. Sci. 494, 86–98 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 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)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.UNSW SydneySydneyAustralia
  2. 2.Data61, CSIROCanberraAustralia
  3. 3.University of SydneyCamperdownAustralia
  4. 4.University of Illinois at Urbana-ChampaignChampaignUSA

Personalised recommendations