Optimality of Geometric Local Search
Autor: | Jartoux, Bruno, Mustafa, Nabil H. |
---|---|
Přispěvatelé: | Laboratoire d'Informatique Gaspard-Monge (LIGM), Centre National de la Recherche Scientifique (CNRS)-Fédération de Recherche Bézout-ESIEE Paris-École des Ponts ParisTech (ENPC)-Université Paris-Est Marne-la-Vallée (UPEM), ANR-14-CE25-0016,SAGA,Approximation geometrique structurelle pour l'algorithmique(2014) |
Jazyk: | angličtina |
Rok vydání: | 2018 |
Předmět: |
000 Computer science
knowledge general works expansion Hall's marriage theorem local search Computer Science [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] [SCCO.COMP]Cognitive science/Computer science matchings 2012 ACM Subject Classification Theory of computation ! Approximation algorithms analysis Mathematics of computing ! Combinatorial optimization Mathematics of computing ! Graph theory Mathematics of computing ! Approximation algorithms |
Zdroj: | 34th International Symposium on Computational Geometry (SoCG 2018) 34th International Symposium on Computational Geometry (SoCG 2018), Jun 2018, Budapest, Hungary. ⟨10.4230/LIPIcs.SoCG.2018.48⟩ |
DOI: | 10.4230/LIPIcs.SoCG.2018.48⟩ |
Popis: | International audience; Up until a decade ago, the algorithmic status of several basic NP-complete problems in geometric combinatorial optimisation was unresolved. This included the existence of polynomial-time approximation schemes (PTASs) for hitting set, set cover, dominating set, independent set, and other problems for some basic geometric objects. These past nine years have seen the resolution of all these problems—interestingly, with the same algorithm: local search. In fact, it was shown that for many of these problems, local search with radius λ gives a (1 + O(λ − 1 2))-approximation with running time n O(λ). Setting λ = Θ(epsilon^{−2}) yields a PTAS with a running time of n^O(epsilon^{−2}). On the other hand, hardness results suggest that there do not exist PTASs for these problems with running time poly(n)·f () for any arbitrary f. Thus the main question left open in previous work is in improving the exponent of n to o(epsilon^{−2}). We show that in fact the approximation guarantee of local search cannot be improved for any of these problems. The key ingredient, of independent interest, is a new lower bound on locally expanding planar graphs, which is then used to show the impossibility results. Our construction extends to other graph families with small separators. Acknowledgements We thank the referees for several helpful comments. |
Databáze: | OpenAIRE |
Externí odkaz: |