Structural Parameterizations of Clique Coloring

A clique coloring of a graph is an assignment of colors to its vertices such that no maximal clique is monochromatic. We initiate the study of structural parameterizations of the Clique Coloring problem which asks whether a given graph has a clique coloring with q colors. For fixed $$q \ge 2$$ q ≥ 2 , we give an $$\mathscr {O}^{\star }(q^{{\mathsf {tw}}})$$ O ⋆ ( q tw ) -time algorithm when the input graph is given together with one of its tree decompositions of width $${\mathsf {tw}} $$ tw . We complement this result with a matching lower bound under the Strong Exponential Time Hypothesis. We furthermore show that (when the number of colors is unbounded) Clique Coloring is $$\mathsf {XP}$$ XP parameterized by clique-width.

Chordality in Matroids: In Search of the Converse to Hliněný's Theorem

<p>Bodlaender et al. [7] proved a converse to Courcelle's Theorem for graphs [15] for the class of chordal graphs of bounded treewidth. Hliněný [25] generalised Courcelle's Theorem for graphs to classes of matroids represented over finite fields and of bounded branchwidth. This thesis has investigated the possibility of obtaining a generalisation of chordality to matroids that would enable us to prove a converse of Hliněný's Theorem [25]. There is a variety of equivalent characterisations for chordality in graphs. We have investigated the relationship between their generalisations to matroids. We prove that they are equivalent for binary matroids but typically inequivalent for more general classes of matroids. Supersolvability is a well studied property of matroids and, indeed, a graphic matroid is supersolvable if and only if its underlying graph is chordal. This is among the stronger ways of generalising chordality to matroids. However, to obtain the structural results that we need we require a stronger property that we call supersolvably saturated. Chordal graphs are well known to induce canonical tree decompositions. We show that supersolvably saturated matroids have the same property. These tree decompositions of supersolvably saturated matroids can be processed by a finite state automaton. However, they can not be completely described in monadic second-order logic. In order to express the matroids and their tree decompositions in monadic second-order logic we need to extend the logic over an extension field for each matroid represented over a finite field. We then use the fact that each maximal round modular flat of the tree decomposition for every matroid represented over a finite field, and in the specified class, spans a point in the vector space over the extension field. This enables us to derive a partial converse to Hliněný's Theorem.</p>

Chordality in Matroids: In Search of the Converse to Hliněný's Theorem

<p>Bodlaender et al. [7] proved a converse to Courcelle's Theorem for graphs [15] for the class of chordal graphs of bounded treewidth. Hliněný [25] generalised Courcelle's Theorem for graphs to classes of matroids represented over finite fields and of bounded branchwidth. This thesis has investigated the possibility of obtaining a generalisation of chordality to matroids that would enable us to prove a converse of Hliněný's Theorem [25]. There is a variety of equivalent characterisations for chordality in graphs. We have investigated the relationship between their generalisations to matroids. We prove that they are equivalent for binary matroids but typically inequivalent for more general classes of matroids. Supersolvability is a well studied property of matroids and, indeed, a graphic matroid is supersolvable if and only if its underlying graph is chordal. This is among the stronger ways of generalising chordality to matroids. However, to obtain the structural results that we need we require a stronger property that we call supersolvably saturated. Chordal graphs are well known to induce canonical tree decompositions. We show that supersolvably saturated matroids have the same property. These tree decompositions of supersolvably saturated matroids can be processed by a finite state automaton. However, they can not be completely described in monadic second-order logic. In order to express the matroids and their tree decompositions in monadic second-order logic we need to extend the logic over an extension field for each matroid represented over a finite field. We then use the fact that each maximal round modular flat of the tree decomposition for every matroid represented over a finite field, and in the specified class, spans a point in the vector space over the extension field. This enables us to derive a partial converse to Hliněný's Theorem.</p>

Linked Tree-Decompositions of Infinite Represented Matroids

<p>It is natural to try to extend the results of Robertson and Seymour's Graph Minors Project to other objects. As linked tree-decompositions (LTDs) of graphs played a key role in the Graph Minors Project, establishing the existence of ltds of other objects is a useful step towards such extensions. There has been progress in this direction for both infinite graphs and matroids. Kris and Thomas proved that infinite graphs of finite tree-width have LTDs. More recently, Geelen, Gerards and Whittle proved that matroids have linked branch-decompositions, which are similar to LTDs. These results suggest that infinite matroids of finite treewidth should have LTDs. We answer this conjecture affirmatively for the representable case. Specifically, an independence space is an infinite matroid, and a point configuration (hereafter configuration) is a represented independence space. It is shown that every configuration having tree-width has an LTD k E w (kappa element of omega) of width at most 2k. Configuration analogues for bridges of X (also called connected components modulo X) and chordality in graphs are introduced to prove this result. A correspondence is established between chordal configurations only containing subspaces of dimension at most k E w (kappa element of omega) and configuration tree-decompositions having width at most k. This correspondence is used to characterise finite-width LTDs of configurations by their local structure, enabling the proof of the existence result. The theory developed is also used to show compactness of configuration tree-width: a configuration has tree-width at most k E w (kappa element of omega) if and only if each of its finite subconfigurations has tree-width at most k E w (kappa element of omega). The existence of LTDs for configurations having finite tree-width opens the possibility of well-quasi-ordering (or even better-quasi-ordering) by minors those independence spaces representable over a fixed finite field and having bounded tree-width.</p>

