English
Related papers

Related papers: Parameterized Complexity of Independent Set in H-F…

200 papers

We prove new parameterized complexity results for the FO Model Checking problem on a well-known generalization of interval and circular-arc graphs: the class of $H$-graphs, for any fixed multigraph $H$. In particular, we research how the…

Computational Complexity · Computer Science 2025-10-27 Flavia Bonomo-Braberman , Nick Brettell , Noleen Köhler , Andrea Munaro , Daniël Paulusma

We consider the following problem: for a given graph G and two integers k and d, can we apply a fixed graph operation at most k times in order to reduce a given graph parameter $\pi$ by at least d? We show that this problem is NP-hard when…

Combinatorics · Mathematics 2022-02-18 Felicia Lucke , Felix Mann

The goal of this paper is to understand the complexity of symmetry breaking problems, specifically maximal independent set (MIS) and the closely related $\beta$-ruling set problem, in two computational models suited for large-scale graph…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-06 Christian Konrad , Sriram V. Pemmaraju , Talal Riaz , Peter Robinson

The induced matching width of a tree decomposition of a graph $G$ is the cardinality of a largest induced matching $M$ of $G$, such that there exists a bag that intersects every edge in $M$. The induced matching treewidth of a graph $G$,…

Data Structures and Algorithms · Computer Science 2025-07-11 Hans L. Bodlaender , Fedor V. Fomin , Tuukka Korhonen

Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their…

We show that the maximum independent set problem (MIS) on an $n$-vertex graph can be solved in $1.1996^nn^{O(1)}$ time and polynomial space, which even is faster than Robson's $1.2109^{n}n^{O(1)}$-time exponential-space algorithm published…

Data Structures and Algorithms · Computer Science 2017-08-08 Mingyu Xiao , Hiroshi Nagamochi

We develop an experimental algorithm for the exact solving of the maximum independent set problem. The algorithm consecutively finds the maximal independent sets of vertices in an arbitrary undirected graph such that the next such set…

Data Structures and Algorithms · Computer Science 2016-03-02 Anatoly D. Plotnikov

We consider the problem of how much edge connectivity is necessary to force a graph G to contain a fixed graph H as an immersion. We show that if the maximum degree in H is D, then all the examples of D-edge connected graphs which do not…

Combinatorics · Mathematics 2014-01-14 Daniel Marx , Paul Wollan

A circle graph is the intersection graph of a set of chords in a circle. Keil [Discrete Applied Mathematics, 42(1):51-63, 1993] proved that Dominating Set, Connected Dominating Set, and Total Dominating Set are NP-complete in circle graphs.…

Data Structures and Algorithms · Computer Science 2012-05-17 Nicolas Bousquet , Daniel Gonçalves , George B. Mertzios , Christophe Paul , Ignasi Sau , Stéphan Thomassé

In this paper, we consider the following problem: given a connected graph $G$, can we reduce the domination number of $G$ by one by using only one edge contraction? We show that the problem is $\mathsf{NP}$-hard when restricted to…

Discrete Mathematics · Computer Science 2019-08-06 Esther Galby , Paloma T. Lima , Bernard Ries

We study the tractability of the maximum independent set problem from the viewpoint of graph width parameters, with the goal of defining a width parameter that is as general as possible and allows to solve independent set in polynomial-time…

Data Structures and Algorithms · Computer Science 2023-08-01 Benjamin Bergougnoux , Tuukka Korhonen , Igor Razgon

An independent vertex set of a graph is a set of vertices of the graph in which no two vertices are adjacent, and a maximal independent set is one that is not a proper subset of any other independent set. In this paper we count the number…

Combinatorics · Mathematics 2017-09-13 Seungsang Oh

A matching cut is a matching that is also an edge cut. In the problem Minimum Matching Cut, we ask for a matching cut with the minimum number of edges in the matching. We investigate the differences in complexity between Minimum Matching…

Combinatorics · Mathematics 2026-02-20 Felicia Lucke , Joseph Marchand , Jannik Olbrich

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$…

Computational Complexity · Computer Science 2014-07-11 Radu Curticapean , Dániel Marx

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

The complexity of {\sc Colouring} is fully understood for $H$-free graphs, but there are still major complexity gaps if two induced subgraphs $H_1$ and $H_2$ are forbidden. Let $H_1$ be the $s$-vertex cycle $C_s$ and $H_2$ be the $t$-vertex…

Combinatorics · Mathematics 2018-07-18 Serge Gaspers , Shenwei Huang , Daniël Paulusma

We improve the running time of the general algorithmic technique known as Baker's approach (1994) on H-minor-free graphs from O(n^{f(|H|)}) to O(f(|H|) n^{O(1)}). The numerous applications include e.g. a 2-approximation for coloring and…

Data Structures and Algorithms · Computer Science 2015-05-18 Siamak Tazari

Given a graph $G(V,E)$, a vertex subset $S$ of $G$ is called an open packing in $G$ if no pair of distinct vertices in $S$ have a common neighbour in $G$. The size of a largest open packing in $G$ is called the open packing number,…

Discrete Mathematics · Computer Science 2024-07-15 M. A. Shalu , V. K. Kirubakaran

We investigate how efficiently a well-studied family of domination-type problems can be solved on bounded-treewidth graphs. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a set $S$ of vertices such…

Computational Complexity · Computer Science 2025-04-22 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

This paper studies $k$-claw-free graphs, exploring the connection between an extremal combinatorics question and the power of a convex program in approximating the maximum-weight independent set in this graph class. For the extremal…

Computational Complexity · Computer Science 2023-08-31 Parinya Chalermsook , Ameet Gadekar , Kamyar Khodamoradi , Joachim Spoerhase