Additive approximation for edge-deletion problems

Noga Alon, Asaf Shapira, Benny Sudakov

Research output: Contribution to journalArticle

15 Scopus citations

Abstract

A graph property is monotone if it is closed under removal of vertices and edges. In this paper we consider the following algorithmic problem, called the edge-deletion problem; given a monotone property P{script} and a graph G, compute the smallest number of edge deletions that are needed in order to turn G into a graph satisfying P{script}. We denote this quantity by E'p{script}(G). The first result of this paper states that the edge-deletion problem can be efficiently approximated for any monotone property. For any fixed ε > 0 and any monotone property P{script}, there is a deterministic algorithm which, given a graph G=(V, E) of size n, approximates E'p{script} (G) in linear time O({pipe}V{pipe}+{pipe}E{pipe}) to within an additive error of εn2. Given the above, a natural question is for which monotone properties one can obtain better additive approximations of E'p{script}. Our second main result essentially resolves this problem by giving a precise characterization of the monotone graph properties for which such approximations exist. (1) If there is a bipartite graph that does not satisfy p{script}, then there is a δ > 0 for which it is possible to approximate E'p{script} to within an additive error of n2-δ in polynomial time. (2) On the other hand, if all bipartite graphs satisfy p{script}, then for any i{dotless} > 0 it is NP-hard to approximate E'p{script} to within an additive error of n2-δ. While the proof of (1) is relatively simple, the proof of (2) requires several new ideas and involves tools from Extremal Graph Theory together with spectral techniques. Interestingly, prior to this work it was not even known that computing E'p{script} precisely for the properties in (2) is NP-hard. We thus answer (in a strong form) a question of Yannakakis, who asked in 1981 if it is possible to find a large and natural family of graph properties for which computing E'p{script} is NP-hard.

Original languageEnglish (US)
Pages (from-to)371-411
Number of pages41
JournalAnnals of Mathematics
Volume170
Issue number1
DOIs
StatePublished - Dec 14 2009
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Statistics and Probability
  • Statistics, Probability and Uncertainty

Fingerprint Dive into the research topics of 'Additive approximation for edge-deletion problems'. Together they form a unique fingerprint.

  • Cite this