English
Related papers

Related papers: Parameterized Extension Complexity of Independent …

200 papers

The classic technique of Baker [J. ACM '94] is the most fundamental approach for designing approximation schemes on planar, or more generally topologically-constrained graphs, and it has been applied in a myriad of different variants and…

Data Structures and Algorithms · Computer Science 2023-11-01 Tuukka Korhonen , Wojciech Nadara , Michał Pilipczuk , Marek Sokołowski

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 introduce a class of parameterised counting problems on graphs, p-#Induced Subgraph With Property(\Phi), which generalises a number of problems which have previously been studied. This paper focusses on the case in which \Phi defines a…

Computational Complexity · Computer Science 2014-11-17 Mark Jerrum , Kitty Meeks

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

Vertex deletion and edge deletion problems play a central role in Parameterized Complexity. Examples include classical problems like Feedback Vertex Set, Odd Cycle Transversal, and Chordal Deletion. Interestingly, the study of edge…

Data Structures and Algorithms · Computer Science 2011-04-20 Pinar Heggernes , Pim van 't Hof , Benjamin Lévêque , Daniel Lokshtanov , Christophe Paul

When considering a graph problem from a parameterized point of view, the parameter chosen is often the size of an optimal solution of this problem (the "standard" parameter). A natural subject for investigation is what happens when we…

Computational Complexity · Computer Science 2013-10-14 Nicolas Bourgeois , Konrad K. Dabrowski , Marc Demange , Vangelis Th. Paschos

The problem of characterizing testable graph properties (properties that can be tested with a number of queries independent of the input size) is a fundamental problem in the area of property testing. While there has been some extensive…

Data Structures and Algorithms · Computer Science 2019-09-25 Artur Czumaj , Christian Sohler

Deletion problems are those where given a graph $G$ and a graph property $\pi$, the goal is to find a subset of edges such that after its removal the graph $G$ will satisfy the property $\pi$. Typically, we want to minimize the number of…

Data Structures and Algorithms · Computer Science 2022-03-17 Tomáš Masařík , Tomáš Toufar

The $q$-Coloring problem asks whether the vertices of a graph can be properly colored with $q$ colors. Lokshtanov et al. [SODA 2011] showed that $q$-Coloring on graphs with a feedback vertex set of size $k$ cannot be solved in time…

Data Structures and Algorithms · Computer Science 2017-01-25 Lars Jaffke , Bart M. P. Jansen

Golovach, Paulusma and Song (Inf. Comput. 2014) asked to determine the parameterized complexity of the following problems parameterized by $k$: (1) Given a graph $G$, a clique modulator $D$ (a clique modulator is a set of vertices, whose…

Data Structures and Algorithms · Computer Science 2019-07-30 Gregory Gutin , Diptapriyo Majumdar , Sebastian Ordyniak , Magnus Wahlström

We consider the problem of approximately solving constraint satisfaction problems with arity $k > 2$ ($k$-CSPs) on instances satisfying certain expansion properties, when viewed as hypergraphs. Random instances of $k$-CSPs, which are also…

Data Structures and Algorithms · Computer Science 2019-07-19 Vedat Levi Alev , Fernando Granha Jeronimo , Madhur Tulsiani

We study two "above guarantee" versions of the classical Longest Path problem on undirected and directed graphs and obtain the following results. In the first variant of Longest Path that we study, called Longest Detour, the task is to…

Data Structures and Algorithms · Computer Science 2022-01-11 Fedor V. Fomin , Petr A. Golovach , William Lochet , Danil Sagunov , Kirill Simonov , Saket Saurabh

We introduce a new framework for reconfiguration problems, and apply it to independent sets as the first example. Suppose that we are given an independent set $I_0$ of a graph $G$, and an integer $l \ge 0$ which represents a lower bound on…

Discrete Mathematics · Computer Science 2018-04-26 Takehiro Ito , Haruka Mizuta , Naomi Nishimura , Akira Suzuki

For a positive integer $k$ and graph $G=(V,E)$, a $k$-colouring of $G$ is a mapping $c: V\rightarrow\{1,2,\ldots,k\}$ such that $c(u)\neq c(v)$ whenever $uv\in E$. The $k$-Colouring problem is to decide, for a given $G$, whether a…

Computational Complexity · Computer Science 2014-07-08 Shenwei Huang , Matthew Johnson , Daniël Paulusma

We consider (closed neighbourhood) packings and their generalization in graphs called limited packings. A vertex set X in a graph G is a k-limited packing if for any vertex $v\in V(G)$, $\left|N[v] \cap X\right| \le k$, where $N[v]$ is the…

Discrete Mathematics · Computer Science 2014-07-08 Andrei Gagarin , Vadim Zverovich

For given graph $H$, the independence number $\alpha(H)$ of $H$, is the size of the maximum independent set of $V(H)$. Finding the maximum independent set in a graph is a NP-hard problem. Another version of the independence number is…

Combinatorics · Mathematics 2022-01-13 Yaser Rowshan

We investigate the parameterized complexity of the graph editing problem called Editing to a Graph with a Given Degree Sequence, where the aim is to obtain a graph with a given degree sequence \sigma by at most k vertex or edge deletions…

Data Structures and Algorithms · Computer Science 2016-01-14 Petr A. Golovach , George B. Mertzios

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

A resolving set $S$ of a graph $G$ is a subset of its vertices such that no two vertices of $G$ have the same distance vector to $S$. The Metric Dimension problem asks for a resolving set of minimum size, and in its decision form, a…

Computational Complexity · Computer Science 2019-07-19 Édouard Bonnet , Nidhi Purohit

We consider a the minimum k-way cut problem for unweighted graphs with a size bound s on the number of cut edges allowed. Thus we seek to remove as few edges as possible so as to split a graph into k components, or report that this requires…

Discrete Mathematics · Computer Science 2011-01-27 Ken-ichi Kawarabayashi , Mikkel Thorup