Definiciones Caracterizaciones conocidas Grafos self-clique HCA
Transcript of Definiciones Caracterizaciones conocidas Grafos self-clique HCA
![Page 1: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/1.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique arco-circulares Helly
Flavia Bonomo
Departamento de Matematica, FCEyN, UBA
SIO 2005, Rosario
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 2: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/2.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos interseccion
I Dado un conjunto de elementos A y una familia F finita desubconjuntos de A, el grafo interseccion de F tiene un verticepor cada elemento de F y dos vertices son adyacentes si lossubconjuntos correspondientes tienen interseccion no vacıa.
I Un grafo es arco-circular si es el grafo interseccion de algunafamilia finita de arcos de una circunferencia (la familia dearcos se llama modelo de arcos del grafo).Ejemplo:
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 3: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/3.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos interseccion
I Dado un conjunto de elementos A y una familia F finita desubconjuntos de A, el grafo interseccion de F tiene un verticepor cada elemento de F y dos vertices son adyacentes si lossubconjuntos correspondientes tienen interseccion no vacıa.
I Un grafo es arco-circular si es el grafo interseccion de algunafamilia finita de arcos de una circunferencia (la familia dearcos se llama modelo de arcos del grafo).Ejemplo:
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 4: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/4.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos interseccion
I Una clique en un grafo es un conjunto maximal de verticesadyacentes dos a dos.
I El grafo clique K (G ) de un grafo G es el grafo interseccion delas cliques de G .
Ejemplo:
I Si t ≥ 1, K t(G ) es el grafo obtenido a partir de G aplicando tveces el operador clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 5: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/5.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos interseccion
I Una clique en un grafo es un conjunto maximal de verticesadyacentes dos a dos.
I El grafo clique K (G ) de un grafo G es el grafo interseccion delas cliques de G .
Ejemplo:
G K(G)
I Si t ≥ 1, K t(G ) es el grafo obtenido a partir de G aplicando tveces el operador clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 6: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/6.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos interseccion
I Una clique en un grafo es un conjunto maximal de verticesadyacentes dos a dos.
I El grafo clique K (G ) de un grafo G es el grafo interseccion delas cliques de G .
Ejemplo:
G K(G)
I Si t ≥ 1, K t(G ) es el grafo obtenido a partir de G aplicando tveces el operador clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 7: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/7.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Propiedad de Helly
I Una familia F de conjuntos verifica la propiedad de Helly sitoda subfamilia de F tal que sus elementos se intersecan dosa dos, tiene interseccion no vacıa.
I Un grafo es clique-Helly si sus cliques verifican la propiedad deHelly.
I Un grafo es arco-circular Helly (HCA) si tiene un modelo dearcos que verifica la propiedad de Helly.
Ejemplos:
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 8: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/8.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Propiedad de Helly
I Una familia F de conjuntos verifica la propiedad de Helly sitoda subfamilia de F tal que sus elementos se intersecan dosa dos, tiene interseccion no vacıa.
I Un grafo es clique-Helly si sus cliques verifican la propiedad deHelly.
I Un grafo es arco-circular Helly (HCA) si tiene un modelo dearcos que verifica la propiedad de Helly.
Ejemplos:
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 9: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/9.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Propiedad de Helly
I Una familia F de conjuntos verifica la propiedad de Helly sitoda subfamilia de F tal que sus elementos se intersecan dosa dos, tiene interseccion no vacıa.
I Un grafo es clique-Helly si sus cliques verifican la propiedad deHelly.
I Un grafo es arco-circular Helly (HCA) si tiene un modelo dearcos que verifica la propiedad de Helly.
Ejemplos:
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 10: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/10.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Matriz clique
I La matriz clique AG de un grafo G tiene una fila por cadaclique de G y una columna por cada vertice de G .AG (i , j) = 1 si el vertice j pertenece a la clique i y 0 sino.
I Una matriz es quasi-simetrica si el conjunto de vectorescorrespondiente a sus filas coincide con el correspondiente alas columnas. Una matriz simetrica es quasi-simetrica.
I Un grafo G tiene una matriz clique simetrica si existe unafuncion biyectiva de los vertices en las cliques, i 7→ Mi , tal quei ∈ Mj ⇔ j ∈ Mi .
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 11: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/11.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Matriz clique
I La matriz clique AG de un grafo G tiene una fila por cadaclique de G y una columna por cada vertice de G .AG (i , j) = 1 si el vertice j pertenece a la clique i y 0 sino.
I Una matriz es quasi-simetrica si el conjunto de vectorescorrespondiente a sus filas coincide con el correspondiente alas columnas. Una matriz simetrica es quasi-simetrica.
I Un grafo G tiene una matriz clique simetrica si existe unafuncion biyectiva de los vertices en las cliques, i 7→ Mi , tal quei ∈ Mj ⇔ j ∈ Mi .
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 12: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/12.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Matriz clique
I La matriz clique AG de un grafo G tiene una fila por cadaclique de G y una columna por cada vertice de G .AG (i , j) = 1 si el vertice j pertenece a la clique i y 0 sino.
I Una matriz es quasi-simetrica si el conjunto de vectorescorrespondiente a sus filas coincide con el correspondiente alas columnas. Una matriz simetrica es quasi-simetrica.
I Un grafo G tiene una matriz clique simetrica si existe unafuncion biyectiva de los vertices en las cliques, i 7→ Mi , tal quei ∈ Mj ⇔ j ∈ Mi .
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 13: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/13.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Isomorfismo de grafos
I Dos grafos G y H son isomorfos (G ∼= H) si existe unafuncion biyectiva f : V (G ) → V (H) tal que v y w sonadyacentes en G si y solo si f (v) y f (w) son adyacentes en H.
I Un grafo es self-clique si es isomorfo a su grafo clique, o sea,si existe una funcion biyectiva de los vertices en las cliques,i 7→ Mi , tal que i es adyacente a j sii Mi ∩Mj 6= ∅.Ejemplo:
I En general, si t ≥ 1, un grafo G es t-self-clique si G ∼= K t(G ).
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 14: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/14.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Isomorfismo de grafos
I Dos grafos G y H son isomorfos (G ∼= H) si existe unafuncion biyectiva f : V (G ) → V (H) tal que v y w sonadyacentes en G si y solo si f (v) y f (w) son adyacentes en H.
I Un grafo es self-clique si es isomorfo a su grafo clique, o sea,si existe una funcion biyectiva de los vertices en las cliques,i 7→ Mi , tal que i es adyacente a j sii Mi ∩Mj 6= ∅.Ejemplo:
G K(G)
I En general, si t ≥ 1, un grafo G es t-self-clique si G ∼= K t(G ).
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 15: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/15.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Isomorfismo de grafos
I Dos grafos G y H son isomorfos (G ∼= H) si existe unafuncion biyectiva f : V (G ) → V (H) tal que v y w sonadyacentes en G si y solo si f (v) y f (w) son adyacentes en H.
I Un grafo es self-clique si es isomorfo a su grafo clique, o sea,si existe una funcion biyectiva de los vertices en las cliques,i 7→ Mi , tal que i es adyacente a j sii Mi ∩Mj 6= ∅.Ejemplo:
G K(G)
I En general, si t ≥ 1, un grafo G es t-self-clique si G ∼= K t(G ).
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 16: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/16.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Operador clique iterado
I Un grafo es clique-convergente si existe t ≥ 1 tal que|V (K t(G ))| = 1.
G K(G) K (G)2 K (G)3
I Un grafo es clique-divergente si |V (K t(G ))| −→ ∞ cuandon →∞.
I Ninguno de los anteriores: entonces existen j y t tal K j(G ) est-self-clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 17: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/17.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Operador clique iterado
I Un grafo es clique-convergente si existe t ≥ 1 tal que|V (K t(G ))| = 1.
G K(G) K (G)2 K (G)3
I Un grafo es clique-divergente si |V (K t(G ))| −→ ∞ cuandon →∞.
G K(G) K (G)2
I Ninguno de los anteriores: entonces existen j y t tal K j(G ) est-self-clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 18: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/18.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Operador clique iterado
I Un grafo es clique-convergente si existe t ≥ 1 tal que|V (K t(G ))| = 1.
G K(G) K (G)2 K (G)3
I Un grafo es clique-divergente si |V (K t(G ))| −→ ∞ cuandon →∞.
G K(G) K (G)2
I Ninguno de los anteriores: entonces existen j y t tal K j(G ) est-self-clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 19: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/19.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique
I La complejidad computacional de decidir si un grafo esself-clique esta abierta, es polinomialmente reducible alproblema de isomorfismo en grafos, ya que basta calcular lasprimeras n cliques (si son mas de n seguro no es), que espolinomial, y en el caso en que G tenga n cliques, basta conchequear si G es isomorfo a K (G ).
I Para el caso particular de los grafos arco-circulares Helly, elproblema de reconocer si un grafo es self-clique es polinomial,ya que isomorfismo en HCA es polinomial (Hsu, 1995).
I Para grafos clique-Helly hereditarios, es polinomialmenteequivalente al problema de isomorfismo en grafos (Larrion,Neumann-Lara, Pizana y Porter, 2003).
I Para grafos clique-Helly, es polinomialmente equivalente alproblema de isomorfismo en hipergrafos (Bondy, Duran, Lin,Szwarcfiter, 2003).
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 20: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/20.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique
I La complejidad computacional de decidir si un grafo esself-clique esta abierta, es polinomialmente reducible alproblema de isomorfismo en grafos, ya que basta calcular lasprimeras n cliques (si son mas de n seguro no es), que espolinomial, y en el caso en que G tenga n cliques, basta conchequear si G es isomorfo a K (G ).
I Para el caso particular de los grafos arco-circulares Helly, elproblema de reconocer si un grafo es self-clique es polinomial,ya que isomorfismo en HCA es polinomial (Hsu, 1995).
I Para grafos clique-Helly hereditarios, es polinomialmenteequivalente al problema de isomorfismo en grafos (Larrion,Neumann-Lara, Pizana y Porter, 2003).
I Para grafos clique-Helly, es polinomialmente equivalente alproblema de isomorfismo en hipergrafos (Bondy, Duran, Lin,Szwarcfiter, 2003).
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 21: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/21.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique
I La complejidad computacional de decidir si un grafo esself-clique esta abierta, es polinomialmente reducible alproblema de isomorfismo en grafos, ya que basta calcular lasprimeras n cliques (si son mas de n seguro no es), que espolinomial, y en el caso en que G tenga n cliques, basta conchequear si G es isomorfo a K (G ).
I Para el caso particular de los grafos arco-circulares Helly, elproblema de reconocer si un grafo es self-clique es polinomial,ya que isomorfismo en HCA es polinomial (Hsu, 1995).
I Para grafos clique-Helly hereditarios, es polinomialmenteequivalente al problema de isomorfismo en grafos (Larrion,Neumann-Lara, Pizana y Porter, 2003).
I Para grafos clique-Helly, es polinomialmente equivalente alproblema de isomorfismo en hipergrafos (Bondy, Duran, Lin,Szwarcfiter, 2003).
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 22: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/22.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique
I La complejidad computacional de decidir si un grafo esself-clique esta abierta, es polinomialmente reducible alproblema de isomorfismo en grafos, ya que basta calcular lasprimeras n cliques (si son mas de n seguro no es), que espolinomial, y en el caso en que G tenga n cliques, basta conchequear si G es isomorfo a K (G ).
I Para el caso particular de los grafos arco-circulares Helly, elproblema de reconocer si un grafo es self-clique es polinomial,ya que isomorfismo en HCA es polinomial (Hsu, 1995).
I Para grafos clique-Helly hereditarios, es polinomialmenteequivalente al problema de isomorfismo en grafos (Larrion,Neumann-Lara, Pizana y Porter, 2003).
I Para grafos clique-Helly, es polinomialmente equivalente alproblema de isomorfismo en hipergrafos (Bondy, Duran, Lin,Szwarcfiter, 2003).
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 23: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/23.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique clique-Helly
Teorema (Escalante, 1973)
Sea G un grafo clique-Helly. Entonces G es t-self-clique si y solo sino tiene vertices mellizos ni dominados, y en ese caso, t = 1 o 2.
El teorema anterior no permite distinguir entre grafos self-clique y2-self-clique.
Teorema (Bondy, Duran, Lin, Szwarcfiter, 2003)
Un grafo es self-clique clique-Helly si y solo tiene una matriz cliquequasi-simetrica.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 24: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/24.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique clique-Helly
Teorema (Escalante, 1973)
Sea G un grafo clique-Helly. Entonces G es t-self-clique si y solo sino tiene vertices mellizos ni dominados, y en ese caso, t = 1 o 2.
El teorema anterior no permite distinguir entre grafos self-clique y2-self-clique.
Teorema (Bondy, Duran, Lin, Szwarcfiter, 2003)
Un grafo es self-clique clique-Helly si y solo tiene una matriz cliquequasi-simetrica.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 25: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/25.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos self-clique clique-Helly
No vale que todo grafo self-clique clique-Helly tiene una matrizclique simetrica. El grafo de la figura (Robak, 2003) tiene unamatriz clique quasi-simetrica, y por lo tanto es self-cliqueclique-Helly, pero no admite una matriz clique simetrica.
Mas aun, es mınimo con esa propiedad.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 26: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/26.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Otras caracterizaciones conocidas
I Como corolario del resultado de Escalante, se puede probarque si G un grafo conexo no trivial y sin triangulos, entoncesG es self-clique si y solo es un ciclo, y 2-self-clique si y solo sino es un ciclo pero todo vertice tiene grado al menos 2.
I Chia (2000) extiende este resultado caracterizando los grafosself-clique cuyas cliques son todas de tamano 2 excepto una.
I Larrion y Pizana (2005) caracterizan los grafos self-cliqueclique-Helly hereditarios.
I Combinando resultados de Escalante (1973) y Szwarcfiter yBornstein (1994), se puede probar que todo grafo cordal esclique-convergente, y en particular no hay grafos cordalesself-clique no triviales.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 27: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/27.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Otras caracterizaciones conocidas
I Como corolario del resultado de Escalante, se puede probarque si G un grafo conexo no trivial y sin triangulos, entoncesG es self-clique si y solo es un ciclo, y 2-self-clique si y solo sino es un ciclo pero todo vertice tiene grado al menos 2.
I Chia (2000) extiende este resultado caracterizando los grafosself-clique cuyas cliques son todas de tamano 2 excepto una.
I Larrion y Pizana (2005) caracterizan los grafos self-cliqueclique-Helly hereditarios.
I Combinando resultados de Escalante (1973) y Szwarcfiter yBornstein (1994), se puede probar que todo grafo cordal esclique-convergente, y en particular no hay grafos cordalesself-clique no triviales.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 28: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/28.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Otras caracterizaciones conocidas
I Como corolario del resultado de Escalante, se puede probarque si G un grafo conexo no trivial y sin triangulos, entoncesG es self-clique si y solo es un ciclo, y 2-self-clique si y solo sino es un ciclo pero todo vertice tiene grado al menos 2.
I Chia (2000) extiende este resultado caracterizando los grafosself-clique cuyas cliques son todas de tamano 2 excepto una.
I Larrion y Pizana (2005) caracterizan los grafos self-cliqueclique-Helly hereditarios.
I Combinando resultados de Escalante (1973) y Szwarcfiter yBornstein (1994), se puede probar que todo grafo cordal esclique-convergente, y en particular no hay grafos cordalesself-clique no triviales.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 29: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/29.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Otras caracterizaciones conocidas
I Como corolario del resultado de Escalante, se puede probarque si G un grafo conexo no trivial y sin triangulos, entoncesG es self-clique si y solo es un ciclo, y 2-self-clique si y solo sino es un ciclo pero todo vertice tiene grado al menos 2.
I Chia (2000) extiende este resultado caracterizando los grafosself-clique cuyas cliques son todas de tamano 2 excepto una.
I Larrion y Pizana (2005) caracterizan los grafos self-cliqueclique-Helly hereditarios.
I Combinando resultados de Escalante (1973) y Szwarcfiter yBornstein (1994), se puede probar que todo grafo cordal esclique-convergente, y en particular no hay grafos cordalesself-clique no triviales.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 30: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/30.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos C kn , con n ≥ 3k + 1
I Dado un grafo G , el grafo G k tiene el mismo conjunto devertices de G , y dos vertices son adyacentes en G k si estan adistancia ≤ k en G .
I Si G es un grafo tal que todo vertice tiene grado al menos 2 ytodo ciclo tiene longitud al menos 6s + 1, entonces G 2s esself-clique clique-Helly (Bondy, Duran, Lin, Szwarcfiter, 2003).
I En particular, C kn es self-clique clique-Helly para k par y
n ≥ 3k + 1. Mas aun, tiene una matriz clique simetrica que seobtiene con la siguiente asignacion de cliques a vertices:
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 31: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/31.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos C kn , con n ≥ 3k + 1
I Dado un grafo G , el grafo G k tiene el mismo conjunto devertices de G , y dos vertices son adyacentes en G k si estan adistancia ≤ k en G .
I Si G es un grafo tal que todo vertice tiene grado al menos 2 ytodo ciclo tiene longitud al menos 6s + 1, entonces G 2s esself-clique clique-Helly (Bondy, Duran, Lin, Szwarcfiter, 2003).
I En particular, C kn es self-clique clique-Helly para k par y
n ≥ 3k + 1. Mas aun, tiene una matriz clique simetrica que seobtiene con la siguiente asignacion de cliques a vertices:
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 32: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/32.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos C kn , con n ≥ 3k + 1
I Dado un grafo G , el grafo G k tiene el mismo conjunto devertices de G , y dos vertices son adyacentes en G k si estan adistancia ≤ k en G .
I Si G es un grafo tal que todo vertice tiene grado al menos 2 ytodo ciclo tiene longitud al menos 6s + 1, entonces G 2s esself-clique clique-Helly (Bondy, Duran, Lin, Szwarcfiter, 2003).
I En particular, C kn es self-clique clique-Helly para k par y
n ≥ 3k + 1. Mas aun, tiene una matriz clique simetrica que seobtiene con la siguiente asignacion de cliques a vertices:
1 1 0 0 0 0 11 1 1 0 0 0 00 1 1 1 0 0 00 0 1 1 1 0 00 0 0 1 1 1 00 0 0 0 1 1 11 0 0 0 0 1 1 C7
2
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 33: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/33.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos C kn , con n ≥ 3k + 1
Lo mismo vale para todo k tal que n ≥ 3k + 1, aunque con unaasignacion de cliques a vertices diferente:
0 1 1 1 0 0 01 1 1 0 0 0 01 1 0 0 0 0 11 0 0 0 0 1 10 0 0 0 1 1 10 0 0 1 1 1 00 0 1 1 1 0 0 C7
2
Por lo tanto, los grafos C kn , con n ≥ 3k + 1, son clique-Helly y
self-clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 34: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/34.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos C kn , con n ≥ 3k + 1
Lo mismo vale para todo k tal que n ≥ 3k + 1, aunque con unaasignacion de cliques a vertices diferente:
0 1 1 1 0 0 01 1 1 0 0 0 01 1 0 0 0 0 11 0 0 0 0 1 10 0 0 0 1 1 10 0 0 1 1 1 00 0 1 1 1 0 0 C7
2
Por lo tanto, los grafos C kn , con n ≥ 3k + 1, son clique-Helly y
self-clique.
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 35: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/35.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Grafos C kn , con n ≥ 3k + 1
Ademas, se puede ver que son arco-circulares Helly.
C110 C11
1 C112
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 36: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/36.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Caracterizacion
El resultado principal de este trabajo es que son los unicosself-clique (y mas aun, t-self-clique) dentro de la clase HCA.
Teorema
Sea G un grafo arco-circular Helly de n vertices. Entonces, sonequivalentes:
1. G es t-self-clique para algun t ≥ 1
2. G es self-clique
3. G es isomorfo a C kn para algun k ≥ 0 tal que 3k + 1 ≤ n.
Por ultimo, se puede probar que todo grafo HCA esclique-convergente o “converge” en t pasos a algun C k
r , paraalguna tripla de valores t, k y r , con t, k ≥ 0 y 3k + 1 ≤ r .
Flavia Bonomo Grafos self-clique arco-circulares Helly
![Page 37: Definiciones Caracterizaciones conocidas Grafos self-clique HCA](https://reader035.fdocuments.net/reader035/viewer/2022062923/62bae2d31c9ff760b15e69b1/html5/thumbnails/37.jpg)
DefinicionesCaracterizaciones conocidas
Grafos self-clique HCA
Caracterizacion
El resultado principal de este trabajo es que son los unicosself-clique (y mas aun, t-self-clique) dentro de la clase HCA.
Teorema
Sea G un grafo arco-circular Helly de n vertices. Entonces, sonequivalentes:
1. G es t-self-clique para algun t ≥ 1
2. G es self-clique
3. G es isomorfo a C kn para algun k ≥ 0 tal que 3k + 1 ≤ n.
Por ultimo, se puede probar que todo grafo HCA esclique-convergente o “converge” en t pasos a algun C k
r , paraalguna tripla de valores t, k y r , con t, k ≥ 0 y 3k + 1 ≤ r .
Flavia Bonomo Grafos self-clique arco-circulares Helly