An Exact Algorithm for Subset Feedback Vertex Set on Chordal Graphs

Author(s):  
Petr A. Golovach ◽  
Pinar Heggernes ◽  
Dieter Kratsch ◽  
Reza Saei
2007 ◽  
Vol 72 (4) ◽  
pp. 1197-1203
Author(s):  
Rick Statman

AbstractWe consider three problems concerning alpha conversion of closed terms (combinators).(1) Given a combinator M find the an alpha convert of M with a smallest number of distinct variables.(2) Given two alpha convertible combinators M and N find a shortest alpha conversion of M to N.(3) Given two alpha convertible combinators M and N find an alpha conversion of M to N which uses the smallest number of variables possible along the way.We obtain the following results.(1) There is a polynomial time algorithm for solving problem (1). It is reducible to vertex coloring of chordal graphs.(2) Problem (2) is co-NP complete (in recognition form). The general feedback vertex set problem for digraphs is reducible to problem (2).(3) At most one variable besides those occurring in both M and N is necessary. This appears to be the folklore but the proof is not familiar. A polynomial time algorithm for the alpha conversion of M to N using at most one extra variable is given.There is a tradeoff between solutions to problem (2) and problem (3) which we do not fully understand.


2014 ◽  
Vol 30 (2) ◽  
pp. 214-241 ◽  
Author(s):  
Mingyu Xiao ◽  
Hiroshi Nagamochi

2021 ◽  
Vol 867 ◽  
pp. 1-12
Author(s):  
Lawqueen Kanesh ◽  
Soumen Maity ◽  
Komal Muluk ◽  
Saket Saurabh

Algorithmica ◽  
2021 ◽  
Author(s):  
Robert Ganian ◽  
Sebastian Ordyniak ◽  
M. S. Ramanujan

AbstractIn this paper we revisit the classical edge disjoint paths (EDP) problem, where one is given an undirected graph G and a set of terminal pairs P and asks whether G contains a set of pairwise edge-disjoint paths connecting every terminal pair in P. Our focus lies on structural parameterizations for the problem that allow for efficient (polynomial-time or FPT) algorithms. As our first result, we answer an open question stated in Fleszar et al. (Proceedings of the ESA, 2016), by showing that the problem can be solved in polynomial time if the input graph has a feedback vertex set of size one. We also show that EDP parameterized by the treewidth and the maximum degree of the input graph is fixed-parameter tractable. Having developed two novel algorithms for EDP using structural restrictions on the input graph, we then turn our attention towards the augmented graph, i.e., the graph obtained from the input graph after adding one edge between every terminal pair. In constrast to the input graph, where EDP is known to remain -hard even for treewidth two, a result by Zhou et al. (Algorithmica 26(1):3--30, 2000) shows that EDP can be solved in non-uniform polynomial time if the augmented graph has constant treewidth; we note that the possible improvement of this result to an FPT-algorithm has remained open since then. We show that this is highly unlikely by establishing the [1]-hardness of the problem parameterized by the treewidth (and even feedback vertex set) of the augmented graph. Finally, we develop an FPT-algorithm for EDP by exploiting a novel structural parameter of the augmented graph.


Author(s):  
Binh-Minh Bui-Xuan ◽  
Jan Arne Telle ◽  
Martin Vatshelle

2019 ◽  
Vol 15 (1) ◽  
pp. 1-28 ◽  
Author(s):  
Akanksha Agrawal ◽  
Daniel Lokshtanov ◽  
Pranabendu Misra ◽  
Saket Saurabh ◽  
Meirav Zehavi

Sign in / Sign up

Export Citation Format

Share Document