2/11/2020 Grafo simétrico - Wikipedia, la enciclopedia libre

Grafo simétrico
En el campo matemático de la teoría de grafos, un grafo G es
simétrico si, dado cualquier par de pares de vértices adyacentes u1—v1
y u2—v2 de G, existe un automorfismo

f: V(G) → V(G)

tal que

f(u1) = u2 and f(v1) = v2.1

En otras palabras, un grafo es simétrico si su grupo automórfico actúa

transitivamente sobre pares ordenados de vértices adyacentes (es decir,
El grafo de Petersen es un grafo
sobre los bordes considerados como teniendo una dirección).2 Este simétrico (cúbico) . Cualquier par
grafo se denomina a veces también 1-arco-transitivo.2 3 de vértices adyacentes se puede
mapear a otro par por un
Por definición (ignorando u1 y u2), un grafo simétrico sin vértices automorfismo, ya que cualquier
aislados también debe ser vértice transitivo.1 Ya que la definición anillo de cinco vértices se puede
anterior mapea un borde al otro, una grafo simétrico también debe ser mapear a cualquier otro.
arista transitivo. Sin embargo, un grafo arista transitivo no es
necesariamente simétrico, ya que a—b puede mapear a c—d, pero no a
d—c. Los grafos semi-simétricos, por ejemplo, son arista transitivos y regulares, pero no vértice
transitivos.

Cada grafo simétrico conectado debe por lo tanto ser a la vez vértice transitivo y arista transitivo, y lo
contrario es cierto para los grafos de grado impar.3 Sin embargo, para los grafos de grado par, existen
grafos conectados que son vértice transitivos y arista transitivos, pero no simétricos.4 Tales grafos son
llamados semi-transitivos.5 el grafo semi-transitivo conectado más pequeño es el grafo de Holt, de
grado 4 y con 27 vértices.1 6 Confusamente, algunos autores usan el término "grafo simétrico" hablando
de grafos que son vértice transitivos y arista transitivos, pero no son arco transitivos. Una definición así
incluiría los grafos semi-transitivos, que están excluidos en virtud de la definición anterior.

Un grafo distancia-transitivo es aquel donde en lugar de considerar pares de vértices adyacentes (es
decir, los vértices separados por una arista), la definición comprende dos pares de vértices, cada uno a la
misma distancia. Tales grafos son automáticamente simétricos, por definición.1

Un t-arco es definido como una secuencia de t+1 vértices, tal que dos vértices consecutivos cualesquiera
en la secuencia son adyacentes, y cualquier vértice repetido está separado por lo menos 2 pasos. Un
grafo t-transitivo es un grafo tal que el grupo automórfico actúa transitivamente sobre t-arcos, pero
no sobre (t+1)-arcos. Ya que 1-arcos son simplemente aristas, cada grafo simétrico de grado 3 o mayor
debe ser t-transitivo para alguna t, y el valor de t puede ser usado para clasificar los grafos simétricos.
Por ejemplo, el cubo es 2-transitivo.1

Índice
https://es.wikipedia.org/wiki/Grafo_simétrico 1/4
2/11/2020 Grafo simétrico - Wikipedia, la enciclopedia libre

Ejemplos
Véase también
Referencias
Enlaces externos

Ejemplos
La combinación de la condición de simetría con la restricción que los grafos sean cúbicos (es decir, todos
los vértices tengan grado 3) es muy restrictiva, y tales grafos son lo suficientemente raros para ser
enumerados. El censo Foster proveen esa lista.7 El censo Foster fue iniciado en 1930 por Ronald M.
Foster mientras era empleado de los Laboratorios Bell,8 y en 1988 (cuando Foster tenía 92 años1 ) el
censo Foster actualizado (listando todos los grafos simétricos cúbicos de hasta 512 vértices) fue
publicado en forma de libro.9 Los primeros trece elementos de la lista son grafos simétricos cúbicos de
hasta 30 vértices10 11 (diez de ellos son también distancia-transitivos; las excepciones son como se
indica):

Vértices Diámetro Cintura Grafo Notas

El grafo completo K4 distancia-transitivo, 2-

4 1 3
transitivo

El grafo bipartito completo K3,3 distancia-transitivo, 3-

6 2 4
transitivo
distancia-transitivo, 2-
8 3 4 Los vértices y las aristas del cubo
transitivo
distancia-transitivo, 3-
10 2 5 El grafo de Petersen
transitivo
distancia-transitivo, 4-
14 3 6 El grafo de Heawood
transitivo
16 4 6 El grafo de Möbius–Kantor 2-transitivo
distancia-transitivo, 3-
18 4 6 El grafo de Pappus
transitivo
distancia-transitivo, 2-
20 5 5 Los vértices y las aristas del dodecaedro
transitivo
distancia-transitivo, 3-
20 5 6 El grafo de Desargues
transitivo
El grafo de Nauru (the grafo de generalized Petersen
24 4 6 2-transitivo
G(12,5))

