Abstract:A knot in a directed graph $G$ is a strongly connected subgraph $Q$ of $G$ with at least two vertices, such that no vertex in $V(Q)$ is an in-neighbor of a vertex in $V(G)\setminus V(Q)$. Knots are important graph structures, because they characterize the existence of deadlocks in a classical distributed computation model, the so-called OR-model. Deadlock detection is correlated with the recognition of knot-free graphs as well as deadlock resolution is closely related to the {\sc Knot-Free Vertex Deletion (KFVD)} problem, which consists of determining whether an input graph $G$ has a subset $S \subseteq V(G)$ of size at most $k$ such that $G[V\setminus S]$ contains no knot. In this paper we focus on graph width measure parameterizations for {\sc KFVD}. First, we show that: (i) {\sc KFVD} parameterized by the size of the solution $k$ is W[1]-hard even when $p$, the length of a longest directed path of the input graph, as well as $\kappa$, its Kenny-width, are bounded by constants, and we remark that {\sc KFVD} is para-NP-hard even considering many directed width measures as parameters, but in FPT when parameterized by clique-width; (ii) {\sc KFVD} can be solved in time $2^{O(tw)}\times n$, but assuming ETH it cannot be solved in $2^{o(tw)}\times n^{O(1)}$, where $tw$ is the treewidth of the underlying undirected graph. Finally, since the size of a minimum directed feedback vertex set ($dfv$) is an upper bound for the size of a minimum knot-free vertex deletion set, we investigate parameterization by $dfv$ and we show that (iii) {\sc KFVD} can be solved in FPT-time parameterized by either $dfv+\kappa$ or $dfv+p$; and it admits a Turing kernel by the distance to a DAG having an Hamiltonian path.

A Simplified Parameterized Algorithm for Directed Feedback Vertex Set

Directed Feedback Vertex Set is Fixed-Parameter Tractable

Exact and Parameterized Algorithms for Restricted Subset Feedback Vertex Set in Chordal Graphs

An Improved Exact Algorithm for Undirected Feedback Vertex Set

Hitting Long Directed Cycles is Fixed-Parameter Tractable

Fixed Parameterized Algorithms for Generalized Feedback Vertex Set Problems

Improved FPT Algorithms for Deletion to Forest-Like Structures

A Parameterized Algorithm for Bounded-Degree Vertex Deletion.

A Constant Factor Approximation for Directed Feedback Vertex Set in Graphs of Bounded Genus

A Quadratic Vertex Kernel for Feedback Arc Set in Bipartite Tournaments

Feedback Vertex Set for pseudo-disk graphs in subexponential FPT time

A New Linear Kernel for Undirected Planar Feedback Vertex Set: Smaller and Simpler.

Breaking the Barrier $2^k$ for Subset Feedback Vertex Set in Chordal Graphs

Parameterized Directed $k$-Chinese Postman Problem and $k$ Arc-Disjoint Cycles Problem on Euler Digraphs

Structural Parameterizations of the Biclique-Free Vertex Deletion Problem

Fast Dynamic Graph Algorithms for Parameterized Problems

Width Parameterizations for Knot-free Vertex Deletion on Digraphs

Simple and Improved Parameterized Algorithms for Multiterminal Cuts

Dynamic Parameterized Feedback Problems in Tournaments

New Parameterized Algorithms for Edge Dominating Set

A subexponential parameterized algorithm for Directed Subset Traveling Salesman Problem on planar graphs