graph limits and testing hereditary graph properties lovász, szegedy 2006
TRANSCRIPT
![Page 1: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/1.jpg)
Graph Limits and Testing Hereditary Graph Properties
Lovász, Szegedy 2006
![Page 2: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/2.jpg)
Propriedades Testáveis de Grafos
Propriedade P hereditária:
G satisfaz P todo subgrafo induzido de G satisfaz P
Propriedade P testável: Existe outra propriedade P’ tal que, , k: G satisfaz P Com prob. 1- , Gk induzido k vértices satisfaz P’
G -far(P) Com prob. 1- , Gk induzido k vértices não satisfaz P’
Teorema 1 [Alon, Shapira, 2005]:Propriedade Hereditária Testável
![Page 3: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/3.jpg)
Parâmetros Testáveis de Grafos
Invariante f(G) de grafos normalizado entre 0 e 1
f(G) testável: , k: grafo G k vértices:Com prob. 1- , Gk induzido com k vértices satisfaz |f (G)-f (Gk)|
Distância entre grafos:
Distância para uma propriedade:
Teorema 2 [Alon, Shapira, 2005]:Distância para P hereditária é testável
Prova alternativa
![Page 4: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/4.jpg)
Densidades de Subgrafos
t(F,G): Probabilidade de um random map V(F)V(G) preservar adjacências
tinj(F,G): injective
tind(F,G): e não-adjacências
![Page 5: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/5.jpg)
Sequências Convergentes de Grafos
Sequência (Gn) de grafos simples |V(Gn)|
(Gn) convergente: (t(F,Gn)) converge, para todo grafo F simplescauchy? métrica?
Distância : generalização de d para pesos e conjunto diferente de vértices
[Borgs, Chayes, et al, 2006]:
(Gn) convergente cauchy em
Todo (Gn) possui uma subsequência convergenteProva:1. Elon Lages: Toda sequência limitada de reais possui subsequência convergente 2. Para todo (Gn), todo conjunto finito de grafos F possui subsequência na qual (t(F,Gn)) converge3. Segue do Teorema da Compacidade
![Page 6: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/6.jpg)
Funções com 2 variáveis
Intuição: grafo em [0,1], onde W(x,y) é a dens entre vizinhança infinitesimal de x e y
Norma retangular:
Densidade de Subgrafos:
![Page 7: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/7.jpg)
Relação, “Graphons” e Step-Functions
[Lovász, Szegedy 2004]: (Gn) convergente se e só se existe “objeto limite” tal que
Obs: Todo é limite de uma (Gn) convergente
W-random graph G(n,W) sobre [n]: sorteia x1,…xn: ij aresta com prob. W(xi,xj)
StepFunction:
![Page 8: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/8.jpg)
f(G) Testável f(Gn) Convergente
[Borgs, Chayes, et al, 2006]:Parâmetro f(G) testável (Gn) convergente: f(Gn) converge
Prova ()f testável , k: grafo G k vértices:
|f (G)-f (G[Vk])| com prob. 1-, para Vk aleat. com k vértices
|f (G)-E(f (G[Vk]))| , para Vk aleat. com k vértices
(Gn) convergente
Fk com k vértices:
![Page 9: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/9.jpg)
Um Lema Auxiliar
Lema 4:
Prova:Suponha Z indicadora de um retângulo S x T
Vale para Z step-function
(combinação linear de funções indicadoras de retângulos)
Vale para Z integrável
(por definição, aproxima para step-functions em L1([0,1]2) )
![Page 10: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/10.jpg)
Graphons com a propriedade P hereditária
Funções , tais que n, x1,…,xn[0,1]:
Se G sobre [n] satisfaz: U(xi,xj)=0 ij E(G)
U(xi,xj)=1 ij E(G)
Então G satisfaz P
Obs1: Alterando 0<U(x,y)<1 gera U’ que satisfaz o mesmo
Obs2:
Lema 5: é fechado em com respeito a norma
Prova:
![Page 11: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/11.jpg)
Distância de um Graphon para P
Distância para :
Lema 6: P hereditária é função contínua na norma ||||Prova:
![Page 12: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/12.jpg)
Distância de um Graphon para P
Distância para :
Lema 6: P hereditária é função contínua na norma ||||Prova:
Se não for convergente, tomeuma subsequência convergente
![Page 13: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/13.jpg)
Grafos e Graphons com a Propriedade P
Lema 7:
Prova:
Lema 8:
Prova:
![Page 14: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/14.jpg)
Prova do Teorema 2
Tome (Gn) convergente:
Prova-se que
Se não for convergente, tomeuma subsequência convergente
![Page 15: Graph Limits and Testing Hereditary Graph Properties Lovász, Szegedy 2006](https://reader036.vdocuments.site/reader036/viewer/2022062418/552fc142497959413d8dfb3b/html5/thumbnails/15.jpg)
FIM