English
Related papers

Related papers: Complexity Framework for Forbidden Subgraphs III: …

200 papers

In the distributed subgraph-freeness problem, we are given a graph $H$, and asked to determine whether the network graph contains $H$ as a subgraph or not. Subgraph-freeness is an extremely local problem: if the network had no bandwidth…

Data Structures and Algorithms · Computer Science 2017-11-21 Orr Fischer , Tzlil Gonen , Rotem Oshman

For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of…

Combinatorics · Mathematics 2022-07-18 Felicia Lucke , Daniël Paulusma , Bernard Ries

A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have…

Data Structures and Algorithms · Computer Science 2022-04-19 Christoph Brause , Petr Golovach , Barnaby Martin , Daniël Paulusma , Siani Smith

The intensively studied Diameter problem is to find the diameter of a given connected graph. We investigate, for the first time in a structured manner, the complexity of Diameter for H-free graphs, that is, graphs that do not contain a…

Data Structures and Algorithms · Computer Science 2025-05-28 Jelle J. Oostveen , Daniël Paulusma , Erik Jan van Leeuwen

A theorem of Ding, Oporowski, Oxley, and Vertigan implies that any sufficiently large twin-free graph contains a large matching, a co-matching, or a half-graph as a semi-induced subgraph. The sizes of these unavoidable patterns are measured…

Computational Complexity · Computer Science 2026-02-10 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz

A hole in a graph is an induced cycle of length at least 4. A hole is long if its length is at least 5. By $P_t$ we denote a path on $t$ vertices. In this paper we give polynomial-time algorithms for the following problems: the Maximum…

Data Structures and Algorithms · Computer Science 2020-03-12 Tara Abrishami , Maria Chudnovsky , Marcin Pilipczuk , Paweł Rzążewski , Paul Seymour

Let $\mathcal{H}$ be a set of given connected graphs. A graph $G$ is said to be $\mathcal{H}$-free if $G$ contains no $H$ as an induced subgraph for any $H\in \mathcal{H}$. The graph $G$ is super-edge-connected if each minimum edge-cut…

Combinatorics · Mathematics 2023-09-06 Hazhe Ye , Yingzhi Tian

The $k$-Coloring problem on hereditary graph classes has been a deeply researched problem over the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs. We say that a…

Computational Complexity · Computer Science 2025-09-03 Justyna Jaworska , Bartłomiej Kielak , Tomáš Masařík , Jana Masaříková

We consider the classical problems (Edge) Steiner Tree and Vertex Steiner Tree after restricting the input to some class of graphs characterized by a small set of forbidden induced subgraphs. We show a dichotomy for the former problem…

Data Structures and Algorithms · Computer Science 2020-12-17 Hans Bodlaender , Nick Brettell , Matthew Johnson , Giacomo Paesani , Daniel Paulusma , Erik Jan van Leeuwen

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A graph $G$ is $k$-vertex-critical if every proper induced subgraph of $G$ has chromatic number less than $k$,…

Combinatorics · Mathematics 2024-03-12 Wen Xia , Jorik Jooken , Jan Goedgebeur , Shenwei Huang

A bipartite graph $G=(A,B,E)$ is ${\cal H}$-convex, for some family of graphs ${\cal H}$, if there exists a graph $H\in {\cal H}$ with $V(H)=A$ such that the set of neighbours in $A$ of each $b\in B$ induces a connected subgraph of $H$.…

Data Structures and Algorithms · Computer Science 2024-02-06 Flavia Bonomo-Braberman , Nick Brettell , Andrea Munaro , Daniël Paulusma

One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph…

Data Structures and Algorithms · Computer Science 2023-11-03 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

A graph is $H$-free if it does not contain an induced subgraph isomorphic to $H$. We denote by $P_k$ and $C_k$ the path and the cycle on $k$ vertices, respectively. In this paper, we prove that 4-COLORING is NP-complete for $P_7$-free…

Computational Complexity · Computer Science 2013-10-07 Shenwei Huang

Given a vertex-weighted graph $G=(V,E)$ and a set $S \subseteq V$, a subset feedback vertex set $X$ is a set of the vertices of $G$ such that the graph induced by $V \setminus X$ has no cycle containing a vertex of $S$. The \textsc{Subset…

Data Structures and Algorithms · Computer Science 2017-02-02 Charis Papadopoulos , Spyridon Tzimas

The Induced Graph Matching problem asks to find k disjoint induced subgraphs isomorphic to a given graph H in a given graph G such that there are no edges between vertices of different subgraphs. This problem generalizes the classical…

Discrete Mathematics · Computer Science 2014-02-11 Danny Hermelin , Matthias Mnich , Erik Jan van Leeuwen

We study the complexity of a generic hitting problem H-Subgraph Hitting, where given a fixed pattern graph $H$ and an input graph $G$, the task is to find a set $X \subseteq V(G)$ of minimum size that hits all subgraphs of $G$ isomorphic to…

Data Structures and Algorithms · Computer Science 2014-11-18 Marek Cygan , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk

We show that problems which have finite integer index and satisfy a requirement we call treewidth-bounding admit linear kernels on the class of $H$-topological-minor free graphs, for an arbitrary fixed graph $H$. This builds on earlier…

Data Structures and Algorithms · Computer Science 2012-07-16 Alexander Langer , Felix Reidl , Peter Rossmanith , Somnath Sikdar

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

In this paper, we study the Maximum Common Vertex Subgraph problem: Given two input graphs $G_1,G_2$ and a non-negative integer $h$, is there a common subgraph $H$ on at least $h$ vertices such that there is no isolated vertex in $H$. In…

Computational Complexity · Computer Science 2026-04-29 Palash Dey , Anubhav Dhar , Ashlesha Hota , Sudeshna Kolay , Aritra Mitra

We continue the study of the recently-introduced C123-framework, for (simple) graph problems restricted to inputs specified by the forbidding of some finite set of subgraphs, to more general graph problems possibly involving multiedges and…

Combinatorics · Mathematics 2026-02-12 Tala Eagling-Vose , Barnaby Martin , Daniel Paulusma , Siani Smith