D 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.