English
Related papers

Related papers: An Algorithmic Meta-Theorem for Graph Modification…

200 papers

We study a general class of problems called F-deletion problems. In an F-deletion problem, we are asked whether a subset of at most $k$ vertices can be deleted from a graph $G$ such that the resulting graph does not contain as a minor any…

Data Structures and Algorithms · Computer Science 2010-10-08 Fedor V. Fomin , Daniel Lokshtanov , Neeldhara Misra , Geevarghese Philip , Saket Saurabh

We consider the embeddability problem of a graph G into a two-dimensional simplicial complex C: Given G and C, decide whether G admits a topological embedding into C. The problem is NP-hard, even in the restricted case where C is…

Computational Geometry · Computer Science 2025-11-13 Éric Colin de Verdière , Thomas Magnard

We tackle the problem of attributed graph transformations and propose a new algorithmic approach for defining parallel graph transformations allowing overlaps. We start by introducing some abstract operations over graph structures. Then, we…

Logic in Computer Science · Computer Science 2018-08-10 Thierry Boy de la Tour , Rachid Echahed

A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for…

Data Structures and Algorithms · Computer Science 2023-01-30 Monika Henzinger , Ami Paz , A. R. Sricharan

For graphs $G$ and $H$, a \emph{homomorphism} from $G$ to $H$ is an edge-preserving mapping from the vertex set of $G$ to the vertex set of $H$. For a fixed graph $H$, by \textsc{Hom($H$)} we denote the computational problem which asks…

Computational Complexity · Computer Science 2020-02-20 Karolina Okrasa , Paweł Rzążewski

{\sc Vertex $(s, t)$-Cut} and {\sc Vertex Multiway Cut} are two fundamental graph separation problems in algorithmic graph theory. We study matroidal generalizations of these problems, where in addition to the usual input, we are given a…

Discrete Mathematics · Computer Science 2024-06-28 Aritra Banik , Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Satyabrata Jana , Saket Saurabh

Fully dynamic graph is a data structure that (1) supports edge insertions and deletions and (2) answers problem specific queries. The time complexity of (1) and (2) are referred to as the update time and the query time respectively. There…

Data Structures and Algorithms · Computer Science 2014-04-30 Yoichi Iwata , Keigo Oka

For an undirected graph G, we consider the following problems: given a fixed graph H, can we partition the vertices of G into two non-empty sets A and B such that neither the induced graph G[A] nor G[B] contain H (i) as a subgraph? (ii) as…

Data Structures and Algorithms · Computer Science 2018-04-12 N. R. Aravind , Subrahmanyam Kalyanasundaram , Anjeneya Swami Kare

Lokshtanov, Marx, and Saurabh SODA 2011 proved that there is no $(k-\epsilon)^{\operatorname{pw}(G)}\operatorname{poly}(n)$ time algorithm for deciding if an $n$-vertex graph $G$ with pathwidth $\operatorname{pw}(G)$ admits a proper vertex…

Data Structures and Algorithms · Computer Science 2015-07-10 Andreas Björklund

Graphs are fundamental objects that find widespread applications across computer science and beyond. Graph Theory has yielded deep insights about structural properties of various families of graphs, which are leveraged in the design and…

Data Structures and Algorithms · Computer Science 2023-08-30 Rachit Nimavat

For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain…

Data Structures and Algorithms · Computer Science 2021-03-12 Julien Baste , Ignasi Sau , Dimitrios M. Thilikos

We consider the Editing to a Graph of Given Degrees problem that asks for a graph G, non-negative integers d,k and a function \delta:V(G)->{1,...,d}, whether it is possible to obtain a graph G' from G such that the degree of v is \delta(v)…

Data Structures and Algorithms · Computer Science 2014-12-24 Petr A. Golovach

This paper deals with the complexity of some natural graph problems when parametrized by {measures that are restrictions of} clique-width, such as modular-width and neighborhood diversity. The main contribution of this paper is to introduce…

Computational Complexity · Computer Science 2020-02-03 Gennaro Cordasco , Luisa Gargano , Adele Anna Rescigno

Graph coloring is one of the most famous computational problems with applications in a wide range of areas such as planning and scheduling, resource allocation, and pattern matching. So far coloring problems are mostly studied on static…

Discrete Mathematics · Computer Science 2019-06-12 George B. Mertzios , Hendrik Molter , Viktor Zamaraev

Graph polynomials which are definable in Monadic Second Order Logic (MSOL) on the vocabulary of graphs are Fixed-Parameter Tractable (FPT) with respect to clique-width. In contrast, graph polynomials which are definable in MSOL on the…

Logic in Computer Science · Computer Science 2015-05-26 Tomer Kotek , Johann A. Makowsky

Meta-theorems for polynomial (linear) kernels have been the subject of intensive research in parameterized complexity. Heretofore, meta-theorems for linear kernels exist on graphs of bounded genus, $H$-minor-free graphs, and…

Given a graph $G$, a set $T$ of terminal vertices, and a demand graph $H$ on $T$, the \textsc{Multicut} problem asks for a set of edges of minimum weight that separates the pairs of terminals specified by the edges of $H$. The…

Computational Complexity · Computer Science 2026-01-27 Florian Hörsch , Dániel Marx

Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for graphs of bounded treewidth. Unfortunately, the running time's dependence on…

Data Structures and Algorithms · Computer Science 2009-11-05 Michael Lampis

Graph partition is a key component to achieve workload balance and reduce job completion time in parallel graph processing systems. Among the various partition strategies, edge partition has demonstrated more promising performance in…

Data Structures and Algorithms · Computer Science 2020-12-18 Zhenyu Guo , Mingyu Xiao , Yi Zhou , Dongxiang Zhang , Kian-Lee Tan

The problems studied in this paper originate from Graph Motif, a problem introduced in 2006 in the context of biological networks. Informally speaking, it consists in deciding if a multiset of colors occurs in a connected subgraph of a…

Computational Complexity · Computer Science 2014-09-11 Romeo Rizzi , Florian Sikora