Abstract:Since 1971 when Cook proposed NP and NP-complete concepts,NP theory has been widely studied.NP-completeness has become one of the most important concepts in computational theory.When P≠ NP,there is no polynomial time algorithm for any NP-complete problem.Exact algorithms aim to develop nontrivial fast exponential time algorithms for NP-complete and NP-hard problems.Some topics in this area,such as whether there is an algorithm faster than O*(2n) for TSP,whether the maximum independent set problem can be solved in O*(1.0001n) and so on,are well known hard tasks in exact algorithms and computational complexity.During the last 20 years,many elegant techniques have been developed to design exact algorithms and this area becomes a hot area in theoretical computer science.The measure-and-conquer method,introduced by Fomin et al.,is one of the most important methods to investigate exact algorithms and parameterized algorithms.This method is based on a kind of amortization analysis,in which we set different weights to each vertex and use the sum of all vertex weights as the measure to evaluate the problem size.Compared to traditional measures,the weighted measure may catch more structural information of the graph and lead to a further improvement without modifying the algorithms.Nowadays,for many important NP-hard problems,the best exact algorithms are designed and analyzed by this new method.The subset feedback vertex set problem is a classical NP-hard problem that has been extensively studied in exact algorithms.Given an undirected graph G=(V,E) and a set S(∈)V,the subset feedback vertex set problem asks us to delete a minimum number of vertices from G such that each vertex in S is not in any cycle in the remaining graph.This problem contains the feedback vertex set problem and the multiway cut problem as special cases.When S(∈)V includes all vertex of the graph,it is equivalent to the classical NP-hard feedback vertex set problem.When S(∈)V only contains one vertex and it does not allow to be delete,it can be transformed to the multiway cut problem.The subset feedback vertex set problem finds applications in circuit testing,network communication,deadlock recovery of operating system,synchronization system,artificial intelligence,biological computing and so on.The subset feedback vertex set problem is also an important problem in exact algorithms.A brute-force algorithm that tests each vertex subset of the graph gives a trivial running time bound of O*(2n),where n is the number of vertices in the graph.This trivial bound was not broken until recently Fomin et al.gave an O*(1.8638n)-time algorithm in 2011.This paper will further improve the running time bound to O*(1.7743n).The new algorithm is a branch-and-search algorithm that is analyzed by using the measure-and-conquer method.In order to get the improvement,this paper deeply analyzes the problem structural properties and explores a number of effective reduction and branching rules.With the help of the new reduction and branching rules,the measure and-conquer method can reduce the problem instance effectively and then leads to the claimed running time bound.

An FPT algorithm for edge subset feedback edge set

Exact Algorithms for the Subset Feedback Vertex Set Problem in Undirected Graphs

Improved FPT Algorithms for Deletion to Forest-Like Structures

Fixed Parameterized Algorithms for Generalized Feedback Vertex Set Problems

An Improved Exact Algorithm for Undirected Feedback Vertex Set

Polyhedral Aspects of Feedback Vertex Set and Pseudoforest Deletion Set

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

Tractable Feedback Vertex Sets in Restricted Bipartite Graphs

Classifying Subset Feedback Vertex Set for H -Free Graphs

FPT algorithms for generalized feedback vertex set problems

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

Feedback Vertex Sets on Restricted Bipartite Graphs

Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Bipartite Tournaments

A New Approach to Constructing a Minimum Edge Cut Set Based on Maximum Flow.

New Parameterized Algorithms for Edge Dominating Set

FPT Approximation and Subexponential Algorithms for Covering Few or Many Edges

Connected feedback vertex set on AT-free graphs

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

Dynamic Parameterized Feedback Problems in Tournaments

A Quadratic Vertex Kernel for Feedback Arc Set in Bipartite Tournaments

Finding small feedback arc sets on large graphs