PACE Solver Description: Fluid

Authors Max Bannach , Sebastian Berndt , Martin Schuster, Marcel Wienöbst

Thumbnail PDF


  • Filesize: 341 kB
  • 3 pages

Document Identifiers

Author Details

Max Bannach
  • Institute for Theoretical Computer Science, Universität zu Lübeck, Germany
Sebastian Berndt
  • Institute for IT Security, Universität zu Lübeck, Germany
Martin Schuster
  • Institute for Epidemiology, Kiel University, Germany
Marcel Wienöbst
  • Institute for Theoretical Computer Science, Universität zu Lübeck, Germany

Cite AsGet BibTex

Max Bannach, Sebastian Berndt, Martin Schuster, and Marcel Wienöbst. PACE Solver Description: Fluid. In 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 180, pp. 27:1-27:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


This document describes the heuristic for computing treedepth decompositions of undirected graphs used by our solve fluid. The heuristic runs four different strategies to find a solution and finally outputs the best solution obtained by any of them. Two strategies are score-based and iteratively remove the vertex with the best score. The other two strategies iteratively search for vertex separators and remove them. We also present implementation strategies and data structures that significantly improve the run time complexity and might be interesting on their own.

Subject Classification

ACM Subject Classification
  • Theory of computation → Parameterized complexity and exact algorithms
  • treedepth
  • heuristics


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Bernard A. Galler and Michael J. Fischer. An improved equivalence algorithm. Commun. ACM, 7(5):301-303, 1964. Google Scholar
  2. Denes König. Über Graphen und ihre Anwendung auf Determinantentheorie und Mengenlehre. Mathematische Annalen, 77(4):453-465, 1916. URL:
  3. Ferran Parés, Dario Garcia Gasulla, Armand Vilalta, Jonatan Moreno, Eduard Ayguadé, Jesús Labarta, Ulises Cortés, and Toyotaro Suzumura. Fluid communities: A competitive, scalable and diverse community detection algorithm. In Chantal Cherifi, Hocine Cherifi, Márton Karsai, and Mirco Musolesi, editors, Complex Networks & Their Applications VI, pages 229-240, Cham, 2018. Springer International Publishing. Google Scholar