EPTAS for Max Clique on Disks and Unit Balls
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Disk Intersection Graphs: Models, Data Structures, and Algorithms
Disk Intersection Graphs: Models, Data Structures, and Algorithms Dissertation zur Erlangung des Doktorgrades vorgelegt am Fachbereich Mathematik und Informatik der Freien Universität Berlin von Paul Seiferth 2016 Erstgutachter: Prof. Dr. Wolfgang Mulzer Zweitgutachter: Prof. Dr. Christian Knauer Tag der Disputation: 19.08.2016 iii Abstract 2 Let P R be a set of n point sites. The unit disk graph UD(P) on P has vertex ⊂ set P and an edge between two sites p, q P if and only if p and q have Euclidean 2 distance jpqj 6 1. If we interpret P as centers of disks with diameter 1, then UD(P) is the intersection graph of these disks, i.e., two sites p and q form an edge if and only if their corresponding unit disks intersect. Two natural generalizations of unit disk graphs appear when we assign to each point p P an associated radius r > 0. The first one is 2 p the disk graph D(P), where we put an edge between p and q if and only if jpqj 6 rp +rq, meaning that the disks with centers p and q and radii rp and rq intersect. The second one yields a directed graph on P, called the transmission graph of P. We obtain it by putting a directed edge from p to q if and only if jpqj 6 rp, meaning that q lies in the disk with center p and radius rp. For disk and transmission graphs we define the radius ratio Ψ to be the ratio of the largest and the smallest radius that is assigned to a site in P. -
Algorithms on Geometric Graphs
M. Tech. (Computer Science) Dissertation Algorithms on Geometric Graphs A dissertation submitted in partial fulfillment of the requirements for the award of M.Tech.(Computer Science) degree By Minati De Roll No: CS0805 under the supervision of Professor Subhas C. Nandy Advanced Computing and Microelectronics Unit INDIANSTATISTICALINSTITUTE 203, Barrackpore Trunk Road Kolkata - 700 108 Acknowledgement At the end of this course, it is my pleasure to thank everyone who has helped me along the way. First of all, I want to express my sincere gratitude to my supervisor, Prof. Subhas C. Nandy, for introducing me to the world of computational geometry and giving me interesting problems. I have learnt a lot from him. For his patience, for all his advice and encouragement and for the way he helped me to think about problems with a broader perspective, I will always be grateful. I would like to thank all the professors at ISI who have made my educational life exciting and helped me to gain a better outlook on computer science. I would also like to express my gratitude to Prof. B. P. Sinha, Prof. Arijit Bishnu, Goutam K. Das, Daya Gour for interesting discussions. I would like to thank everybody at ISI for providing a wonderful atmosphere for pursuing my studies. I thank all my classmates who have made the academic and non-academic experience very delightful. Special thanks to my friends Somindu-di, Debosmita-di, Ishita, Anindita-di, Aritra-da, Butu-da, Koushik, Anisur, Soumyot- tam, Joydeep and many others who made my campus life so enjoyable. It has been great having them around at all times, good or bad. -
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. -
Maximum Clique in Disk-Like Intersection Graphs
Maximum Clique in Disk-Like Intersection Graphs Édouard Bonnet Univ Lyon, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP UMR5668, France [email protected] Nicolas Grelier Department of Computer Science, ETH Zürich [email protected] Tillmann Miltzow Utrecht University, Utrecht Netherlands [email protected] Abstract We study the complexity of Maximum Clique in intersection graphs of convex objects in the plane. On the algorithmic side, we extend the polynomial-time algorithm for unit disks [Clark ’90, Raghavan and Spinrad ’03] to translates of any fixed convex set. We also generalize the efficient polynomial-time approximation scheme (EPTAS) and subexponential algorithm for disks [Bonnet et al. ’18, Bonamy et al. ’18] to homothets of a fixed centrally symmetric convex set. The main open question on that topic is the complexity of Maximum Clique in disk graphs. It is not known whether this problem is NP-hard. We observe that, so far, all the hardness proofs for Maximum Clique in intersection graph classes I follow the same road. They show that, for every graph G of a large-enough class C, the complement of an even subdivision of G belongs to the intersection class I. Then they conclude invoking the hardness of Maximum Independent Set on the class C, and the fact that the even subdivision preserves that hardness. However there is a strong evidence that this approach cannot work for disk graphs [Bonnet et al. ’18]. We suggest a new approach, based on a problem that we dub Max Interval Permutation Avoidance, which we prove unlikely to have a subexponential-time approximation scheme. -
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 Approximation Algorithms for Unit Disk Graphs
Linear-Time Approximation Algorithms for Unit Disk Graphs Guilherme D. da Fonseca Vin´ıciusG. Pereira de S´a Celina M. H. de Figueiredo Universidade Federal do Rio de Janeiro, Brazil Abstract Numerous approximation algorithms for unit disk graphs have been proposed in the literature, exhibiting sharp trade-offs between running times and approximation ratios. We propose a method to obtain linear-time approximation algorithms for unit disk graph problems. Our method yields linear-time (4 + ")-approximations to the maximum-weight independent set and the minimum dominating set, as well as a linear-time approximation scheme for the minimum vertex cover, improving upon all known linear- or near-linear-time algorithms for these problems. 1 Introduction A unit disk graph is the intersection graph of unit disks in the plane. Unit disk graphs are often represented using the coordinates of the disk centers instead of explicit adjacency information. In this geometric setting, two vertices are adjacent if the corresponding points (the disk centers) are within Euclidean distance at most 2 from one another. Owing to their applicability in wireless networks [10, 13], numerous approximation algorithms for unit disk graphs have been proposed in the literature. Such approxima- tions are either graph-based algorithms, when they receive as input solely the adjacency representation of the graph, or geometric algorithms, when the input consists of a geo- metric representation of the graph. While the edges of a graph G(V; E), with n = V and m = E , can be obtained from the vertices' coordinates in O(n + m) time under thej j real-RAMj modelj with floor function and constant-time hashing [3], obtaining a geometric representation of a given unit disk graph is NP-hard [4]. -
Approximating Maximum Diameter-Bounded Subgraph in Unit Disk Graphs
Approximating Maximum Diameter-Bounded Subgraph in Unit Disk Graphs A. Karim Abu-Affash1 Software Engineering Department, Shamoon College of Engineering Beer-Sheva 84100, Israel [email protected] Paz Carmi2 Department of Computer Science, Ben-Gurion University Beer-Sheva 84105, Israel [email protected] Anil Maheshwari3 School of Computer Science, Carleton University Ottawa, Canada [email protected] Pat Morin4 School of Computer Science, Carleton University Ottawa, Canada [email protected] Michiel Smid5 School of Computer Science, Carleton University Ottawa, Canada [email protected] Shakhar Smorodinsky6 Department of Mathematics, Ben-Gurion University Beer-Sheva 84105, Israel [email protected] Abstract We consider a well studied generalization of the maximum clique problem which is defined as follows. Given a graph G on n vertices and an integer d ≥ 1, in the maximum diameter-bounded subgraph problem (MaxDBS for short), the goal is to find a (vertex) maximum subgraph of G of diameter at most d. For d = 1, this problem is equivalent to the maximum clique problem and thus it is NP-hard to approximate it within a factor n1−, for any > 0. Moreover, it is known that, for any d ≥ 2, it is NP-hard to approximate MaxDBS within a factor n1/2−, for any > 0. In this paper we focus on MaxDBS for the class of unit disk graphs. We provide a polynomial- time constant-factor approximation algorithm for the problem. The approximation ratio of our algorithm does not depend on the diameter d. Even though the algorithm itself is simple, its analysis is rather involved. -
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. -
Approximation Algorithms for Maximum Independent Set of a Unit Disk Graph ∗ Gautam K
Information Processing Letters 115 (2015) 439–446 Contents lists available at ScienceDirect Information Processing Letters www.elsevier.com/locate/ipl Approximation algorithms for maximum independent set of a unit disk graph ∗ Gautam K. Das a, Minati De b, Sudeshna Kolay c, Subhas C. Nandy d, , Susmita Sur-Kolay d a Dept. of Mathematics, Indian Institute of Technology Guwahati, Guwahati, India b Dept. of Computer Science, The Technion—Israel Institute of Technology, Israel c The Institute of Mathematical Sciences, Chennai, India d Indian Statistical Institute, Kolkata, India a r t i c l e i n f o a b s t r a c t Article history: We propose a 2-approximation algorithm for the maximum independent set problem for a 3 2 Received 21 November 2013 unit disk graph. The time and space complexities are O (n ) and O (n ), respectively. For a Received in revised form 5 November 2014 penny graph, our proposed 2-approximation algorithm works in O (n log n) time using O (n) Accepted 6 November 2014 space. We also propose a polynomial-time approximation scheme (PTAS) for the maximum Available online 15 November 2014 independent set problem for a unit disk graph. Given an integer k > 1, it produces a Communicated by R. Uehara solution of size 1 |OPT| in O (k4nσk log k + n logn) time and O (n + k logk) space, where + 1 2 (1 k ) Keywords: ≤ 7k + OPT is the subset of disks in an optimal solution and σk 3 2. For a penny graph, the Maximum independent set 1 | | 2σk + Unit disk graph proposed PTAS produces a solution of size + 1 OPT in O (2 nk n logn) time using (1 k ) Approximation algorithms O (2σk + n) space. -
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. -
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. -
Planar Graph Bipartization in Linear Timeଁ Samuel Fiorinia,B,1, Nadia Hardyc,2, Bruce Reedd,3, Adrian Vettae,4
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Applied Mathematics 156 (2008) 1175–1180 www.elsevier.com/locate/dam Planar graph bipartization in linear timeଁ Samuel Fiorinia,b,1, Nadia Hardyc,2, Bruce Reedd,3, Adrian Vettae,4 aGERAD HEC Montreal, Montreal, Québec, Canada bDepartment of Mathematics, Université Libre de Bruxelles, Brussels, Belgium cDepartment of Mathematics and Statistics, McGill University, Montreal, Québec, Canada dSchool of Computer Science, McGill University, Montreal, Québec, Canada eDepartment of Mathematics and Statistics and School of Computer Science, McGill University, Montreal, Québec, Canada Received 8 August 2007; accepted 8 August 2007 Available online 19 September 2007 Abstract For each constant k, we present a linear time algorithm that, given a planar graph G, either finds a minimum odd cycle vertex transversal in G or guarantees that there is no transversal of size at most k. © 2007 Elsevier B.V. All rights reserved. Keywords: Planar graph; Odd cycle; Linear time algorithm 1. Introduction An odd cycle transversal (or cover) is a subset of the vertices of a graph G that hits all the odd cycles in G. Clearly the deletion of such a vertex set leaves a bipartite graph. Thus the problem of finding an odd cycle transversal of minimum cardinality is just the classical graph bipartization problem. Whilst this problem is NP-hard, it was recently shown [12] that an O(n2) time algorithm does exist when the size of an optimal solution is constant. This result is of particular interest given that in many practical examples, for example, in computational biology [13], the transversals are typically small.