Parameterized Complexity and Approximability of Directed Odd Cycle Transversal ∗
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Bipartite Graphs
Strong Parameterized Deletion: Bipartite Graphs Ashutosh Rai1 and M. S. Ramanujan2 1 The Institute of Mathematical Sciences, HBNI, Chennai, India [email protected] 2 Vienna Institute of Technology, Vienna, Austria [email protected] Abstract The purpose of this article is two fold: (a) to formally introduce a stronger version of graph deletion problems; and (b) to study this version in the context of bipartite graphs. Given a family of graphs F, a typical instance of parameterized graph deletion problem consists of an undirected graph G and a positive integer k and the objective is to check whether we can delete at most k vertices (or k edges) such that the resulting graph belongs to F. Another version that has been recently studied is the one where the input contains two integers k and ` and the objective is to check whether we can delete at most k vertices and ` edges such that the resulting graph belongs to F. In this paper, we propose and initiate the study of a more general version which we call strong deletion. In this problem, given an undirected graph G and positive integers k and `, the objective is to check whether there exists a vertex subset S of size at most k such that each connected component of G − S can be transformed into a graph in F by deleting at most ` edges. In this paper we study this stronger version of deletion problems for the class of bipartite graphs. In particular, we study Strong Bipartite Deletion, where given an undirected graph G and positive integers k and `, the objective is to check whether there exists a vertex subset S of size at most k such that each connected component of G − S can be made bipartite by deleting at most ` edges. -
Parameterized Algorithms Using Matroids Lecture I: Matroid Basics and Its Use As Data Structure
Parameterized Algorithms using Matroids Lecture I: Matroid Basics and its use as data structure Saket Saurabh The Institute of Mathematical Sciences, India and University of Bergen, Norway, ADFOCS 2013, MPI, August 5{9, 2013 1 Introduction and Kernelization 2 Fixed Parameter Tractable (FPT) Algorithms For decision problems with input size n, and a parameter k, (which typically is the solution size), the goal here is to design an algorithm with (1) running time f (k) nO , where f is a function of k alone. · Problems that have such an algorithm are said to be fixed parameter tractable (FPT). 3 A Few Examples Vertex Cover Input: A graph G = (V ; E) and a positive integer k. Parameter: k Question: Does there exist a subset V 0 V of size at most k such ⊆ that for every edge( u; v) E either u V 0 or v V 0? 2 2 2 Path Input: A graph G = (V ; E) and a positive integer k. Parameter: k Question: Does there exist a path P in G of length at least k? 4 Kernelization: A Method for Everyone Informally: A kernelization algorithm is a polynomial-time transformation that transforms any given parameterized instance to an equivalent instance of the same problem, with size and parameter bounded by a function of the parameter. 5 Kernel: Formally Formally: A kernelization algorithm, or in short, a kernel for a parameterized problem L Σ∗ N is an algorithm that given ⊆ × (x; k) Σ∗ N, outputs in p( x + k) time a pair( x 0; k0) Σ∗ N such that 2 × j j 2 × • (x; k) L (x 0; k0) L , 2 () 2 • x 0 ; k0 f (k), j j ≤ where f is an arbitrary computable function, and p a polynomial. -
On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal
On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal Konrad K. Dabrowski1 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0001-9515-6945 Matthew Johnson2 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0002-7295-2663 Giacomo Paesani Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0002-2383-1339 Daniël Paulusma3 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0001-5945-9287 Viktor Zamaraev4 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0001-5755-4141 Abstract Let vc(G), fvs(G) and oct(G) denote, respectively, the size of a minimum vertex cover, minimum feedback vertex set and minimum odd cycle transversal in a graph G. One can ask, when looking for these sets in a graph, how much bigger might they be if we require that they are independent; that is, what is the price of independence? If G has a vertex cover, feedback vertex set or odd cycle transversal that is an independent set, then we let, respectively, ivc(G), ifvs(G) or ioct(G) denote the minimum size of such a set. We investigate for which graphs H the values of ivc(G), ifvs(G) and ioct(G) are bounded in terms of vc(G), fvs(G) and oct(G), respectively, when the graph G belongs to the class of H-free graphs. -
Fixed-Parameter Algorithms for Cochromatic Number and Disjoint Rectangle Stabbing∗
Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle Stabbing∗ Pinar Heggernesy Dieter Kratschz Daniel Lokshtanovy Venkatesh Ramanx Saket Saurabhx Abstract Given a permutation π of f1; : : : ; ng and a positive integer k, we give an algorithm with 2 running time 2O(k log k)nO(1) that decides whether π can be partitioned into at most k increasing or decreasing subsequences. Thus we resolve affirmatively the open question of whether the problem is fixed parameter tractable. This NP-complete problem is equivalent to deciding whether the cochromatic number, partitioning into the minimum number of cliques or independent sets, of a given permutation graph on n vertices is at most k. In fact, we give a more general result: within the mentioned running time, one can decide whether the cochromatic number of a given perfect graph on n vertices is at most k. To obtain our result we use a combination of two well-known techniques within pa- rameterized algorithms, namely greedy localization and iterative compression. We further 2 demonstrate the power of this combination by giving a 2O(k log k)n log n time algorithm for deciding whether a given set of n non-overlapping axis-parallel rectangles can be stabbed by at most k of a given set of horizontal and vertical lines. Whether such an algorithm exists was mentioned as an open question in several papers. 1 Introduction Given a permutation π on [n] = f1; : : : ; ng and a positive integer k, a well known partitioning problem asks whether we can partition π into at most k monotone (increasing or decreasing) subsequences. -
Arxiv:1909.03896V2 [Cs.DM] 17 Mar 2020 Approximation Schemes, Triangle-Free Subgraph
Bipartite Subgraph of Geometric Intersection Graphs I Satyabrata Janaa,∗, Anil Maheshwarib, Saeed Mehrabib, Sasanka Roya aIndian Statistical Institute, Kolkata, India bSchool of Computer Science, Carleton University, Ottawa, Canada Abstract We study the Maximum Bipartite Subgraph (MBS) problem, which is defined as follows. Given a set S of n geometric objects in the plane, we want to compute a maximum-size subset S0 ⊆ S such that the intersection graph of the objects in S0 is bipartite. We first give a simple O(n)-time algorithm that solves the MBS problem on a set of n intervals. We also give an O(n2)-time algorithm that computes a near-optimal solution for the problem on circular-arc graphs. We show that the MBS problem is NP-hard on geometric graphs for which the maximum independent set is NP-hard (hence, it is NP-hard even on unit squares and unit disks). On the other hand, we give a PTAS for the problem on unit squares and unit disks. Moreover, we show fast approximation algorithms with small-constant factors for the problem on unit squares, unit disks and unit- height rectangles. Finally, we study a closely related geometric problem, called Maximum Triangle-free Subgraph (MTFS), where the objective is the same as that of MBS except the intersection graph induced by the set S0 needs to be triangle-free only (instead of being bipartite). Keywords: Bipartite subgraph, Geometric intersection graphs, NP-hardness, arXiv:1909.03896v2 [cs.DM] 17 Mar 2020 Approximation schemes, Triangle-free subgraph IA preliminary version of this paper appeared in the The 14th International Conference and Workshops on Algorithms and Computation (WALCOM 2020). -
Linear-Time Kernelization for Feedback Vertex Set∗
Linear-Time Kernelization for Feedback Vertex Set∗ Yoichi Iwata† National Institute of Informatics, Tokyo, Japan [email protected] Abstract In this paper, we give an algorithm that, given an undirected graph G of m edges and an integer k, computes a graph G0 and an integer k0 in O(k4m) time such that (1) the size of the graph G0 is O(k2), (2) k0 ≤ k, and (3) G has a feedback vertex set of size at most k if and only if G0 has a feedback vertex set of size at most k0. This is the first linear-time polynomial-size kernel for Feedback Vertex Set. The size of our kernel is 2k2 + k vertices and 4k2 edges, which is smaller than the previous best of 4k2 vertices and 8k2 edges. Thus, we improve the size and the running time simultaneously. We note that under the assumption of NP 6⊆ coNP/poly, Feedback Vertex Set does not admit an O(k2−)-size kernel for any > 0. Our kernel exploits k-submodular relaxation, which is a recently developed technique for obtaining efficient FPT algorithms for various problems. The dual of k-submodular relaxation of Feedback Vertex Set can be seen as a half-integral variant of A-path packing, and to obtain the linear-time complexity, we give an efficient augmenting-path algorithm for this problem. We believe that this combinatorial algorithm is of independent interest. A solver based on the proposed method won first place in the 1st Parameterized Algorithms and Computational Experiments (PACE) challenge. 1998 ACM Subject Classification G.2.2 Graph Theory Keywords and phrases FPT Algorithms, Kernelization, Path Packing, Half-integrality Digital Object Identifier 10.4230/LIPIcs.ICALP.2017.68 1 Introduction In the theory of parameterized complexity, we introduce parameters to problems and analyze the complexity with respect to both the input length n = |x| and the parameter value k. -
Faster Parameterized Algorithms for Deletion to Split Graphs
Faster Parameterized Algorithms for Deletion to Split Graphs Esha Ghosh1, Sudeshna Kolay1, Mrinal Kumar2, Pranabendu Misra3, Fahad Panolan1, Ashutosh Rai1, and M. S. Ramanujan1 1 The Institute of Mathematical Sciences, Chennai, India fesha|skolay|fahad|ashutosh|[email protected] 2 Indian Institute of Technology, Madras, Chennai, India [email protected] 3 Chennai Mathematical Institute, Chennai, India [email protected] Abstract. An undirected graph is said to be split if its vertex set can be partitioned into two sets such that the subgraph induced on one of them is a complete graph and the subgraph induced on the other is an independent set. We initiate a systematic study of parameterized complexity of the problem of deleting the minimum number of vertices or edges from a given input graph so that the resulting graph is split. We give efficient fixed-parameter algorithms and polynomial sized kernels for the problem. More precisely, 1. for Split Vertex Deletion, the problem of determining whether there are k vertices whose deletion results in a split graph, we give an O∗(2k)z algorithm improving on the previous best bound of O∗(2:32k). We also give an O(k3)-sized kernel for the problem. 2. For Split Edge Deletion, the problem of determiningp whether there are k edges whose deletion results in a split graph, we give an O∗(2O( k log k)) algorithm. We also prove the existence of an O(k2) kernel. In addition, we note that our algorithm for Split Edge Deletion adds to the small number of subexponential parameterized algorithms not obtained through bidimensionality [6], and on general graphs. -
Fixed Parameter Algorithms
Fixed Parameter Algorithms Dániel Marx Tel Aviv University, Israel International Workshop on Tractability July 5, 2010, Microsoft Research, Cambridge, UK Fixed Parameter Algorithms – p.1/40 Parameterized complexity Main idea: Instead of expressing the running time as a function T (n) of n, we express it as a function T (n, k) of the input size n and some parameter k of the input. In other words: we do not want to be efficient on all inputs of size n, only for those where k is small. Fixed Parameter Algorithms – p.2/40 Parameterized complexity Main idea: Instead of expressing the running time as a function T (n) of n, we express it as a function T (n, k) of the input size n and some parameter k of the input. In other words: we do not want to be efficient on all inputs of size n, only for those where k is small. What can be the parameter k? The size k of the solution we are looking for. The maximum degree of the input graph. The diameter of the input graph. The length of clauses in the input Boolean formula. ... Fixed Parameter Algorithms – p.2/40 Parameterized complexity Problem: VERTEX COVER INDEPENDENT SET Input: Graph G, integer k Graph G, integer k Question: Is it possible to cover Is it possible to find the edges with k vertices? k independent vertices? Complexity: NP-complete NP-complete Fixed Parameter Algorithms – p.3/40 Parameterized complexity Problem: VERTEX COVER INDEPENDENT SET Input: Graph G, integer k Graph G, integer k Question: Is it possible to cover Is it possible to find the edges with k vertices? k independent vertices? -
Abstract Directed Graphs: Fixed-Parameter
ABSTRACT Title of dissertation: DIRECTED GRAPHS: FIXED-PARAMETER TRACTABILITY & BEYOND Rajesh Chitnis, Doctor of Philosophy, 2014 Dissertation directed by: Professor MohammadTaghi Hajiaghayi Department of Computer Science Most interesting optimization problems on graphs are NP-hard, implying that (un- less P = NP) there is no polynomial time algorithm that solves all the instances of an NP-hard problem exactly. However, classical complexity measures the running time as a function of only the overall input size. The paradigm of parameterized complexity was introduced by Downey and Fellows to allow for a more refined multivariate analy- sis of the running time. In parameterized complexity, each problem comes along with a secondary measure k which is called the parameter. The goal of parameterized com- plexity is to design efficient algorithms for NP-hard problems when the parameter k is small, even if the input size is large. Formally, we say that a parameterized problem is fixed-parameter tractable (FPT) if instances of size n and parameter k can be solved in f (k) nO(1) time, where f is a computable function which does not depend on n. A pa- · rameterized problem belongs to the class XP if instances of size n and parameter k can be solved in f (k) nO(g(k)) time, where f and g are both computable functions. · In this thesis we focus on the parameterized complexity of transversal and connec- tivity problems on directed graphs. This research direction has been hitherto relatively unexplored: usually the directed version of the problems require significantly different and more involved ideas than the ones for the undirected version. -
On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal∗
On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal∗ Konrad K. Dabrowski1 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0001-9515-6945 Matthew Johnson2 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0002-7295-2663 Giacomo Paesani Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0002-2383-1339 Daniël Paulusma3 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0001-5945-9287 Viktor Zamaraev4 Department of Computer Science, Durham University, UK [email protected] https://orcid.org/0000-0001-5755-4141 Abstract Let vc(G), fvs(G) and oct(G), respectively, denote the size of a minimum vertex cover, minimum feedback vertex set and minimum odd cycle transversal in a graph G. One can ask, when looking for these sets in a graph, how much bigger might they be if we require that they are independent; that is, what is the price of independence? If G has a vertex cover, feedback vertex set or odd cycle transversal that is an independent set, then we let ivc(G), ifvs(G) or ioct(G), respectively, denote the minimum size of such a set. Similar to a recent study on the price of connectivity (Hartinger et al. EuJC 2016), we investigate for which graphs H the values of ivc(G), ifvs(G) and ioct(G) are bounded in terms of vc(G), fvs(G) and oct(G), respectively, when the graph G belongs to the class of H-free graphs. -
Obtaining a Bipartite Graph by Contracting Few Edges*
Obtaining a Bipartite Graph by Contracting Few Edges? Pinar Heggernes1, Pim van 't Hof1, Daniel Lokshtanov2, and Christophe Paul3 1 Department of Informatics, University of Bergen, Norway. fpinar.heggernes,[email protected] 2 Department of Computer Science and Engineering University of California San Diego, USA. [email protected] 3 CNRS, LIRMM, Universit´eMontpellier 2, France. [email protected] Abstract. We initiate the study of the Bipartite Contraction problem from the perspective of parameterized complexity. In this problem, we are given an n-vertex graph G and an integer k, and the task is to determine whether we can obtain a bi- partite graph from G by a sequence of at most k edge contractions. We show that Bipartite Contraction is fixed-parameter tractable when parameterized by k. De- spite a strong resemblance between Bipartite Contraction and the classical Odd Cycle Transversal (OCT) problem, the methods developed to tackle OCT do not seem to be directly applicable to Bipartite Contraction. To obtain our result, we combine several techniques and concepts that are central in parameterized complexity: iterative compression, irrelevant vertices, and important separators. To the best of our knowledge, this is the first time the irrelevant vertex technique and the concept of important separators are applied in unison. Furthermore, our algorithm may serve as a comprehensible example of the usage of the irrelevant vertex technique. 1 Introduction Odd Cycle Transversal (OCT) is a central problem in parameterized complexity. The establishment of its fixed-parameter tractability by Reed, Smith, and Vetta [26] in 2004, set- tling a long-standing open question [8], supplied the field with the powerful new technique of iterative compression [24]. -
Experimental Analysis of Fixed Parameter Algorithms for Odd Cycle Transversals and Feedback Vertex Sets
www.ijemr.net ISSN (ONLINE): 2250-0758, ISSN (PRINT): 2394-6962 Volume-5, Issue-5, October-2015 International Journal of Engineering and Management Research Page Number: 656-667 Experimental Analysis of Fixed Parameter Algorithms for Odd Cycle Transversals and Feedback Vertex Sets S. Shivaprasad1, Dr. M Sadanandam2, Anand Agrawal3 1,3Assistant Professor, Vignan’s Univeristy, INDIA 2Assistant Professor, Kakatiya University, INDIA ABSTRACT natural way to cope with problems that are As implementing approximation considered intractable according to the classical P algorithms for NP-hard problems seems to be versus NP dichotomy. In practice, large instances impractical, a fixed-parameter algorithm is one that of NP-complete problems are solved exactly every provides an optimal solution to a discrete day. The reason for why this is possible is that combinatorial problem. The fundamental idea is to problem instances that occur naturally often have a re- strict the corresponding, seemingly unavoidable, combinatorial explosion that causes the exponential hidden structure. The basic idea of Parameterized growth in the running time of certain problem- Algorithms and Complexity is to extract and specific parameters.An odd cycle transversal (OCT) is harness the power of this structure. In a subset of the vertices of a graph G that hits all the Parameterized Algorithms and Complexity every odd cycles in G. Clearly the deletion of such a vertex problem instance comes with a relevant secondary set leaves a bipartite graph. Thus the problem of measurement k, called a parameter . The parameter finding an odd cycle transversal of min- imum measures how difficult the instance is, the larger the cardinality is just the classical graph bipartization parameter, the harder the instance.