# On Directed Feedback Vertex Set parameterized by treewidth

@inproceedings{Bonamy2018OnDF,
title={On Directed Feedback Vertex Set parameterized by treewidth},
author={Marthe Bonamy and Lukasz Kowalik and Jesper Nederlof and Michal Pilipczuk and Arkadiusz Socala and Marcin Wrochna},
booktitle={WG},
year={2018}
}
• Published in WG 5 July 2017
• Computer Science, Mathematics
We study the Directed Feedback Vertex Set problem parameterized by the treewidth of the input graph. We prove that unless the Exponential Time Hypothesis fails, the problem cannot be solved in time $2^{o(t\log t)}\cdot n^{\mathcal{O}(1)}$ on general directed graphs, where $t$ is the treewidth of the underlying undirected graph. This is matched by a dynamic programming algorithm with running time $2^{\mathcal{O}(t\log t)}\cdot n^{\mathcal{O}(1)}$. On the other hand, we show that if the input…

### Close relatives of Feedback Vertex Set without single-exponential algorithms parameterized by treewidth

• Computer Science
IPEC
• 2020
It is shown that Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Restricted Edge-Subset Feedback Edge Set, Node Multi way Cut, and Multiway Cut are unlikely to have such running times, and their lower bounds also hold for the larger parameter pathwidth and do not require weights.

### Digraph Coloring and Distance to Acyclicity

• Mathematics, Computer Science
STACS
• 2021
This paper considers parameters that measure the input's distance to acyclicity in either the directed or the undirected sense, and shows that an FPT algorithm solving 2-Digraph Coloring with dependence $td^{o(td)}$ would contradict the ETH.

### Parametrised Algorithms for Directed Modular Width

• Mathematics, Computer Science
CALDAM
• 2020
Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width,

### Close relatives (of Feedback Vertex Set), revisited

• Mathematics
IPEC
• 2021
A common theme of the first two algorithmic results is to represent connectivity properties of the current graph in a state of a dynamic programming algorithm as an auxiliary forest with O(k) nodes, resulting in a 2O(k log k) bound on the number of states for one node of the tree decomposition or cliquewidth expression.

### Resolving Infeasibility of Linear Systems: A Parameterized Approach

• Mathematics, Computer Science
IPEC
• 2019
These algorithms capture the case of Directed Feedback Arc Set, a fundamental parameterized problem whose parameterized tractability was shown by Chen et al. (STOC 2008) and establish parameterized intractability results even in very restricted settings.

### The complexity of speedrunning video games

This paper shows that optimizing mechanics such as damage boosting or routing is in fact a profound algorithmic problem, as they lead to novel generalizations of the well-known NP-hard knapsack and feedback arc set problems.

### Wannabe Bounded Treewidth Graphs Admit a Polynomial Kernel for DFVS

• Computer Science, Mathematics
• 2019
A polynomial kernel for DFVS parameterized by k plus the size of a treewidth-$$\eta$$ modulator is given based on a novel application of the tool of important separators embedded in state-of-the-art machinery such as protrusion decompositions.

### FPT-approximation for FPT Problems

• Computer Science
SODA
• 2021
This paper designs FPT-approximation algorithms for problems that are FPT, with running times that are signiﬁcantly faster than the corresponding best known F PT-algorithm, and while achieving approximation ratios that areSignificant better than what is possible in polynomial time.

### The topology of solution spaces of combinatorial problems

Graph homomorphism is a notion almost as simple, notationally and conceptually, as graph coloring, but one that gives a rich mathematical structure, allowing for new fruitful connections with algebra

## References

SHOWING 1-10 OF 33 REFERENCES

### A Linear Time Parameterized Algorithm for Directed Feedback Vertex Set

• Computer Science, Mathematics
ArXiv
• 2016
The algorithm given is the first algorithm for DFVS with linear dependence on input size and the asymptotic dependence of the running time of the algorithm matches up to a factor of $k$ the algorithm of Chen, Liu, Lu, O'Sullivan and Razgon.

### Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Decompositions

• Computer Science, Mathematics
Algorithmica
• 2009
The approach is based on geometric properties of planar branch decompositions obtained by Seymour and Thomas, combined with refined techniques of dynamic programming on planar graphs based on properties of non-crossing partitions to design fast subexponential exact and parameterized algorithms onPlanar graphs.

### Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

• Computer Science
SIAM J. Discret. Math.
• 2012
It is proved that Multicut is fixed-parameter tractable on directed acyclic graphs, when parameterized both by the size of the cutset and the number of terminal pairs, as this version of the problem remains W[1]-hard.

### New upper bounds on the decomposability of planar graphs

• Mathematics, Computer Science
J. Graph Theory
• 2006
A proof of the best, so far, upper bound for the constant α, based on the planar separation theorem of Alon, Seymour, and Thomas and some min–max theorems of Robertson and Seymour from the graph minors series is given.

### Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Branch Decompositions

• Computer Science, Mathematics
ESA
• 2005
A new framework for designing fast subexponential exact and parameterized algorithms on planar graphs based on geometric properties of planar branch decompositions obtained by Seymour & Thomas, combined with new techniques of dynamic programming on planars based on properties of non-crossing partitions is presented.

### A ck n 5-Approximation Algorithm for Treewidth

• Computer Science, Mathematics
SIAM J. Comput.
• 2016
This is the first algorithm providing a constant factor approximation for treewidth which runs in time single exponential in $k$ and linear in the input size and can be used to speed up many algorithms to work in time.

### A fixed-parameter algorithm for the directed feedback vertex set problem

• Computer Science
JACM
• 2008
The (parameterized) FEEDBACK VERTEX SET problem on directed graphs (i.e., the DFVS problem) is defined as follows: given a directed graph <i>G</i> and a parameter <i>k</i>, either construct a

### Directed Multicut is W[1]-hard, Even for Four Terminal Pairs

• Computer Science, Mathematics
SODA
• 2016
We prove that Multicut in directed graphs, parameterized by the size of the cutset, is W[1]-hard and hence unlikely to be fixed-parameter tractable even if restricted to instances with only four

### A Minimax Theorem for Directed Graphs

• Mathematics
• 1978
This minimax equality was conjectured about a decade ago by one of the authors ([7; page 43], [8], [9]) and, independently, by Neil Robertson. It arose in the study of a problem posed several years

### Fixed-parameter tractability of directed multiway cut parameterized by the size of the cutset

• Mathematics
SODA
• 2012
It follows from the result that Directed Multicut is FPT for the case of k = 2 terminal pairs, which answers another open problem raised in Marx and Razgon (STOC 2011).