DOCSLIB.ORG

A Multifaceted Approach to Improving the Practicality of Structural Graph Algorithms

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Multifaceted Approach to Improving the Practicality of Structural Graph Algorithms ABSTRACT O’BRIEN, MICHAEL PATRICK. A Multifaceted Approach to Improving the Practicality of Structural Graph Algorithms. (Under the direction of Blair D. Sullivan.) Graph algorithms have become an integral part of modern data analytics, but existing ap- proaches have struggled to scale to increasing network sizes. The theoretical computer science community has a rich history of research that circumvents these scalability issues through algorithms that exploit the structural sparsity of graphs. Because many real-world networks from diverse domains are known to share properties like sparsity, clustering, and heavy-tailed degree distributions, structure-based algorithms appear on the surface to be an attractive alternative. However, they come with their own set of problems, such as non-constructive proofs, massive constants hidden in big-O notation, and attention paid to exploiting structures that are unlikely to occur in real data. Consequently, there is a large gap between the most theoretically efficient algorithms and the most practical ones. This dissertation focuses on alleviating practical barriers to the use of structural graph algorithms in large-scale data analytics, addressing problems on multiple different fronts. First, we show that some structural features can still be identified even in the presence of missing or unknown data. A second contribution is CONCUSS, a first-of-its-kind implementation of a subgraph isomorphism counting algorithm that exploits the bounded expansion structure of graph classes. Through a thorough experimental evaluation of CONCUSS, we establish conditions under which it is competitive with existing algorithms and highlight ways to enhance the general algorithmic framework. As extensions to this framework, we introduce p-linear colorings—an alternative graph coloring used to identify bounded expansion struc- ture—as well as practical dynamic programming algorithms to perform a variant of local search in fixed-parameter tractable time in graph classes with bounded expansion. Despite these successes, we prove that recognizing classes of bounded expansion by measuring the density of shallow topological minors is likely not possible in polynomial time. Finally, to demonstrate a concrete way in which structure-based algorithms enable better analysis in scientific domains we build a framework for extracting neighborhoods from metagenomic sequencing data in an interdisciplinary collaboration with computational biologists. Overall, this work illustrates multiple effective strategies for bridging the gap between efficient and practical algorithms. © Copyright 2018 by Michael Patrick O’Brien All Rights Reserved A Multifaceted Approach to Improving the Practicality of Structural Graph Algorithms by Michael Patrick O’Brien A dissertation submitted to the Graduate Faculty of North Carolina State University in partial fulfillment of the requirements for the Degree of Doctor of Philosophy Computer Science Raleigh, North Carolina 2018 APPROVED BY: Carla D. Savage Matthias F. Stallmann Steffen Heber Blair D. Sullivan Chair of Advisory Committee DEDICATION To Dr. Mary Jane Cooper O’Brien, who received her doctoral degree at age 71. ii BIOGRAPHY Michael P. O’Brien grew up in Strongsville, OH. Before coming to North Carolina State University, he received a Bachelor’s degree in Computer Science with a minor in Chinese from the University of Notre Dame. iii ACKNOWLEDGEMENTS Many thanks to Dr. Felix Reidl for laying the groundwork for this dissertation, Dr. C. Titus Brown for time spent devoted to a student outside his lab, Dr. Blair D. Sullivan for advising and encouraging this work, and Shannon Warchol O’Brien for making the whole experience much easier and more enjoyable. iv TABLE OF CONTENTS LIST OF TABLES ......................................... viii LIST OF FIGURES ........................................ ix Chapter 1 Introduction ..................................... 1 1.1 Motivation......................................... 1 1.2 Overarching Challenges................................ 2 1.3 Research Questions and Outline ........................... 3 Chapter 2 Background ..................................... 4 2.1 Graph Theory...................................... 4 2.2 Sparse Graph Hierarchy................................ 5 2.2.1 Treedepth .................................... 6 2.2.2 Excluded Minors................................ 8 2.2.3 Bounded Expansion.............................. 9 2.2.4 Nowhere/Somewhere Density......................... 11 2.2.5 Degeneracy and Core Decompositions ................... 12 2.3 Random Graph Models ................................ 13 2.3.1 Asymptotic Properties............................. 13 2.3.2 RGMs with Bounded Expansion....................... 13 2.4 Parameterized Complexity............................... 15 2.4.1 Relationship to Graph Structure....................... 16 2.4.2 Parameterized Lower Bounds......................... 16 Chapter 3 Locally Estimating Core Numbers ....................... 18 3.1 Introduction....................................... 19 3.2 Related Work ....................................... 21 3.3 Local Estimation ..................................... 21 3.3.1 Neighborhood-based Estimation........................ 21 3.3.2 Structures Leading to Error.......................... 25 3.3.3 Expected Behavior on Random Graphs................... 26 3.4 Experimental Results.................................. 27 3.4.1 Methods..................................... 28 3.4.2 Results...................................... 28 3.5 Network Treatment................................... 33 3.5.1 Problem Statement............................... 33 3.5.2 Estimating k-core Exposure Probabilities.................. 35 3.6 Conclusion........................................ 37 Chapter 4 CONCUSS ..................................... 40 4.1 Introduction........................................ 41 4.2 Algorithmic Landscape for Classes of Bounded Expansion............. 41 4.3 Subgraph Isomorphism Counting .......................... 42 v 4.3.1 Motif Counting................................. 42 4.3.2 Graphlet Degree Distribution......................... 43 4.3.3 Existing Algorithms .............................. 43 4.4 CONCUSS........................................ 45 4.4.1 Color....................................... 47 4.4.2 Decompose ................................... 48 4.4.3 Compute..................................... 48 4.4.4 Combine..................................... 49 4.4.5 Extensions to other problems......................... 49 4.5 Experimental Design.................................. 49 4.5.1 Data ....................................... 50 4.5.2 Hardware .................................... 50 4.6 Competitive Evaluation ................................ 50 4.6.1 Configuration Testing .............................. 51 4.6.2 Comparison with NXVF2 ........................... 53 4.7 Bottleneck Identification................................ 55 4.7.1 Color Class Distribution............................ 55 4.7.2 Color Set Treedepth .............................. 58 4.8 Conclusion........................................ 59 Chapter 5 Linear Colorings .................................. 60 5.1 Introduction........................................ 61 5.2 p-Linear and Linear Colorings ............................. 61 5.3 Lower Bounds...................................... 63 5.4 Upper Bounds on Trees ................................ 66 5.5 Upper Bounds on Interval Graphs.......................... 68 5.6 Hardness of Recognizing Linear Colorings...................... 71 5.7 Conclusion........................................ 74 Chapter 6 Identifying Dense Substructures ........................ 75 6.1 Introduction....................................... 76 6.2 Background ....................................... 77 6.3 Algorithmic Considerations.............................. 78 6.4 NP-Hardness ...................................... 80 6.5 ETH Lower Bounds................................... 86 6.6 Conclusion........................................ 89 Chapter 7 Local Search ..................................... 91 7.1 Introduction........................................ 91 7.2 Background ....................................... 94 7.2.1 Notation..................................... 94 7.2.2 Problem Definitions .............................. 94 7.3 Algorithmic Strategy.................................. 94 7.4 Vertex Cover....................................... 95 7.4.1 Algorithm Description............................. 96 vi 7.4.2 Correctness ................................... 96 7.4.3 Weighted Variant................................ 98 7.5 Maximal Matching ................................... 99 7.5.1 Algorithm Description............................. 100 7.5.2 Correctness ....................................101 7.5.3 Weighted Variant................................ 104 7.6 Conclusion........................................ 105 Chapter 8 Interdisciplinary Applications ......................... 106 8.1 Introduction....................................... 107 8.2 Background ....................................... 108 8.2.1 De Bruijn Graphs................................ 108 8.2.2 Data ....................................... 108 8.2.3 Evaluation Metrics............................... 109 8.3 Neighborhood Indexing................................ 109 8.3.1 Algorithmic Description............................ 109 8.3.2 Biological Impact................................ 110 8.4 The CAtlas.......................................
Load more

