English
Related papers

Related papers: Parameterized Complexity of Safe Set

200 papers

Given a graph $G=(V,E)$, a set $\mathcal{F}$ of forbidden subgraphs, we study $\mathcal{F}$-Free Edge Deletion, where the goal is to remove minimum number of edges such that the resulting graph does not contain any $F\in \mathcal{F}$ as a…

Data Structures and Algorithms · Computer Science 2021-02-12 Ajinkya Gaikwad , Soumen Maity

An upper dominating set is a minimal dominating set in a graph. In the \textsc{Upper Dominating Set} problem, the goal is to find an upper dominating set of maximum size. We study the complexity of parameterized algorithms for \textsc{Upper…

Data Structures and Algorithms · Computer Science 2021-01-20 Louis Dublois , Michael Lampis , Vangelis Th. Paschos

We present the first results on the parameterized complexity of reconfiguration problems, where a reconfiguration version of an optimization problem $Q$ takes as input two feasible solutions $S$ and $T$ and determines if there is a sequence…

Computational Complexity · Computer Science 2013-08-23 Amer E. Mouawad , Naomi Nishimura , Venkatesh Raman , Narges Simjour , Akira Suzuki

A Fixed-Parameter Tractable (\FPT) $\rho$-approximation algorithm for a minimization (resp. maximization) parameterized problem $P$ is an FPT algorithm that, given an instance $(x, k)\in P$ computes a solution of cost at most $k \cdot…

Data Structures and Algorithms · Computer Science 2013-08-19 Rajesh Chitnis , MohammadTaghi Hajiaghayi , Guy Kortsarz

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

Finding a cycle of lowest weight that represents a homology class in a simplicial complex is known as homology localization (HL). Here we address this NP-complete problem using parameterized complexity theory. We show that it is W[1]-hard…

Computational Geometry · Computer Science 2020-12-01 Nello Blaser , Erlend Raa Vågset

We carry out a systematic study of a natural covering problem, used for identification across several areas, in the realm of parameterized complexity. In the {\sc Test Cover} problem we are given a set $[n]=\{1,...,n\}$ of items together…

Data Structures and Algorithms · Computer Science 2012-12-04 R. Crowston , G. Gutin , M. Jones , S. Saurabh , A. Yeo

The Firefighter problem is to place firefighters on the vertices of a graph to prevent a fire with known starting point from lighting up the entire graph. In each time step, a firefighter may be permanently placed on an unburned vertex and…

Discrete Mathematics · Computer Science 2011-09-23 Marek Cygan , Fedor V. Fomin , Erik Jan van Leeuwen

For fixed integers $r,\ell \geq 0$, a graph $G$ is called an {\em $(r,\ell)$-graph} if the vertex set $V(G)$ can be partitioned into $r$ independent sets and $\ell$ cliques. The class of $(r, \ell)$ graphs generalizes $r$-colourable graphs…

Data Structures and Algorithms · Computer Science 2015-12-15 Sudeshna Kolay , Fahad Panolan , Venkatesh Raman , Saket Saurabh

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

Discrete Mathematics · Computer Science 2020-08-19 Saket Saurabh , Uéverton dos Santos Souza , Prafullkumar Tale

A graph $H$ is {\em $p$-edge colorable} if there is a coloring $\psi: E(H) \rightarrow \{1,2,\dots,p\}$, such that for distinct $uv, vw \in E(H)$, we have $\psi(uv) \neq \psi(vw)$. The {\sc Maximum Edge-Colorable Subgraph} problem takes as…

Discrete Mathematics · Computer Science 2020-08-19 Akanksha Agrawal , Madhumita Kundu , Abhishek Sahu , Saket Saurabh , Prafullkumar Tale

We study computational complexity of the class of distance-constrained graph labeling problems from the fixed parameter tractability point of view. The parameters studied are neighborhood diversity and clique width. We rephrase the distance…

Discrete Mathematics · Computer Science 2015-12-04 Jiří Fiala , Tomáš Gavenčiak , Dušan Knop , Martin Koutecký , Jan Kratochvíl

In the weighted partial vertex cover problem (WPVC), we are given a graph $G=(V,E)$, cost function $c:V\rightarrow N$, profit function $p:E\rightarrow N$, and positive integers $R$ and $L$. The goal is to check whether there is a subset…

Discrete Mathematics · Computer Science 2019-04-30 Vahan Mkrtchyan , Garik Petrosyan , K. Subramani

In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…

Data Structures and Algorithms · Computer Science 2019-01-14 Eva-Maria C. Hols , Stefan Kratsch

A set $D$ of vertices of a graph is a \emph{defensive alliance} if, for each element of $D$, the majority of its neighbours are in $D$. We consider the notion of local minimality in this paper. We are interested in finding a locally minimal…

Data Structures and Algorithms · Computer Science 2023-03-05 Ajinkya Gaikwad , Soumen Maity , Saket Saurabh

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

Data Structures and Algorithms · Computer Science 2014-11-24 Sigve Hortemo Sæther

Given a bipartite graph $G=(U\cup V,E)$, a left-perfect many-to-one matching is a subset $M \subseteq E$ such that each vertex in $U$ is incident with exactly one edge in $M$. If $U$ is partitioned into some groups, the matching is called…

Computational Complexity · Computer Science 2024-11-28 Ramin Javadi , Hossein Shokouhi

A non-empty subset $S$ of the vertices of a digraph $D$ is called a {\it safe set} if \begin{itemize} \item[(i)] for every strongly connected component $M$ of $D-S$, there exists a strongly connected component $N$ of $D[S]$ such that there…

Computational Complexity · Computer Science 2019-08-20 Yandong Bai , Jørgen Bang-Jensen , Shinya Fujita , Anders Yeo

The NP-hard Metric Dimension problem is to decide for a given graph G and a positive integer k whether there is a vertex subset of size at most k that separates all vertex pairs in G. Herein, a vertex v separates a pair {u,w} if the…

Computational Complexity · Computer Science 2012-11-08 Sepp Hartung , André Nichterlein