Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização...
Transcript of Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização...
![Page 1: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/1.jpg)
Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática
Carlos J. Luz
Instituto Politécnico de Setúbal
& CEOC / Universidade de Aveiro
Tardes de Trabalho SPM/CIM - Optimização
Complexo do Observatório Astronómico – Coimbra – 6 de Maio de 2006
![Page 2: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/2.jpg)
2
G
S 1,3,4,5 Conjunto independente de G
C 1,2,6
Clique de G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
G Cardinal do maior conj.independente de G
G Cardinal da maior clique de G
Para o grafo G, tem-se G 4 e G 3
G
S 1,3,4,5 Conjunto independente de G
C 1,2,6
Clique de G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
G Cardinal do maior conj.independente de G
G Cardinal da maior clique de G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
(G)= Cardinal of the Largest Independent Set of G
(G)= Cardinal of the Largest Clique Set of G
G Cardinal do maior conj.independente de G
G Cardinal da maior clique de G
Para o grafo G, tem-se G 4 e G 3
![Page 3: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/3.jpg)
3
Propriedade
G G
G 4 # 1, 3, 4, 5 G
G G
G G
G 4 # 1, 3, 4, 5 G G 4 # 1, 3, 4, 5 G
G G
![Page 4: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/4.jpg)
4
G V, E
AG a ij é uma matriz simétrica tal que
a ij 1, se ij E
0, se i j ou ij E
e vector c/ coordenadas iguaisa1 AG matrizdeadjacência E minAG 1 AG
minAG I semidefinidapositiva
Onúmero G
![Page 5: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/5.jpg)
5
1
2 6
3 4
5
1
2 6
3 4
5 AG
0 1 0 0 0 1
1 0 1 0 0 1
0 1 0 0 0 1
0 0 0 0 0 1
0 0 0 0 0 1
1 1 1 1 1 0
G G
Exemplo:
minAG 2
G G 4
![Page 6: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/6.jpg)
6
Propriedadesde G
(L, 1995) SeGéumgraforegular deordemn,
G n minAG maxAG minAG
(L,1995) Existeumasoluçãoóptimax de
max 2eTx xT AG
minAG I x : x 0
tal quexi 0, paraumcertovértice i deG.
![Page 7: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/7.jpg)
7
(L, 1995) G G sseparaqualquer estável
máximoSdeG,
minA min|Ni S| : i S
1
23
4
5 6
1
23
4
5 6
min 2
S 3, 6
G 2. 4
min |Ni S | : i S min 2, 1, 2, 1 1
![Page 8: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/8.jpg)
8
(Cardoso2001) x éumasoluçãoóptimade
x0max 2eTx xT AG
minAG I x sse
xi max 0,1 ai
Tx
minAG
(LeCardoso1998) Paraa b 1eb 0, seja
G max aeTx bxT AG
minAG I x : x 0 ;
Então,
G G e G mina,bG
![Page 9: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/9.jpg)
9
(LeCardoso1998) Sendox1 ex2
duassoluçõesóptimasdoproblema
max 2eTx xT AG
minAG I x : x 0 ,
adiferençax1 x2
pertenceaosubespaçopróprioassociadoa minAG.
(LeCardoso1998) Se G G e i pertenceatodososestáveismáximosdeG, então
G NGi G NGi
![Page 10: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/10.jpg)
10
G i G i
(LeCardoso1998) Se G G e i nãopertenceatodososestáveismáximosdeG, então
(LeCardoso1998) SejaG V,E e i V. Então,
G i G
minAG i minAG G G
![Page 11: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/11.jpg)
11
(LeCardoso, 2001) G generaliza-seagrafosponderadosGV,E,w:
wG wG max 2wTx xT AG W x : x 0
W diagw1, ,wn
minW1/2AW1/2
![Page 12: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/12.jpg)
12
G G x0max 2eTx xT AG
minAG I x
Oqueacontece
substituindopor
outramatriz?
Oqueacontece
substituindopor 0 ?
GrafoscomN.E.Q.C.
Comparaçãoc/
thetadeLovász
Paraquegrafos
sedáa igualdade?
Ligaçõescomprograma
deMotzkin-Strause
melhoramentode G
![Page 13: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/13.jpg)
13
(Cardoso2001) SeGéconexo,
G temumemparelhamentoperfeitosseLG Q
(Cardoso2001) SeG V,E éumgrafoconexo
com |E|par, LLG Q
Aclasse Q–grafoscomN.E.Q.C.
![Page 14: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/14.jpg)
14
Aclasse Qeosconjuntosk,-regulares
DadoG V,E, S Vé k,-regular se induzemGumsubgrafok-regular |NGi S| , qualquer queseja i V\S
S 1,4,7,8 é 0,2-regular
1
2
34
56
7
89
10
1
2
34
56
7
89
10
![Page 15: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/15.jpg)
15
(Cardoso2003) SejaG V,E umgraforegular.
EntãoG QseesóseexisteumconjuntoS V
queé 0,-regular, emque minAG.
(CardosoeRama2005) SejaGumgrafocompelo
menosumaarestaeSumconjuntoestável deGqueé 0,-regular.
EntãoG Qseesóse minAG.
![Page 16: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/16.jpg)
16
Reconhecimentodegrafosde Q
(Cardoso2001) SejaG V,E umgrafo.1. SuponhamosqueexisteU V tal que G G U eque
minAG minAGU. Então G G.
2. Seexiste i V tal que G maxG i,G NGi,entãoG Q.
3. Considere-sequeexiste i V tal que G i G NGi.(a) Se G G i, entãoG QseesóseG i Q.(b) Se G G NGi, entãoG QseesóseG NGi Q.
![Page 17: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/17.jpg)
17
1
2
34
5
6
7
8 9
10
1
2
34
5
6
7
8 9
10
GrafosAdversos
minAG 2
G 4 G
1. Gnãotemvértices isolados2. G e minAG são inteiros3. i V, G G NGi4. i V, minAG minAGNGi
G V,E éumgrafoadversose:
![Page 18: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/18.jpg)
18
(Cardoso, 2003) SejaG V,E umgrafoadverso.
EntãoG QsseS V, 0,-regular.
(LeCardoso, 1998) SejaGumgrafoadverso.Então, G Qsse
G max xTx : AG
minAG I x e x 0
![Page 19: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/19.jpg)
19
• Barbosa e Cardoso, 2004, On regular-stable graphs, Ars-Combinatoria, 70, 149-159• Cardoso, 2003, On graphs with stability number equal to the optimal value of a convex quadratic programming, Matemática Contemporânea, 25, 9-24.• Cardoso e Rama, 2004, Equitable bipartitions of graphs and related results, Journal of Math. Sciences, 120, 869-880.• Lozin e Cardoso, 1999, On hereditary properties of the class of graphs with convex quadratic stability number, Cadernos de Matemática, Universidade de Aveiro, CM/I-50.• Rama, 2005, Propriedades Combinatórias e Espectrais de Grafos com Restrições de Regularidade, dissertação de Doutoramento, Universidade de Aveiro, 2005.
OutrosResultados
![Page 20: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/20.jpg)
20
G G x0max 2eTx xT AG
minAG I x
Oqueacontece
substituindopor
outramatriz?
Oqueacontece
substituindopor 0 ?
GrafoscomN.E.Q.C.
Comparaçãoc/
thetadeLovász
Paraquegrafos
sedáa igualdade?
Ligaçõescomprograma
deMotzkin-Strause
melhoramentode G
![Page 21: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/21.jpg)
21
LigaçõescomprogramadeMotzkin-Straus
0, G, x0max 2eTx xT 1
AG Ix
(CardosoeL, 2001) Considere-se
0, G, z0min zT 1
AG Iz : eTz 1 .
Então,
MotzkineStraus, 1965:
1G minxTAG Ix : eTx 1 x 0
G, 1G,
![Page 22: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/22.jpg)
22
Ummelhoramentode G
G x0max 2eTx xT 1
minQ minAG AG I x
com1 minQ 0
(L, 2005) SendoGumgrafocompelomenosumaaresta,
G G minQ minQ2
onde éovalor óptimodeumprograma
quadráticoconvexo.
![Page 23: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/23.jpg)
23
(L, 2005) SendoGumgrafocompelomenosumaaresta,
minQ minAG min|Ni S| : i S
1. G G2. G G sseS, estável máximoG, tal que
G G 5 G 5.2771
![Page 24: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/24.jpg)
24
• Cardoso, 2003, On graphs with stability number equal to the optimal value of a convex quadratic programming, Matemática Contemporânea, 25, 9-24.• Cardoso e L, 2001, Extensions of the Motzkin-Straus result on the stability number of graphs, Cadernos de Matemática, Universidade de Aveiro, CM01/I-17.• L, 2005, Improving an upper bound on the stability number of a graph, Journal of Global Optimization, 31/1 (2005), 61 – 84.
OutrosResultados
![Page 25: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/25.jpg)
25
G G x0max 2eTx xT AG
minAG I x
Oqueacontece
substituindopor
outramatriz?
GrafoscomN.E.Q.C.
Comparaçãoc/
thetadeLovász
Paraquegrafos
sedáa igualdade?
Ligaçõescomprograma
deMotzkin-Strause
melhoramentode G
![Page 26: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/26.jpg)
26
G V,E
C matriz de adjacência ponderada E trC 0 minC 0
C minC I semidefinidapositiva
C c ij é uma matriz simétrica não nula tal que
c ij qq nº real, se ij E
0, se i j ou ij E
Onúmero G,C
G,C x0
max 2eTx xT C minC I x
![Page 27: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/27.jpg)
27
Exemplo:
1
23
4
5 6
AG
0 1 1 0 0 1
1 0 1 0 1 0
1 1 0 1 0 0
0 0 1 0 1 1
0 1 0 1 0 1
1 0 0 1 1 0
C
0 2 2 0 0 0.5
2 0 2 0 0.5 0
2 2 0 0.5 0 0
0 0 0.5 0 2 2
0 0.5 0 2 0 2
0. 5 0 0 2 2 0
minAG 2
minC 2.5
G G,AG 2.4
G,C 2.1428
![Page 28: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/28.jpg)
28
Onúmero G deLovász
G V, E com |V| n e E
Algumas propriedades:
G G G Se G é perfeito, G G Se G é regular, G n minAG
maxAG minAG
ondeQéumamatrizdeadjacênciaponderadadeG
G Q
min maxeeT Q
![Page 29: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/29.jpg)
29
min t
s.a tI eeT Q
G max eeT, X TreeTX eTXe
s.a X ij 0, ij E
Tr X 1
X 0
G Q
min maxeeT Q
![Page 30: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/30.jpg)
30
Caracterizaçãode G baseadaemprog.quad. convexa
G C
min G,C
(LeSchrijver, 2005) SejaCumamatrizde
G,C x0max 2eTx xT C
minC I x
com
Então,
adjacênciaponderadadeG V,E.
![Page 31: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/31.jpg)
31
Exemplo:
1
23
4
5 6
AG
0 1 1 0 0 1
1 0 1 0 1 0
1 1 0 1 0 0
0 0 1 0 1 1
0 1 0 1 0 1
1 0 0 1 1 0
G,AG 2.4
G maxeeT Q 2
G, Q 2
Q
0 2 2 0 0 0
2 0 2 0 0 0
2 2 0 0 0 0
0 0 0 0 2 2
0 0 0 2 0 2
0 0 0 2 2 0
![Page 32: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/32.jpg)
32
Onúmero G deSchrijver edeMcEliece,Rodemich,Rumsey
G V, E com |V| n e E
c ij qq nº real, se ij E
0, se i j
qq nº real 0, se ij E
C c ij é uma matriz simétrica não nula tal que
G G C
min maxeeT C G
C matriz de adjacência ponderada estendida de G, isto é,
![Page 33: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/33.jpg)
33
min t
s.a tI eeT Q
q ij 0, ij E
G G C
min maxeeT C G
G max eeT, X
s.a X ij 0, ij E
Tr X 1
X 0, X 0
![Page 34: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/34.jpg)
34
Caracterizaçãode G baseadaemprog.quad. convexa
G G,C x0
max 2eTx xT C minC I x
e
G C
min G,C
deG V,E,
(L, 2006) Cmatrizdeadjacênciaponderadaestendida
![Page 35: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/35.jpg)
35
c ij qq nº real, se ij E
0, se i j ou ij E
c ij qq nº real, se ij E
0, se i j
qq nº real 0, se ij E
c ij 1, se ij E
0, se i j ou ij E
G, C x 0
max 2eTx xT C minC I x
G, C G
→
→
→
Cmin G, C G
Cmin G, C G
Resumo
![Page 36: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/36.jpg)
36
• L e Schrijver, 2005, A convex quadratic characterization of the Lovász theta number, SIAM Journal on Disc. Math, 19(2), 382-387.• L, 2006, A convex quadratic characterization of the Schrijver and McEliece-Rodemich-Rumsey upper bound on the stability number of a graph, Cadernos de Matemática, Universidade de Aveiro, CM/I-14 • L, 2006, A characterization of Delsarte's bound as a ratio bound, Cadernos de Matemática, Universidade de Aveiro, CM/I-15
OutrosResultados
![Page 37: Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.](https://reader035.fdocumentos.tips/reader035/viewer/2022070311/552fc15f497959413d8e7442/html5/thumbnails/37.jpg)
37
Questõesemaberto
• Reconhecimento dos grafos adversos em tempo polinomial
• Utilização destas caracterizações para obter theta e theta-linha sem recorrer à programação semidefinida
• Utilização destas caracterizações para obter melhores majorantes para o número de estabilidade