Local graph partitions for approximation and testing
Name
Kelner-2009-Local graph partitions for approximation and testing.pdf
Size
282.79 KB
Format
Adobe PDF
Checksum (MD5)
823e30d53972c0639f334a3c3120ee98
Author(s)
Hassidim, Avinatan
Kelner, Jonathan Adam
Nguyen, Huy N.
Onak, Krzysztof
Date Issued
March 2010
Journal
50th Annual IEEE Symposium on Foundations of Computer Science, 2009. FOCS '09
Publisher
Institute of Electrical and Electronics Engineers
Citation
Hassidim, A. et al. “Local Graph Partitions for Approximation and Testing.” Foundations of Computer Science, 2009. FOCS '09. 50th Annual IEEE Symposium on. 2009. 22-31. ©2010 Institute of Electrical and Electronics Engineers.
Version
Final published version
Abstract
We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs with an excluded minor, and in general, for any hyperfinite class of bounded-degree graphs. These oracles utilize only local computation to consistently answer queries about a global partition that breaks the graph into small connected components by removing only a small fraction of the edges. We illustrate the power of this technique by using it to extend and simplify a number of previous approximation and testing results for sparse graphs, as well as to provide new results that were unachievable with existing techniques. For instance:1. We give constant-time approximation algorithms for the size of the minimum vertex cover, the minimum dominating set, and the maximum independent set for any class of graphs with an excluded minor.2. We show a simple proof that any minor-closed graph property is testable in constant time in the bounded degree model.3. We prove that it is possible to approximate the distance to almost any hereditary property in any bounded degree hereditary families of graphs. Hereditary properties of interest include bipartiteness, k-colorability, and perfectness.
Subjects
constant time algorithms
approximation algorithms
separator theorem
MIT Department
Massachusetts Institute of Technology. Department of Materials Science and Engineering
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/FOCS.2009.77
