Detailed Information on Publication Record
2017
Towards a Polynomial Kernel for Directed Feedback Vertex Set
EIBEN, Eduard, Sebastian ORDYNIAK, M.S. RAMANUJAN, Benjamin BERGOUGNOUX, Robert GANIAN et. al.Basic information
Original name
Towards a Polynomial Kernel for Directed Feedback Vertex Set
Authors
EIBEN, Eduard (703 Slovakia), Sebastian ORDYNIAK (276 Germany), M.S. RAMANUJAN (356 India), Benjamin BERGOUGNOUX (250 France) and Robert GANIAN (203 Czech Republic, guarantor, belonging to the institution)
Edition
83. vyd. Nemecko, 42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark, p. 1-15, 15 pp. 2017
Publisher
LIPIcs
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10200 1.2 Computer and information sciences
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
electronic version available online
References:
RIV identification code
RIV/00216224:14330/17:00100550
Organization unit
Faculty of Informatics
ISBN
978-3-95977-046-0
ISSN
Keywords in English
parameterized algorithms; kernelization; (directed) feedback vertex set
Tags
International impact, Reviewed
Změněno: 7/1/2019 14:00, RNDr. Pavel Šmerk, Ph.D.
Abstract
V originále
In the Directed Feedback Vertex Set (DFVS) problem, the input is a directed graph D and an integer k. The objective is to determine whether there exists a set of at most k vertices intersecting every directed cycle of D. DFVS was shown to be fixed-parameter tractable when parameterized by solution size by Chen, Liu, Lu, O'Sullivan and Razgon [JACM 2008]; since then, the existence of a polynomial kernel for this problem has become one of the largest open problems in the area of parameterized algorithmics. In this paper, we study DFVS parameterized by the feedback vertex set number of the underlying undirected graph. We provide two main contributions: a polynomial kernel for this problem on general instances, and a linear kernel for the case where the input digraph is embeddable on a surface of bounded genus.