Presentation is loading. Please wait.

Presentation is loading. Please wait.

Nondeterministic property testing László Lovász Katalin Vesztergombi.

Similar presentations


Presentation on theme: "Nondeterministic property testing László Lovász Katalin Vesztergombi."— Presentation transcript:

1 Nondeterministic property testing László Lovász Katalin Vesztergombi

2 G(k,G): labeled subgraph of G induced by k random nodes. Definitions September 20122

3 P testable: there is a test property P’, such that (a)for every graph G ∈ P and every k ≥ 1, G(k,G) ∈ P′ with probability at least 2/3, and (b) for every ε > 0 there is a k 0 ≥ 1 such that for every graph G with d 1 (G,P) > ε and every k ≥ k 0 we have G(k,G) ∈ P′ with probability at most 1/3. P: graph property Testable graph properties September 20123

4 Example: No edge. Testable graph properties: examples Example: All degrees ≤10. Example: Contains a clique with ≥ n/2 nodes. Example: Bipartite. Example: Perfect. September 20124

5 Removal Lemma:   ’ if t( ,G)<  ’, then we can delete  n 2 edges to get a triangle-free graph. Ruzsa - Szemerédi G’: sampled induced subgraph G’ not triangle-free  G not triangle free G’ triangle-free  with high probability, G has few triangles Example: triangle-free Testable graph properties: examples September 20125

6 Example: disjoint union of two isomorphic graphs Testable graph properties: examples Not testable! September 20126

7 Every hereditary graph property is testable. Alon-Shapira inherited by induced subgraphs Testable graph properties September 20127

8 Nondeterministically testable graph properties Divine help: coloring the nodes, orienting and coloring the edges Q: property of directed, colored graphs shadow(Q)={shadow(G): G  Q}; G: directed, edge and node-colored graph shadow(G): forget orientation, delete edges with certain colors, forget coloring P nondeterministically testable: P= shadow(Q), where Q is a testable property of colored directed graphs. September 20128

9 Examples: maximum cut contains ≥n 2 /100 edges contains a clique with ≥ n/2 nodes contains a spanning subgraph with a testable property P we can delete ≤n 2 /100 edges to get a perfect graph Nondeterministically testable graph properties September 20129

10 Every nondeterministically testable graph property is testable. Main Theorem „P=NP” for property testing in dense graphs Pure existence proof of an algorithm September 201210 L-V

11 Restrictions and extensions Node-coloring can be encoded into the edge-coloring. We will not consider orientation of edges. Equivalent: Certificate is given by unary and binary relations. Ternary etc? Theorem is false if functions are allowed besides relations. (Example: union of two isomorphic graphs.) September 201211

12 G 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 AGAG WGWG September 201212 From graphs to functions

13 September 201213 W 0 = { W: [0,1] 2  [0,1], symmetric, measurable } Kernels and graphons graph G  graphon W G W = { W: [0,1] 2  R, symmetric, bounded, measurable } kernel graphon

14 September 201214 There is a finite definition. Cut distance cut norm on L  ([0,1] 2 ) cut distance

15 A graph property P is testable iff for every sequence (G n ) of graphs with |V(G n )|  and   (G n,P)  0, we have d 1 (G n,P)  0. Cut distance and property testing September 201215 L-Szegedy

16 September 201216 distribution of k-samples is convergent for all k Probability that random map V(F)  V(G) preserves edges (G 1,G 2,…) convergent:  F t(F,G n ) is convergent Convergence of a graph sequence (G 1,G 2,…) convergent  Cauchy in the cut distance Borgs-Chayes-L-Sós-V

17 September 201217 G n  W :  F t(F,G n )  t(F,W) Limit graphon of a graph sequence Equivalently:

18 September 201218 For every convergent graph sequence (G n ) there is a W  W 0 such that G n  W. Conversely,  W  (G n ) such that G n  W. W is essentially unique (up to measure-preserving transformation). Limit graphon: existence and uniqueness L-Szegedy Borgs-Chayes-L

19 Let G n be a sequence of graphs, and let U be a graphon such that G n  U. Then the graphs G n can be labeled so that Convergence in norm (W n ): sequence of uniformly bounded kernels with  W n    0. Then  W n Z    0 for every integrable function Z: [0,1] 2   R. September 201219 Borgs-Chayes-L-Sós-V L-Szegedy

20 k-graphons k-graphon: W=(W 1,...,W k ), where W 1,...,W k  W 0 and W 1 +...+W k =1 fractional k-coloration September 201220 Sample G(r,W): random x 1,...,x r  [0,1], connect i to j with color c with probability W c (x i,x j )

21 L n : sequence of k-edge-colored graphs. L n convergent: distribution of G(r,L n ) is convergent. Convergence of k-graphons September 201221 L n convergent sequence of k-colored graphs   k-graphon W : G(r,L n )  G(r,W) in distribution. Equivalently: L-Szegedy

22 H 1, H 2,... in Q shadow(H n )=G n ... J 2, J 1 shadow(J n )=F n close to Q G 1, G 2,...  ... F 2, F 1 in P far from P  Main Theorem: Proof September 201222

23 Let W=(W 1,...,W k ) be a k-graphon, and let. Let F n  U. Then there exist k-colored graphs J n on V(J n ) = V(F n ) such that shadow(J n ) = F n and J n  W. Main Lemma September 201223

24 September 201224 +  F Proof (k=3, m=2) W 1 W 2 24 + = H 1 H 2

25 September 2012 (H 1, H 2 ) fractional edge-2-coloring  (J 1, J 2 ) edge-2-coloring by randomization Proof (cont) are small (Chernoff bound) are small Two things to prove: 25

26 September 201226 Proof (cont)

27 September 201227 Proof (cont)

28 September 201228 Sampling method: We can sample a uniform random node a bounded number of times, and explore its neighborhood to a bounded depth. Bounded degree graphs (≤D)

29 September 201229 Maximum cut cannot be estimated in this model (random D-regular graph vs. random bipartite D-regular graph) P  NP in this model (random D-regular graph vs. union of two random D-regular graphs) Bounded degree graphs (≤D)


Download ppt "Nondeterministic property testing László Lovász Katalin Vesztergombi."

Similar presentations


Ads by Google