Isolde Adler ; Georg Gottlob ; Martin Grohe
-
Hypertree-Width and Related Hypergraph Invariants
dmtcs:3424 -
Discrete Mathematics & Theoretical Computer Science,
January 1, 2005,
DMTCS Proceedings vol. AE, European Conference on Combinatorics, Graph Theory and Applications (EuroComb '05)
-
https://doi.org/10.46298/dmtcs.3424
Hypertree-Width and Related Hypergraph InvariantsArticle
Authors: Isolde Adler 1; Georg Gottlob 2; Martin Grohe 3
NULL##0000-0002-2353-5230##0000-0002-0292-9142
Isolde Adler;Georg Gottlob;Martin Grohe
1 Mathematisches Institut, Abteilung für Mathematische Logik
2 Institut für Informationssysteme [Wien]
3 Institut fur Informatik
We study the notion of hypertree-width of hypergraphs. We prove that, up to a constant factor, hypertree-width is the same as a number of other hypergraph invariants that resemble graph invariants such as bramble-number, branch-width, linkedness, and the minimum number of cops required to win Seymour and Thomas's robber and cops game.
Complementary Approaches to Constraint Satisfaction; Code: P 17222
Bibliographic References
7 Documents citing this article
Zineb Younsi;Kamal Amroun;Farida Bouarab-Dahmani;Sofia Bennai, 2022, HSJ-Solver: a new method based on GHD for answering conjunctive queries and solving constraint satisfaction problems, Applied Intelligence, 53, 13, pp. 17226-17239, 10.1007/s10489-022-04361-y.
Kamal Amroun;Zineb Habbas;Wassila Aggoune-Mtalaa, 2016, A compressed Generalized Hypertree Decomposition-based solving technique for non-binary Constraint Satisfaction Problems, AI Communications, 29, 2, pp. 371-392, 10.3233/aic-150694.
Zineb Habbas;Kamal Amroun;Daniel Singer, 2015, Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints, French digital mathematics library (Numdam), 50, 2, pp. 241-267, 10.1051/ro/2015017, http://www.numdam.org/articles/10.1051/ro/2015017/.
Georg Gottlob;Gianluigi Greco;Bruno Marnette, Lecture notes in computer science, HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results, pp. 87-99, 2009, 10.1007/978-3-642-02029-2_9.
Fedor V. Fomin;Dimitrios M. Thilikos, 2008, An annotated bibliography on guaranteed graph searching, Theoretical Computer Science, 399, 3, pp. 236-245, 10.1016/j.tcs.2008.02.040.
Francesco Scarcello;Georg Gottlob;Gianluigi Greco, Lecture notes in computer science, Uniform Constraint Satisfaction Problems and Database Theory, pp. 156-195, 2008, 10.1007/978-3-540-92800-3_7.
Martin Grohe, Lecture notes in computer science, The Structure of Tractable Constraint Satisfaction Problems, pp. 58-72, 2006, 10.1007/11821069_5.