Recommended publications
  • Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs∗
    Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs∗ Sariel Har-Peledy Kent Quanrudz September 23, 2015 Abstract We investigate the family of intersection graphs of low density objects in low dimensional Eu- clidean space. This family is quite general, includes planar graphs, and in particular is a subset of the family of graphs that have polynomial expansion. We present efficient (1 + ")-approximation algorithms for polynomial expansion graphs, for Independent Set, Set Cover, and Dominating Set problems, among others, and these results seem to be new. Naturally, PTAS's for these problems are known for subclasses of this graph family. These results have immediate interesting applications in the geometric domain. For example, the new algorithms yield the only PTAS known for covering points by fat triangles (that are shallow). We also prove corresponding hardness of approximation for some of these optimization problems, characterizing their intractability with respect to density. For example, we show that there is no PTAS for covering points by fat triangles if they are not shallow, thus matching our PTAS for this problem with respect to depth. 1. Introduction Many classical optimization problems are intractable to approximate, let alone solve. Motivated by the discrepancy between the worst-case analysis and real-world success of algorithms, more realistic models of input have been developed, alongside algorithms that take advantage of their properties. In this paper, we investigate approximability of some classical optimization problems (e.g., set cover and independent set, among others) for two closely-related families of graphs: Graphs with polynomially- bounded expansion, and intersection graphs of geometric objects with low-density.
    [Show full text]
  • Measuring Sparsity
    Chapter 1: Measuring sparsity Compilation date: January 24, 2020 1 Motivating examples and concepts Before we start delving into the theory of structural sparsity, we present a number of classic concepts in graph theory, on which many of abstract notion will built later on. These concepts include both classes of sparse graphs and various decomposition notions. 1.1 Planar graphs We start our story with probably the most important class of starse graphs: planar graphs. Since we do not want to put an emphasis on the topological aspects of graph embeddings (and only slide over embeddings into surfaces of higher genera), we will rely here on the intuitive understanding of an embedding. Readers interested in more intricate aspects of graph embeddings are referred to an excellent monograph of Mohar and Thomassen. A plane embedding of a graph G is a mapping that assigns to every vertex of G a distinct point of the two dimensional sphere and to every edge of G a Jordan curve without self-intersections that connects the images of the endpoints of the edge. Distinct edges share no points except for the necessary case: when two edges are incident with the same vertex, the images of the curves meet at their endpoints at the image of the vertex in question. A plane graph is a graph G together with its plane embedding. A graph G is planar if it admits a plane embedding. A face of an embedding is a connected component of the sphere minus the image of the graph. An embedding is cellular if every face is homomorphic to a disc.
    [Show full text]
  • On Quasi-Planar Graphs: Clique-Width and Logical Description
    On quasi-planar graphs : clique-width and logical description Bruno Courcelle To cite this version: Bruno Courcelle. On quasi-planar graphs : clique-width and logical description. Discrete Applied Mathematics, Elsevier, 2018, 10.1016/j.dam.2018.07.022. hal-01735820v2 HAL Id: hal-01735820 https://hal.archives-ouvertes.fr/hal-01735820v2 Submitted on 3 Mar 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. On quasi-planar graphs : clique-width and logical description. Bruno Courcelle Labri, CNRS and Bordeaux University∗ 33405 Talence, France email: [email protected] June 19, 2018 Abstract Motivated by the construction of FPT graph algorithms parameterized by clique-width or tree-width, we study graph classes for which tree- width and clique-width are linearly related. This is the case for all graph classes of bounded expansion, but in view of concrete applications, we want to have "small" constants in the comparisons between these width parameters. We focus our attention on graphs that can be drawn in the plane with limited edge crossings, for an example, at most p crossings for each edge. These graphs are called p-planar. We consider a more general situation where the graph of edge crossings must belong to a fixed class of graphs .
    [Show full text]
  • An Annotated Bibliography on 1-Planarity
    An annotated bibliography on 1-planarity Stephen G. Kobourov1, Giuseppe Liotta2, Fabrizio Montecchiani2 1Dep. of Computer Science, University of Arizona, Tucson, USA [email protected] 2Dip. di Ingegneria, Universit`adegli Studi di Perugia, Perugia, Italy fgiuseppe.liotta,[email protected] July 21, 2017 Abstract The notion of 1-planarity is among the most natural and most studied generalizations of graph planarity. A graph is 1-planar if it has an embedding where each edge is crossed by at most another edge. The study of 1-planar graphs dates back to more than fifty years ago and, recently, it has driven increasing attention in the areas of graph theory, graph algorithms, graph drawing, and computational geometry. This annotated bibliography aims to provide a guiding reference to researchers who want to have an overview of the large body of literature about 1-planar graphs. It reviews the current literature covering various research streams about 1-planarity, such as characterization and recognition, combinatorial properties, and geometric representations. As an additional contribution, we offer a list of open problems on 1-planar graphs. 1 Introduction Relational data sets, containing a set of objects and relations between them, are commonly modeled by graphs, with the objects as the vertices and the relations as the edges. A great deal is known about the structure and properties of special types of graphs, in particular planar graphs. The class of planar graphs is fundamental for both Graph Theory and Graph Algorithms, and is extensively studied. Many structural properties of planar graphs are known and these properties can be used in the development of efficient algorithms for planar graphs, even where the more general problem is NP-hard [11].
    [Show full text]
  • Homomorphism Counts in Robustly Sparse Graphs
    Homomorphism counts in robustly sparse graphs Chun-Hung Liu∗ Department of Mathematics, Texas A&M University, College Station, TX 77843-3368, USA July 5, 2021 Abstract For a fixed graph H and for arbitrarily large host graphs G, the number of homo- morphisms from H to G and the number of subgraphs isomorphic to H contained in G have been extensively studied in extremal graph theory and graph limits theory when the host graphs are allowed to be dense. This paper addresses the case when the host graphs are robustly sparse and proves a general theorem that solves a number of open questions proposed since 1990s and strengthens a number of results in the literature. We prove that for any graph H and any set of homomorphisms from H to H members of a hereditary class of graphs, if satisfies a natural and mild condition, G H and contracting disjoint subgraphs of radius O( V (H) ) in members of cannot create | | G a graph with large edge-density, then an obvious lower bound for the size of gives H a good estimation for the size of . This result determines the maximum number of H H-homomorphisms, the maximum number of H-subgraphs, and the maximum number H-induced subgraphs in graphs in any hereditary class with bounded expansion up to a constant factor; it also determines the exact value of the asymptotic logarithmic density for H-homomorphisms, H-subgraphs and H-induced subgraphs in graphs in any hereditary nowhere dense class. Hereditary classes with bounded expansion include arXiv:2107.00874v1 [math.CO] 2 Jul 2021 (topological) minor-closed families and many classes of graphs with certain geometric properties; nowhere dense classes are the most general sparse classes in sparsity theory.
    [Show full text]
  • Graph Minor from Wikipedia, the Free Encyclopedia Contents
    Graph minor From Wikipedia, the free encyclopedia Contents 1 2 × 2 real matrices 1 1.1 Profile ................................................. 1 1.2 Equi-areal mapping .......................................... 2 1.3 Functions of 2 × 2 real matrices .................................... 2 1.4 2 × 2 real matrices as complex numbers ............................... 3 1.5 References ............................................... 4 2 Abelian group 5 2.1 Definition ............................................... 5 2.2 Facts ................................................. 5 2.2.1 Notation ........................................... 5 2.2.2 Multiplication table ...................................... 6 2.3 Examples ............................................... 6 2.4 Historical remarks .......................................... 6 2.5 Properties ............................................... 6 2.6 Finite abelian groups ......................................... 7 2.6.1 Classification ......................................... 7 2.6.2 Automorphisms ....................................... 7 2.7 Infinite abelian groups ........................................ 8 2.7.1 Torsion groups ........................................ 9 2.7.2 Torsion-free and mixed groups ................................ 9 2.7.3 Invariants and classification .................................. 9 2.7.4 Additive groups of rings ................................... 9 2.8 Relation to other mathematical topics ................................. 10 2.9 A note on the typography ......................................
    [Show full text]
  • Notes on Graph Product Structure Theory
    Notes on Graph Product Structure Theory Zdenekˇ Dvorák,ˇ Tony Huynh, Gwenaël Joret, Chun-Hung Liu, and David R. Wood Abstract It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys gener- alisations of this result for graphs on surfaces, minor-closed classes, various non- minor-closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph classes. In particular, we characterise when a graph class defined by a cartesian or strong product has bounded or polynomial expansion. We then explore graph prod- uct structure theorems for various geometrically defined graph classes, and present several open problems. Zdenekˇ Dvorákˇ Charles University, Prague, Czech Republic Supported by project 17-04611S (Ramsey-like aspects of graph coloring) of Czech Science Foun- dation e-mail: [email protected] Tony Huynh and David R. Wood School of Mathematics, Monash University, Melbourne, Australia Research supported by the Australian Research Council e-mail: [email protected],[email protected] Gwenaël Joret Département d’Informatique, Université libre de Bruxelles, Brussels, Belgium Research supported by the Wallonia-Brussels Federation of Belgium, and by the Australian Re- search Council e-mail: [email protected] Chun-Hung Liu Department of Mathematics, Texas A&M University, College Station, Texas, USA Partially supported by the NSF under Grant No. DMS-1929851 e-mail: [email protected] 1 2 Zdenekˇ Dvorák,ˇ Tony Huynh, Gwenaël Joret, Chun-Hung Liu, and David R.
    [Show full text]
  • Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications
    Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications Christian Wulff-Nilsen ∗ September 1, 2018 Abstract Alon, Seymour, and Thomas generalized Lipton and Tarjan’s planar separator theorem and 3/2 showed that a Kh-minor free graph with n vertices has a separator of size at most h √n. They gave an algorithm that, given a graph G with m edges and n vertices and given an integer h 1, outputs in O(√hnm) time such a separator or a Kh-minor of G. Plotkin, Rao, and Smith gave≥ an O(hm√n log n) time algorithm to find a separator of size O(h√n log n). Kawarabayashi and Reed improved the bound on the size of the separator to h√n and gave an algorithm that finds such a separator in O(n1+ǫ) time for any constant ǫ > 0, assuming h is constant. This algorithm has an extremely large dependency on h in the running time (some power tower of h whose height is itself a function of h), making it impractical even for small h. We are interested in a small polynomial time dependency on h and we show how to find an O(h√n log n)-size 5/4+ǫ separator or report that G has a Kh-minor in O(poly(h)n ) time for any constant ǫ > 0. We also present the first O(poly(h)n) time algorithm to find a separator of size O(nc) for a constant c < 1. As corollaries of our results, we get improved algorithms for shortest paths and maximum matching.
    [Show full text]
  • Characterisations and Examples of Graph Classes with Bounded Expansion
    CHARACTERISATIONS AND EXAMPLES OF GRAPH CLASSES WITH BOUNDED EXPANSION JAROSLAV NESETˇ RIL,ˇ PATRICE OSSONA DE MENDEZ, AND DAVID R. WOOD Abstract. Classes with bounded expansion, which generalise classes that ex- clude a topological minor, have recently been introduced by Neˇsetˇriland Os- sona de Mendez. These classes are defined by the fact that the maximum average degree of a shallow minor of a graph in the class is bounded by a function of the depth of the shallow minor. Several linear-time algorithms are known for bounded expansion classes (such as subgraph isomorphism testing), and they allow restricted homomorphism dualities, amongst other desirable properties. In this paper we establish two new characterisations of bounded expansion classes, one in terms of so-called topological parameters, the other in terms of controlling dense parts. The latter characterisation is then used to show that the notion of bounded expansion is compatible with Erd¨os-R´enyi model of random graphs with constant average degree. In particular, we prove that for every fixed d > 0, there exists a class with bounded expansion, such that a random graph of order n and edge probability d=n asymptotically almost surely belongs to the class. We then present several new examples of classes with bounded expansion that do not exclude some topological minor, and appear naturally in the con- text of graph drawing or graph colouring. In particular, we prove that the following classes have bounded expansion: graphs that can be drawn in the plane with a bounded number of crossings per edge, graphs with bounded stack number, graphs with bounded queue number, and graphs with bounded non-repetitive chromatic number.
    [Show full text]
  • Notes on Graph Product Structure Theory
    Notes on Graph Product Structure Theory∗ § Zdeněk Dvořák Tony Huynh ¶ Gwenaël Joret ‡ Chun-Hung Liu † David R. Wood ¶ July 6, 2020 Abstract It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor-closed classes, various non-minor-closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph classes. In particular, we characterise when a graph class defined by a cartesian or strong product has bounded or polynomial expansion. We then explore graph product structure theorems for various geometrically defined graph classes, and present several open problems. 1 Introduction Studying the structure of graphs is a fundamental topic of broad interest in combinatorial mathematics. At the forefront of this study is the Graph Minor Theorem of Robertson and Seymour [46], described by Diestel [8] as “among the deepest theorems mathematics has to offer”. At the heart of the proof of this theorem is the Graph Minor Structure Theorem, which shows that any graph in a minor-closed family1 can be constructed using four ingredients: graphs on surfaces, vortices, apex vertices, and clique-sums. Graphs of arXiv:2001.08860v2 [math.CO] 2 Jul 2020 bounded genus, and in particular planar graphs are basic building blocks in graph minor structure theory. Indeed, the theory says nothing about the structure of planar graphs. §Charles University, Prague, Czech Republic ([email protected]). Supported by project 17- 04611S (Ramsey-like aspects of graph coloring) of Czech Science Foundation.
    [Show full text]
  • Topological Algorithms for Geographic and Geometric Graphs
    UC Irvine UC Irvine Electronic Theses and Dissertations Title Topological Algorithms for Geographic and Geometric Graphs Permalink https://escholarship.org/uc/item/52t311vn Author Gupta, Siddharth Publication Date 2018 License https://creativecommons.org/licenses/by/4.0/ 4.0 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA, IRVINE Topological Algorithms for Geographic and Geometric Graphs DISSERTATION submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in Computer Science by Siddharth Gupta Dissertation Committee: Professor David Eppstein, Chair Professor Michael T. Goodrich Professor Sandy Irani 2018 Chapter 2 c 2016 ACM Chapter 3 c 2017 ACM Chapter 4 c 2018 Springer All other materials c 2018 Siddharth Gupta DEDICATION To my parents Govind Gupta and Vimla Gupta, my sister-in-law Shraddha Gupta and especially to my brother and best friend Yatharth Gupta for always having faith in me. ii TABLE OF CONTENTS Page LIST OF FIGURES v LIST OF TABLES vii ACKNOWLEDGMENTS viii CURRICULUM VITAE ix ABSTRACT OF THE DISSERTATION xi 1 Introduction 1 1.1 Results . .2 2 A Topological Algorithm for Road Networks Evolution 5 2.1 Introduction . .5 2.1.1 Problem Definition . .6 2.1.2 Prior Related Work . .8 2.1.3 Our Results . 10 2.2 Our Algorithm . 11 2.2.1 Labeling Vertices . 11 2.2.2 Choosing Pairs of Starting Nodes . 13 2.2.3 Flood-based Conformal Matching . 15 2.3 Experiments . 19 2.3.1 Preprocessing the Data . 20 2.3.2 Tuning the Seed-labeling Parameter .
    [Show full text]
  • Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs Arxiv:1501.00721V2 [Cs.CG] 31 May 2016
    Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs∗ Sariel Har-Peledy Kent Quanrudz June 1, 2016 Abstract We investigate the family of intersection graphs of low density objects in low dimensional Eu- clidean space. This family is quite general, includes planar graphs, and in particular is a subset of the family of graphs that have polynomial expansion. We present efficient (1 + ")-approximation algorithms for polynomial expansion graphs, for In- dependent Set, Set Cover, and Dominating Set problems, among others, and these results seem to be new. Naturally, PTAS’s for these problems are known for subclasses of this graph family. These results have immediate applications in the geometric domain. For example, the new algorithms yield the only PTAS known for covering points by fat triangles (that are shallow). We also prove corresponding hardness of approximation for some of these optimization problems, characterizing their intractability with respect to density. For example, we show that there is no PTAS for covering points by fat triangles if they are not shallow, thus matching our PTAS for this problem with respect to depth. 1. Introduction Motivation. Geometric set cover, as the name suggests, is a geometric instantiation of the classical set cover problem. For example, given a set of points and a set of triangles (with fixed locations) in the plane, we want to select a minimum number of triangles that cover all of the given points. Similar geometric variants can be defined for independent set, hitting set, dominating set, and the like. For relatively simple shapes, such geometric instances should be computationally easier than the general problem.
    [Show full text]