English
Related papers

Related papers: A unified polynomial-time algorithm for Feedback V…

200 papers

The complexity of a reasoning task over a graphical model is tied to the induced width of the underlying graph. It is well-known that the conditioning (assigning values) on a subset of variables yields a subproblem of the reduced complexity…

Data Structures and Algorithms · Computer Science 2012-07-19 Bozhena Bidyuk , Rina Dechter

It is well known that the treewidth of a graph $G$ corresponds to the node search number where a team of cops is pursuing a robber that is lazy, visible and has the ability to move at infinite speed via unguarded path. In recent papers,…

Data Structures and Algorithms · Computer Science 2021-01-28 Guillaume Mescoff , Christophe Paul , Dimitrios Thilikos

We consider a variant of treewidth that we call clique-partitioned treewidth in which each bag is partitioned into cliques. This is motivated by the recent development of FPT-algorithms based on similar parameters for various problems. With…

Data Structures and Algorithms · Computer Science 2023-02-20 Thomas Bläsius , Maximilian Katzmann , Marcus Wilhelm

Many natural computational problems, including e.g. Max Weight Independent Set, Feedback Vertex Set, or Vertex Planarization, can be unified under an umbrella of finding the largest sparse induced subgraph, that satisfies some property…

Data Structures and Algorithms · Computer Science 2026-05-19 Maria Chudnovsky , Jadwiga Czyżewska , Kacper Kluk , Marcin Pilipczuk , Paweł Rzążewski

An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if…

Combinatorics · Mathematics 2021-05-05 Lars Jaffke , O-joung Kwon , Jan Arne Telle

We prove that the combinatorial Weisfeiler-Leman algorithm of dimension $(3k+4)$ is a complete isomorphism test for the class of all graphs of rank width at most $k$. Rank width is a graph invariant that, similarly to tree width, measures…

Data Structures and Algorithms · Computer Science 2023-05-30 Martin Grohe , Daniel Neuen

We prove that a number of computational problems that ask for the largest sparse induced subgraph satisfying some property definable in CMSO2 logic, most notably Feedback Vertex Set, are polynomial-time solvable in the class of $P_6$-free…

Data Structures and Algorithms · Computer Science 2023-07-17 Maria Chudnovsky , Rose McCarty , Marcin Pilipczuk , Michał Pilipczuk , Paweł Rzążewski

A mixed dominating set is a collection of vertices and edges that dominates all vertices and edges of a graph. We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set}, resolving some open questions.…

Data Structures and Algorithms · Computer Science 2023-06-22 Louis Dublois , Michael Lampis , Vangelis Th. Paschos

Dynamic programming on path and tree decompositions of graphs is a technique that is ubiquitous in the field of parameterized and exponential-time algorithms. However, one of its drawbacks is that the space usage is exponential in the…

Computational Complexity · Computer Science 2016-05-13 Michał Pilipczuk , Marcin Wrochna

Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of…

Data Structures and Algorithms · Computer Science 2022-02-01 Yu Nakahata

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on…

Discrete Mathematics · Computer Science 2019-05-31 Raphael Steiner , Sebastian Wiederrecht

Enumerative kernelization is a recent and promising area sitting at the intersection of parameterized complexity and enumeration algorithms. Its study began with the paper of Creignou et al. [Theory Comput. Syst., 2017], and development in…

Data Structures and Algorithms · Computer Science 2025-09-11 Marin Bougeret , Guilherme C. M. Gomes , Vinicius F. dos Santos , Ignasi Sau

In the matching interdiction problem, we are given an undirected graph with weights and interdiction costs on the edges and seek to remove a subset of the edges constrained to some budget, such that the weight of a maximum weight matching…

Discrete Mathematics · Computer Science 2008-04-23 Rico Zenklusen

Hypertree decompositions of hypergraphs are a generalization of tree decompositions of graphs. The corresponding hypertree-width is a measure for the cyclicity and therefore tractability of the encoded computation problem. Many NP-hard…

Data Structures and Algorithms · Computer Science 2008-10-12 Georg Gottlob , Marko Samer

We describe a polynomial-time algorithm which, given a graph $G$ with treewidth $t$, approximates the pathwidth of $G$ to within a ratio of $O(t\sqrt{\log t})$. This is the first algorithm to achieve an $f(t)$-approximation for some…

Data Structures and Algorithms · Computer Science 2023-03-13 Carla Groenland , Gwenaël Joret , Wojciech Nadara , Bartosz Walczak

We provide a polynomial-time algorithm for b-Coloring on graphs of constant clique-width. This unifies and extends nearly all previously known polynomial time results on graph classes, and answers open questions posed by Campos and Silva…

Data Structures and Algorithms · Computer Science 2022-07-20 Lars Jaffke , Paloma T. Lima , Daniel Lokshtanov

The local tree-width of a graph G=(V,E) is the function ltw^G: N -> N that associates with every natural number r the maximal tree-width of an r-neighborhood in G. Our main graph theoretic result is a decomposition theorem for graphs with…

Combinatorics · Mathematics 2007-05-23 Martin Grohe

In the problem (Unweighted) Max-Cut we are given a graph $G = (V,E)$ and asked for a set $S \subseteq V$ such that the number of edges from $S$ to $V \setminus S$ is maximal. In this paper we consider an even harder problem: (Weighted)…

Data Structures and Algorithms · Computer Science 2022-10-14 Hauke Brinkop , Klaus Jansen

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper, we provide the first algorithmic applications of tree-cut…

Data Structures and Algorithms · Computer Science 2022-06-03 Robert Ganian , Eun Jung Kim , Stefan Szeider

In this paper we give upper bounds on the number of minimal separators and potential maximal cliques of graphs w.r.t. two graph parameters, namely vertex cover ($\operatorname{vc}$) and modular width ($\operatorname{mw}$). We prove that for…

Data Structures and Algorithms · Computer Science 2014-04-16 Fedor V. Fomin , Mathieu Liedloff , Pedro Montealegre , Ioan Todinca