What is the furthest graph from a hereditary property?

For a graph property P, the edit distance of a graph G from P, denoted EP(G), is the minimum number of edge modifications (additions or deletions) one needs to apply to G in order to turn it into a graph satisfying P. What is the furthest graph on n vertices from P and what is the largest possible edit distance from P? Denote this maximal distance by ed(n,P). This question is motivated by algorithmic edge-modification problems, in which one wishes to find or approximate the value of EP(G) given an input graph G. A monotone graph property is closed under removal of edges and vertices. Trivially, for any monotone property, the largest edit distance is attained by a complete graph. We show that this is a simple instance of a much broader phenomenon. A hereditary graph property is closed under removal of vertices. We prove that for any hereditary graph property P, a random graph with an edge density that depends on P essentially achieves the maximal distance from P, that is: ed(n,P) = EP(G(n, p(P))) + o(n) with high probability. The proofs combine several tools, including strengthened versions of the Szemerédi Regularity Lemma, properties of random graphs and probabilistic arguments.

[1]  Noga Alon,et al.  The maximum edit distance from hereditary graph properties , 2008, J. Comb. Theory, Ser. B.

[2]  Hans Jürgen Prömel,et al.  Excluding Induced Subgraphs II: Extremal Graphs , 1993, Discret. Appl. Math..

[3]  Béla Bollobás,et al.  The Structure of Hereditary Properties and Colourings of Random Graphs , 2000, Comb..

[4]  Paul Erdös,et al.  On the connection between chromatic number, maximal clique and minimal degree of a graph , 1974, Discret. Math..

[5]  Ronald L. Graham,et al.  The Mathematics of Paul Erdős II , 1997 .

[6]  P. Erdos,et al.  A LIMIT THEOREM IN GRAPH THEORY , 1966 .

[7]  P. Erdös On an extremal problem in graph theory , 1970 .

[8]  Miklós Simonovits,et al.  On a valence problem in extremal graph theory , 1973, Discret. Math..

[9]  Edward R. Scheinerman,et al.  On the Size of Hereditary Classes of Graphs , 1994, J. Comb. Theory B.

[10]  M. Simonovits,et al.  Szemeredi''s Regularity Lemma and its applications in graph theory , 1995 .

[11]  László Lovász,et al.  Graph limits and parameter testing , 2006, STOC '06.

[12]  Béla Bollobás,et al.  The Speed of Hereditary Properties of Graphs , 2000, J. Comb. Theory B.

[13]  B. Bollobás,et al.  Projections of Bodies and Hereditary Properties of Hypergraphs , 1995 .

[14]  Noga Alon,et al.  Additive approximation for edge-deletion problems , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[15]  Maria Axenovich,et al.  On the editing distance of graphs , 2008, J. Graph Theory.

[16]  László Lovász,et al.  Graph limits and testing hereditary graph properties , 2005 .

[17]  E. Szemerédi Regular Partitions of Graphs , 1975 .

[18]  N. Alon,et al.  The Probabilistic Method, Second Edition , 2000 .

[19]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[20]  Noga Alon,et al.  Efficient Testing of Large Graphs , 2000, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[21]  H. Prömel,et al.  Excluding Induced Subgraphs III: A General Asymptotic , 1992 .

[22]  Noga Alon,et al.  A characterization of the (natural) graph properties testable with one-sided error , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[23]  Hans Jürgen Prömel,et al.  Excluding Induced Subgraphs: Quadrilaterals , 1991, Random Struct. Algorithms.

[24]  B. Szegedy,et al.  Testing properties of graphs and functions , 2008, 0803.1248.

[25]  Béla Bollobás,et al.  The Penultimate Rate of Growth for Graph Properties , 2001, Eur. J. Comb..

[26]  V. Sós,et al.  Convergent Sequences of Dense Graphs I: Subgraph Frequencies, Metric Properties and Testing , 2007, math/0702004.

[27]  P. Erdös On the structure of linear graphs , 1946 .