En teoría de grafos, los grafos de Petersen generalizados son una familia de grafos cúbicos formada al conectar los vértices de un polígono regular con los vértices correspondientes de un estrella. Incluyen el grafo de Petersen y generalizan una de las formas de construir el grafo de Petersen. La familia de grafos de Petersen generalizada fue introducida en 1950 por Harold Scott MacDonald Coxeter,[1] y Mark Watkins les dio en 1969 el nombre que ahora llevan.[2]
Definición y notación
editar
En la notación de Watkins, G(n, k) es un grafo con un conjunto de vértices
y un conjunto de aristas
donde los subíndices deben leerse módulo n y k<n/2. Algunos autores utilizan la notación GPG(n, k). La notación de Coxeter para el mismo grafo sería {n} + {n/k}, una combinación de los símbolos de Schläfli para n-gonos regulares y estrellas a partir de los cuales se forma el grafo. El grafo de Petersen en sí es G(5, 2) o {5} + {5/2}.
Cualquier grafo de Petersen generalizado también se puede construir a partir de un grafo de voltage con dos vértices, dos auto bucles y otra arista.[3]
Cuatro grafos de Petersen generalizados (el de 3 prismas, el de 5 prismas, el grafo de Durero y G(7, 2)) se encuentran entre los siete grafos que son cúbicos, 3-vértices-conectado y bien recubierto (lo que significa que todos sus conjuntos independientes máximos tienen el mismo tamaño).[4]
Propiedades
editar
Esta familia de grafos posee varias propiedades interesantes. Por ejemplo:
G(n, k) es vértices-transitivo (lo que significa que tiene simetrías que llevan cualquier vértice a cualquier otro vértice) si y solo si (n, k) = (10, 2) o k2 ≡ ±1 (mod n).
G(n, k) es aristas-transitivo (que tiene simetrías que llevan cualquier arista a cualquier otra arista) solo en los siguientes siete casos: (n, k) = (4, 1), (5, 2), (8, 3), (10, 2), (10, 3), (12, 5), (24, 5).[5] Estos siete grafos son, por lo tanto, los únicos grafos de Petersen generalizados symmetric.
G(n, k) es bipartito si y solo si n es par y k es impar.
G(n, k) es hipohamiltoniano cuando n es congruente con 5 módulo 6 y k = 2, n − 2, o (n ± 1)/2 (estas cuatro opciones de k conducen a grafos isomorfos). Tampoco es hamiltoniano cuando n es divisible por 4, al menos igual a 8, y k = n/2. En todos los demás casos posee un camino hamiltoniano.[6] Cuando n es congruente con 3 módulo 6 G(n, 2) tiene exactamente tres ciclos hamiltonianos.[7] Para G(n, 2), el número de ciclos hamiltonianos se puede calcular mediante una fórmula que depende de la clase de congruencia de n módulo 6 e involucra a una sucesión de Fibonacci.[8]
Todo grafo de Petersen generalizado es un grafo de distancia unitaria.[9]
Isomorfismos
editar
G(n, k) es isomorfo a G(n, l) si y solo si k=l o kl ≡ ±1 (mod n).[10]
Cintura
editar
La cintura de G(n, k) es al menos 3 y como máximo 8, en particular:[11]
A continuación figura una tabla con valores de cintura exactos:
Condición
Cintura
3
4
5
6
7
de lo contrario
8
Número cromático e índice cromático
editar
Siendo regular, según el teorema de Brooks su coloración no puede ser mayor que su grado. Los grafos de Petersen generalizados son cúbicos, por lo que su número cromático puede ser 2 o 3. Más exactamente:
Donde denota el operador lógico Y, mientras que es el operador lógico O disyuntivo. Por ejemplo, el número cromático de es 3.
↑Watkins, Mark E. (1969), «A Theorem on Tait Colorings with an Application to the Generalized Petersen Graphs», Journal of Combinatorial Theory6 (2): 152-164, doi:10.1016/S0021-9800(69)80116-X..
↑Gross, Jonathan L.; Tucker, Thomas W. (1987), Topological Graph Theory, New York: Wiley.. Example 2.1.2, p.58.
↑Campbell, S. R.; Ellingham, M. N.; Royle, Gordon F. (1993), «A characterisation of well-covered cubic graphs», Journal of Combinatorial Mathematics and Combinatorial Computing13: 193-212, MR 1220613..
↑Frucht, R.; Graver, J. E.; Watkins, M. E. (1971), «The groups of the generalized Petersen graphs», Proceedings of the Cambridge Philosophical Society70 (2): 211-218, doi:10.1017/S0305004100049811..
↑Alspach, B. R. (1983), «The classification of Hamiltonian generalized Petersen graphs», Journal of Combinatorial Theory, Series B34 (3): 293-312, MR 0714452, doi:10.1016/0095-8956(83)90042-4..
↑Thomason, Andrew (1982), «Cubic graphs with three Hamiltonian cycles are not always uniquely edge colorable», Journal of Graph Theory6 (2): 219-221, doi:10.1002/jgt.3190060218..
↑Schwenk, Allen J. (1989), «Enumeration of Hamiltonian cycles in certain generalized Petersen graphs», Journal of Combinatorial Theory, Series B 47 (1): 53-59, MR 1007713, doi:10.1016/0095-8956(89)90064-6..
↑Žitnik, Arjana; Horvat, Boris; Pisanski, Tomaž (2010), All generalized Petersen graphs are unit-distance graphs, IMFM preprints 1109, archivado desde el original el 24 de julio de 2018, consultado el 12 de septiembre de 2022..
↑Steimle, Alice; Staton, William (2009), «The isomorphism classes of the generalized Petersen graphs», Discrete Mathematics309 (1): 231–237, doi:10.1016/j.disc.2007.12.074.
↑Ferrero, Daniela; Hanusch, Sarah (2014), «Component connectivity of generalized Petersen graphs», International Journal of Computer Mathematics91 (9): 1940–1963, ISSN0020-7160, doi:10.1080/00207160.2013.878023, archivado desde el original el 20 de octubre de 2018, consultado el 20 de octubre de 2018.
↑Castagna, Frank; Prins, Geert Caleb Ernst (1972), «Every generalized Petersen graph has a Tait coloring», Pacific Journal of Mathematics40 (1): 53-58, ISSN0030-8730, MR 304223, Zbl 0236.05106, doi:10.2140/pjm.1972.40.53.
↑Bollobás, Béla (2004), Extremal Graph Theory, Dover, p. 233.. Reprint of 1978 Academic Press edition.
↑Castagna, Frank; Prins, Geert (1972), «Every Generalized Petersen Graph has a Tait Coloring», Pacific Journal of Mathematics40: 53-58, doi:10.2140/pjm.1972.40.53..