English
Related papers

Related papers: Complexity Dichotomies for the Minimum F-Overlay P…

200 papers

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

For a set F of finite tournaments, the F-free orientation problem is the problem of deciding if a given finite undirected graph can be oriented in such a way that the resulting oriented graph does not contain any member of F. Using the…

Combinatorics · Mathematics 2025-09-03 Roman Feller , Michael Pinsker

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

For a family of graphs $\cal F$, the $\mathcal{F}$-Contraction problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $S \subseteq E(G)$ of size at most $k$ such that $G/S$ belongs to $\cal F$.…

Data Structures and Algorithms · Computer Science 2017-08-03 Akanksha Agrawal , Saket Saurabh , Prafullkumar Tale

Covering problems are classical computational problems concerning whether a certain combinatorial structure 'covers' another. For example, the minimum vertex covering problem aims to find the smallest set of vertices in a graph so that each…

Disordered Systems and Neural Networks · Physics 2020-07-01 Bruno Coelho Coutinho , Hai-Jun Zhou , Yang-Yu Liu

The problem Cover(H) asks whether an input graph G covers a fixed graph H (i.e., whether there exists a homomorphism G to H which locally preserves the structure of the graphs). Complexity of this problem has been intensively studied. In…

Combinatorics · Mathematics 2011-08-20 Ondřej Bílka , Jozef Jirásek , Pavel Klavík , Martin Tancer , Jan Volec

Let G=(V,E) be a graph. A vertex dominates itself and all its neighbors, i.e., every vertex v in V dominates its closed neighborhood N[v]. A vertex set D in G is an efficient dominating (e.d.) set for G if for every vertex v in V, there is…

Discrete Mathematics · Computer Science 2012-07-09 Andreas Brandstädt , Arne Leitert , Dieter Rautenbach

We consider Colouring on graphs that are $H$-subgraph-free for some fixed graph $H$, which are graphs that do not contain $H$ as a subgraph. To classify the complexity of Colouring on $H$-subgraph-free graphs for connected $H$, it remains…

Combinatorics · Mathematics 2026-02-23 Tala Eagling-Vose , Jorik Jooken , Felicia Lucke , Barnaby Martin , Daniël Paulusma

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every…

Computational Complexity · Computer Science 2020-09-23 Karolina Okrasa , Marta Piecyk , Paweł Rzążewski

We study the computational complexity of the problem $\#\text{IndSub}(\Phi)$ of counting $k$-vertex induced subgraphs of a graph $G$ that satisfy a graph property $\Phi$. Our main result establishes an exhaustive and explicit classification…

Computational Complexity · Computer Science 2022-03-30 Jacob Focke , Marc Roth

In the Maximum Independent Set problem we are asked to find a set of pairwise nonadjacent vertices in a given graph with the maximum possible cardinality. In general graphs, this classical problem is known to be NP-hard and hard to…

Data Structures and Algorithms · Computer Science 2023-11-15 Maria Chudnovsky , Marcin Pilipczuk , Michał Pilipczuk , Stéphan Thomassé

For a hypergraph $H=(V,\mathcal E)$, a subfamily $\mathcal C\subseteq \mathcal E$ is called a cover of the hypergraph if $\bigcup\mathcal C=\bigcup\mathcal E$. A cover $\mathcal C$ is called minimal if each cover $\mathcal…

Combinatorics · Mathematics 2020-04-09 Taras Banakh , Dominic van der Zypen

We give a short, self-contained, and easily verifiable proof that determining the outerthickness of a general graph is NP-hard. This resolves a long-standing open problem on the computational complexity of outerthickness. Moreover, our…

Computational Complexity · Computer Science 2026-02-10 Pin-Hsian Lee , Te-Cheng Liu , Meng-Tsung Tsai

Given a connected graph $G$ and a terminal set $R \subseteq V(G)$, the minimum Steiner tree problem (ST) asks for a tree that spans all of $R$ with at most $r$ vertices from $V(G)\backslash R$, for some integer $r\geq 0$. A \emph{split…

Discrete Mathematics · Computer Science 2026-05-29 Jyothish S , Sadagopan Narasimhan

Given a simple connected undirected graph G = (V, E), a set X \subseteq V(G), and integers k and p, STEINER SUBGRAPH EXTENSION problem asks if there exists a set S \supseteq X with at most k vertices such that G[S] is p-edge-connected. This…

Data Structures and Algorithms · Computer Science 2025-10-07 Eduard Eiben , Diptapriyo Majumdar , M. S. Ramanujan

Simple drawings of graphs are those in which each pair of edges share at most one point, either a common endpoint or a proper crossing. In this paper we study the problem of extending a simple drawing $D(G)$ of a graph $G$ by inserting a…

Computational Geometry · Computer Science 2019-08-27 Alan Arroyo , Martin Derka , Irene Parada

Motivated by the role of triadic closures in social networks, and the importance of finding a maximum subgraph avoiding a fixed pattern, we introduce and initiate the parameterized study of the Strong F-closure problem, where F is a fixed…

Data Structures and Algorithms · Computer Science 2018-03-01 Petr A. Golovach , Pinar Heggernes , Athanasios L. Konstantinidis , Paloma T. Lima , Charis Papadopoulos

Say that an edge of a graph G dominates itself and every other edge adjacent to it. An edge dominating set of a graph G = (V,E) is a subset of edges E' of E which dominates all edges of G. In particular, if every edge of G is dominated by…

Discrete Mathematics · Computer Science 2013-03-12 Min Chih Lin , Michel J. Mizrahi , Jayme L. Szwarcfiter

Given two graphs $G$ and $H$, we define $\textsf{v-cover}_{H}(G)$ (resp. $\textsf{e-cover}_{H}(G)$) as the minimum number of vertices (resp. edges) whose removal from $G$ produces a graph without any minor isomorphic to ${H}$. Also…

Data Structures and Algorithms · Computer Science 2017-01-23 Dimitris Chatzidimitriou , Jean-Florent Raymond , Ignasi Sau , Dimitrios M. Thilikos

We study the parameterized complexity of #IndSub($\Phi$), where given a graph $G$ and an integer $k$, the task is to count the number of induced subgraphs on $k$ vertices that satisfy the graph property $\Phi$. Focke and Roth [STOC 2022]…

Computational Complexity · Computer Science 2023-11-16 Simon Döring , Dániel Marx , Philip Wellnitz