{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article11480","name":"Exploring the Kernelization Borders for Hitting Cycles","abstract":"A generalization of classical cycle hitting problems, called conflict version of the problem, is defined as follows. An input is undirected graphs G and H on the same vertex set, and a positive integer k, and the objective is to decide whether there exists a vertex subset X subseteq V(G) such that it intersects all desired \"cycles\" (all cycles or all odd cycles or all even cycles) and X is an independent set in H. In this paper we study the conflict version of classical Feedback Vertex Set, and Odd Cycle Transversal problems, from the view point of kernelization complexity. In particular, we obtain the following results, when the conflict graph H belongs to the family of d-degenerate graphs. \n1) CF-FVS admits a O(k^{O(d)}) kernel.\n2) CF-OCT does not admit polynomial kernel (even when H is 1-degenerate), unless NP subseteq coNP\/poly.\n For our kernelization algorithm we exploit ideas developed for designing polynomial kernels for the classical Feedback Vertex Set problem, as well as, devise new reduction rules that exploit degeneracy crucially. Our main conceptual contribution here is the notion of \"k-independence preserver\". Informally, it is a set of \"important\" vertices for a given subset X subseteq V(H), that is enough to capture the independent set property in H. We show that for d-degenerate graph independence preserver of size k^{O(d)} exists, and can be used in designing polynomial kernel.","keywords":["Parameterized Complexity","Kernelization","Conflict-free problems","Feedback Vertex Set","Even Cycle Transversal","Odd Cycle Transversal"],"author":[{"@type":"Person","name":"Agrawal, Akanksha","givenName":"Akanksha","familyName":"Agrawal","affiliation":"Institute of Computer Science and Control, Hungarian Academy of Sciences (MTA SZTAKI), Budapest, Hungary"},{"@type":"Person","name":"Jain, Pallavi","givenName":"Pallavi","familyName":"Jain","affiliation":"Institute of Mathematical Sciences, HBNI, Chennai, India"},{"@type":"Person","name":"Kanesh, Lawqueen","givenName":"Lawqueen","familyName":"Kanesh","affiliation":"Institute of Mathematical Sciences, HBNI, Chennai, India"},{"@type":"Person","name":"Misra, Pranabendu","givenName":"Pranabendu","familyName":"Misra","affiliation":"University of Bergen, Bergen, Norway"},{"@type":"Person","name":"Saurabh, Saket","givenName":"Saket","familyName":"Saurabh","affiliation":"Institute of Mathematical Sciences, HBNI, Chennai, India"}],"position":14,"pageStart":"14:1","pageEnd":"14:14","dateCreated":"2019-02-05","datePublished":"2019-02-05","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Agrawal, Akanksha","givenName":"Akanksha","familyName":"Agrawal","affiliation":"Institute of Computer Science and Control, Hungarian Academy of Sciences (MTA SZTAKI), Budapest, Hungary"},{"@type":"Person","name":"Jain, Pallavi","givenName":"Pallavi","familyName":"Jain","affiliation":"Institute of Mathematical Sciences, HBNI, Chennai, India"},{"@type":"Person","name":"Kanesh, Lawqueen","givenName":"Lawqueen","familyName":"Kanesh","affiliation":"Institute of Mathematical Sciences, HBNI, Chennai, India"},{"@type":"Person","name":"Misra, Pranabendu","givenName":"Pranabendu","familyName":"Misra","affiliation":"University of Bergen, Bergen, Norway"},{"@type":"Person","name":"Saurabh, Saket","givenName":"Saket","familyName":"Saurabh","affiliation":"Institute of Mathematical Sciences, HBNI, Chennai, India"}],"copyrightYear":"2019","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.IPEC.2018.14","funding":"This research has received funding from the European Research Council under ERC grant no. 306992 PARAPPROX, ERC grant no. 715744 PaPaALG and ERC grant no. 725978 SYSTEMATIC-GRAPH, and DST, India for SERB-NPDF fellowship [PDF\/2016\/003508].","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":{"@type":"PublicationVolume","@id":"#volume6318","volumeNumber":115,"name":"13th International Symposium on Parameterized and Exact Computation (IPEC 2018)","dateCreated":"2019-02-05","datePublished":"2019-02-05","editor":[{"@type":"Person","name":"Paul, Christophe","givenName":"Christophe","familyName":"Paul"},{"@type":"Person","name":"Pilipczuk, Michal","givenName":"Michal","familyName":"Pilipczuk"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article11480","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6318"}}}