26 5 6 El grafo de F26A11 1-transitivo

distancia-transitivo, 3-
28 4 7 El grafo de Coxeter
transitivo
distancia-transitivo, 5-
30 4 8 El grafo de Tutte–Coxeter
transitivo

Otros grafos simétricos cúbicos conocidos son el grafo de Dyck, el grafo de Foster y el grafo de Biggs–
Smith. Los diez grafos distancia-transitivos listado arriba, junto con el grafo de Foster y el grafo de
Biggs–Smith, son los únicos grafos cúbicos distancia-transitivs.

https://es.wikipedia.org/wiki/Grafo_simétrico 2/4
2/11/2020 Grafo simétrico - Wikipedia, la enciclopedia libre

Los grafos simétricos no cúbicos incluyen ciclos (de grado 2), grafos completos (de grado 4 o mayor
cuando tienen 5 o más vértices), grafos hipercubos (de grado 4 o mayor cuando tienen 16 o más vértices),
y los grafos formados por los vértices y aristas del octaedro, icosaedro, cuboctaedro, and
icosidodecaedro. El grafo de Rado es un ejemplo de grafo simétrico con vértices infinitos y grado infinito.

Véase también
Teoría de grafos
Galería_de_grafos simétricos
Fractal

Referencias
1. Biggs, Norman (1993). Algebraic Graph Theory (2nd edición). Cambridge: Cambridge University
Press. pp. 118-140. ISBN 0-521-45897-8.
2. Godsil, Chris; Royle, Gordon (2001). Algebraic Graph Theory. Nueva York: Springer. p. 59. ISBN 0-
387-95220-9.
3. Babai, L (1996). «Automorphism groups, isomorphism, reconstruction» (http://www.cs.uchicago.edu/f
iles/tr_authentic/TR-94-10.ps). En Graham, R; Groetschel, M; Lovasz, L, eds. Handbook of
Combinatorics. Elsevier.
4. Bouwer, Z. "Vertex and Edge Transitive, But Not 1-Transitive Graphs." Canad. Math. Bull. 13, 231–
237, 1970.
5. Gross, J.L. and Yellen, J. (2004). Handbook of Graph Theory. CRC Press. p. 491. ISBN 1-58488-090-2.
6. Holt, Derek F. (1981). «A grafo which is edge transitivo but not arc transitive». Journal of Graph
Theory 5 (2): 201-204. doi:10.1002/jgt.3190050210 (https://dx.doi.org/10.1002%2Fjgt.3190050210)..
7. Marston Conder, Trivalent symmetric grafos on up to 768 vertices (http://www.math.auckland.ac.nz/~
conder/preprints/cubic768.ps), J. Combin. Math. Combin. Comput, vol. 20, pp. 41–63
8. Foster, R. M. "Geometrical Circuits of Electrical Networks." Transactions of the American Institute of
Electrical Engineers 51, 309–317, 1932.
9. "The Foster Census: R.M. Foster's Census of Connected Symmetric Trivalent Graphs", by Ronald M.
Foster, I.Z. Bouwer, W.W. Chernoff, B. Monson and Z. Star (1988) ISBN 0-919611-19-2
10. Biggs, p. 148
11. Weisstein, Eric W., "Cubic Symmetric Graph (http://mathworld.wolfram.com/CubicSymmetricGraph.ht
ml)", from Wolfram MathWorld.

Enlaces externos
Cubic symmetric graphs (The Foster Census) (https://web.archive.org/web/20081004205049/http://p
eople.csse.uwa.edu.au/gordon/remote/foster/). Data files for all cubic symmetric graphs up to 768
vértices, and some cubic graphs with up to 1000 vértices. Gordon Royle, updated February 2001,
retrieved 2009-04-18.
Trivalent (cubic) symmetric graphs on up to 2048 vértices (http://www.math.auckland.ac.nz/~conder/
symmcubic2048list.txt). Marston Conder, August 2006, retrieved 2009-08-20.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Grafo_simétrico&oldid=124342728»

https://es.wikipedia.org/wiki/Grafo_simétrico 3/4
2/11/2020 Grafo simétrico - Wikipedia, la enciclopedia libre

Esta página se editó por última vez el 17 mar 2020 a las 21:01.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Grafo_simétrico 4/4