Linked Tree-Decompositions of Infinite Represented Matroids

<p>It is natural to try to extend the results of Robertson and Seymour's Graph Minors Project to other objects. As linked tree-decompositions (LTDs) of graphs played a key role in the Graph Minors Project, establishing the existence of ltds of other objects is a useful step towards such extensions. There has been progress in this direction for both infinite graphs and matroids. Kris and Thomas proved that infinite graphs of finite tree-width have LTDs. More recently, Geelen, Gerards and Whittle proved that matroids have linked branch-decompositions, which are similar to LTDs. These results suggest that infinite matroids of finite treewidth should have LTDs. We answer this conjecture affirmatively for the representable case. Specifically, an independence space is an infinite matroid, and a point configuration (hereafter configuration) is a represented independence space. It is shown that every configuration having tree-width has an LTD k E w (kappa element of omega) of width at most 2k. Configuration analogues for bridges of X (also called connected components modulo X) and chordality in graphs are introduced to prove this result. A correspondence is established between chordal configurations only containing subspaces of dimension at most k E w (kappa element of omega) and configuration tree-decompositions having width at most k. This correspondence is used to characterise finite-width LTDs of configurations by their local structure, enabling the proof of the existence result. The theory developed is also used to show compactness of configuration tree-width: a configuration has tree-width at most k E w (kappa element of omega) if and only if each of its finite subconfigurations has tree-width at most k E w (kappa element of omega). The existence of LTDs for configurations having finite tree-width opens the possibility of well-quasi-ordering (or even better-quasi-ordering) by minors those independence spaces representable over a fixed finite field and having bounded tree-width.</p>

Constructing tree decompositions of graphs with bounded gonality

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most k, when an effective divisor of degree k that reaches all vertices is given. We also give a similar result for two related notions: stable divisorial gonality and stable gonality.

DynASP2.5: Dynamic Programming on Tree Decompositions in Action

Efficient exact parameterized algorithms are an active research area. Such algorithms exhibit a broad interest in the theoretical community. In the last few years, implementations for computing various parameters (parameter detection) have been established in parameterized challenges, such as treewidth, treedepth, hypertree width, feedback vertex set, or vertex cover. In theory, instances, for which the considered parameter is small, can be solved fast (problem evaluation), i.e., the runtime is bounded exponential in the parameter. While such favorable theoretical guarantees exists, it is often unclear whether one can successfully implement these algorithms under practical considerations. In other words, can we design and construct implementations of parameterized algorithms such that they perform similar or even better than well-established problem solvers on instances where the parameter is small. Indeed, we can build an implementation that performs well under the theoretical assumptions. However, it could also well be that an existing solver implicitly takes advantage of a structure, which is often claimed for solvers that build on Sat-solving. In this paper, we consider finding one solution to instances of answer set programming (ASP), which is a logic-based declarative modeling and solving framework. Solutions for ASP instances are so-called answer sets. Interestingly, the problem of deciding whether an instance has an answer set is already located on the second level of the polynomial hierarchy. An ASP solver that employs treewidth as parameter and runs dynamic programming on tree decompositions is DynASP2. Empirical experiments show that this solver is fast on instances of small treewidth and can outperform modern ASP when one counts answer sets. It remains open, whether one can improve the solver such that it also finds one answer set fast and shows competitive behavior to modern ASP solvers on instances of low treewidth. Unfortunately, theoretical models of modern ASP solvers already indicate that these solvers can solve instances of low treewidth fast, since they are based on Sat-solving algorithms. In this paper, we improve DynASP2 and construct the solver DynASP2.5, which uses a different approach. The new solver shows competitive behavior to state-of-the-art ASP solvers even for finding just one solution. We present empirical experiments where one can see that our new implementation solves ASP instances, which encode the Steiner tree problem on graphs with low treewidth, fast. Our implementation is based on a novel approach that we call multi-pass dynamic programming (MDPSINC). In the paper, we describe the underlying concepts of our implementation (DynASP2.5) and we argue why the techniques still yield correct algorithms.