DERŇÁR, Marek and Petr HLINĚNÝ. Crossing Number is Hard for Kernelization. Online. In 32nd International Symposium on Computational Geometry (SoCG 2016). Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, p. "42:1"-"42:10", 10 pp. ISBN 978-3-95977-009-5. Available from: https://dx.doi.org/10.4230/LIPIcs.SoCG.2016.42.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Crossing Number is Hard for Kernelization
Name in Czech Průsečíkové číslo je těžké kernelizovat
Authors DERŇÁR, Marek (703 Slovakia, belonging to the institution) and Petr HLINĚNÝ (203 Czech Republic, guarantor, belonging to the institution).
Edition Germany, 32nd International Symposium on Computational Geometry (SoCG 2016), p. "42:1"-"42:10", 10 pp. 2016.
Publisher Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
Publication form electronic version available online
WWW URL
RIV identification code RIV/00216224:14330/16:00088543
Organization unit Faculty of Informatics
ISBN 978-3-95977-009-5
ISSN 1868-8969
Doi http://dx.doi.org/10.4230/LIPIcs.SoCG.2016.42
Keywords in English crossing number; kernelization; parameterized complexity
Tags core_A, firank_A, formela-conference
Tags International impact, Reviewed
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:07.
Abstract
The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed-parameter tractable for the parameter k [Grohe, STOC 2001]. This suggests a closely related question of whether this problem has a polynomial kernel, meaning whether every instance of cr(G)<=k can be in polynomial time reduced to an equivalent instance of size polynomial in k (and independent of |G|). We answer this question in the negative. Along the proof we show that the tile crossing number problem of twisted planar tiles is NP-hard, which has been an open problem for some time, too, and then employ the complexity technique of cross-composition. Our result holds already for the special case of graphs obtained from planar graphs by adding one edge.
Abstract (in Czech)
Dokážeme, že problém průsečíkového čísla grafu nelze polynomiálně kernelizovat, což znamená, že nelze danou instanci v polynomiálním čase převést na ekvivalentní instanci polynomiální velikosti v parametru k.
Links
GA14-03501S, research and development projectName: Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky
Investor: Czech Science Foundation
MUNI/A/0935/2015, interní kód MUName: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Acronym: SKOMU)
Investor: Masaryk University, Category A
MUNI/A/0945/2015, interní kód MUName: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.
Investor: Masaryk University, Category A
PrintDisplayed: 19/8/2024 22:17