English
Related papers

Related papers: The Complexity of Diameter on H-free graphs

200 papers

Subgraph counting is a fundamental and well-studied problem whose computational complexity is well understood. Quite surprisingly, the hypergraph version of subgraph counting has been almost ignored. In this work, we address this gap by…

Computational Complexity · Computer Science 2025-06-18 Marco Bressan , Julian Brinkmann , Holger Dell , Marc Roth , Philip Wellnitz

One of the most important algorithmic meta-theorems is a famous result by Courcelle, which states that any graph problem definable in monadic second-order logic with edge-set quantifications (i.e., MSO2 model-checking) is decidable in…

Logic in Computer Science · Computer Science 2012-06-25 Robert Ganian , Petr Hliněný , Alexander Langer , Jan Obdržálek , Peter Rossmanith , Somnath Sikdar

In spite of the extensive studies of the 3-coloring problem with respect to several basic parameters, the complexity status of the 3-coloring problem on graphs with small diameter, i.e. with diameter 2 or 3, has been a longstanding and…

Data Structures and Algorithms · Computer Science 2012-10-18 George B. Mertzios , Paul G. Spirakis

The diamond is the graph obtained by removing an edge from the complete graph on 4 vertices. A graph is ($P_6$, diamond)-free if it contains no induced subgraph isomorphic to a six-vertex path or a diamond. In this paper we show that the…

Combinatorics · Mathematics 2021-06-17 Jan Goedgebeur , Shenwei Huang , Yiao Ju , Owen Merkel

For an integer $d\geq 1$, the $d$-Cut problem is that of deciding whether a graph has an edge cut in which each vertex is adjacent to at most $d$ vertices on the opposite side of the cut. The $1$-Cut problem is the well-known Matching Cut…

Data Structures and Algorithms · Computer Science 2025-05-29 Konrad K. Dabrowski , Tala Eagling-Vose , Matthew Johnson , Giacomo Paesani , Daniël Paulusma

Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. We consider this problem in the setting of local algorithms: one wants to quickly determine whether a given edge $e$ is in a specific spanning tree,…

Data Structures and Algorithms · Computer Science 2021-04-28 Reut Levi , Dana Ron , Ronitt Rubinfeld

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

A secure set $S$ in a graph is defined as a set of vertices such that for any $X\subseteq S$ the majority of vertices in the neighborhood of $X$ belongs to $S$. It is known that deciding whether a set $S$ is secure in a graph is…

Computational Complexity · Computer Science 2017-07-11 Bernhard Bliem , Stefan Woltran

Subgraph Isomorphism is a very basic graph problem, where given two graphs $G$ and $H$ one is to check whether $G$ is a subgraph of $H$. Despite its simple definition, the Subgraph Isomorphism problem turns out to be very broad, as it…

Data Structures and Algorithms · Computer Science 2015-04-14 Marek Cygan , Jakub Pachocki , Arkadiusz Socała

The radius and diameter are fundamental graph parameters. They are defined as the minimum and maximum of the eccentricities in a graph, respectively, where the eccentricity of a vertex is the largest distance from the vertex to another…

Data Structures and Algorithms · Computer Science 2015-06-08 Amir Abboud , Virginia Vassilevska Williams , Joshua Wang

The NP-hard 2-Club problem is, given an undirected graph G=(V,E) and l\in N, to decide whether there is a vertex set S\subseteq V of size at least l such that the induced subgraph G[S] has diameter at most two. We make progress towards a…

Computational Complexity · Computer Science 2013-05-17 Sepp Hartung , Christian Komusiewicz , André Nichterlein , Ondrej Suchý

Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices and $K_t$ be the complete graph on $t$ vertices. The diamond is the…

Combinatorics · Mathematics 2018-09-05 Kathie Cameron , Shenwei Huang , Owen Merkel

Many combinatorial problems can be solved in time $O^*(c^{tw})$ on graphs of treewidth $tw$, for a problem-specific constant $c$. In several cases, matching upper and lower bounds on $c$ are known based on the Strong Exponential Time…

Computational Complexity · Computer Science 2018-06-28 Bas A. M. van Geffen , Bart M. P. Jansen , Arnoud A. W. M. de Kroon , Rolf Morel

The $H$-Coloring problem is a well-known generalization of the classical NP-complete problem $k$-Coloring where the task is to determine whether an input graph admits a homomorphism to the template graph $H$. This problem has been the…

Computational Complexity · Computer Science 2025-09-08 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

We revisit two well-studied problems, Bounded Degree Vertex Deletion and Defective Coloring, where the input is a graph $G$ and a target degree $\Delta$ and we are asked either to edit or partition the graph so that the maximum degree…

Data Structures and Algorithms · Computer Science 2024-05-07 Michael Lampis , Manolis Vasilakis

Given a graph G, we investigate the question of determining the parity of the number of homomorphisms from G to some other fixed graph H. We conjecture that this problem exhibits a complexity dichotomy, such that all parity graph…

Computational Complexity · Computer Science 2013-09-17 John Faben , Mark Jerrum

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

We study the computational complexity of two well-known graph transversal problems, namely Subset Feedback Vertex Set and Subset Odd Cycle Transversal, by restricting the input to $H$-free graphs, that is, to graphs that do not contain some…

Data Structures and Algorithms · Computer Science 2021-10-27 Nick Brettell , Matthew Johnson , Giacomo Paesani , Daniël Paulusma

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

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