Grafo ciclo

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Grafo ciclo Cn
Undirected 6 cycle.svg
ciclo C6
Vértices n
Aristas n
Cintura (girth) n
Automorfismos 2n (Dn)
Número cromático
Índice cromático
Propiedades
[editar datos en Wikidata]

En Teoría de grafos, un Grafo ciclo o simplemente ciclo es un grafo que se asemeja a un polígono de n lados. Consiste en un camino cerrado en el que no se repite ningún vértice a excepción del primero que aparece dos veces como principio y fin del camino. Un Grafo ciclo de n vértices se denota Cn. El número de vértices en un grafo Cn es igual al número de aristas, y cada vértice tiene grado par, por lo tanto cada vértice tiene dos aristas incidentes.

si G(V,A)\, es un ciclo Cn, el grafo tiene n vértices V= \{v_1 , v_2 , ... , v_n \} \, y n aristas formadas de la siguiente manera:

A=\{\{v_i , v_{i+1}\}|i= 1, ..., n\} \cup \{v_n , v_1\}

Propiedades[editar]

Un grafo ciclo es:

2-conexo[editar]

En efecto, si tomamos 2 vértices cualquiera, siempre hay 2 caminos disjuntos (sin vértices comunes a excepción de los vértices extremos) que los conectan. Luego, por el Teorema de Whitney (1932), los ciclos tienen índice de conexión: \kappa \,(C_n)=2.

Los ciclos son también 2-conexo por aristas, en efecto, dado 2 vértices cualquiera, siempre hay 2 caminos distintos (sin aristas comunes entre ambos) que los conectan. Luego, por el Teorema de Menger (1927), los ciclos tienen índice de arista conexión: \kappa_a \,(C_n)=2.

Los ciclos al tener el índice de arista conexión igual a 2 carecen de aristas puentes.

2-regular[editar]

Es claro que los ciclos son 2-regulares, ya que dado un ciclo de n vértices, todos sus grados son iguales a dos: \delta (v_i)=2\, con i=1,...,n

Euleriano[editar]

En efecto, los ciclos al ser conexos y 2-regulares satisfacen el Teorema de Euler(1736)-Hierholzer(1873). Luego, los ciclos contienen un Circuito euleriano.

Hamiltoniano[editar]

Es fácil ver que también contienen un ciclo hamiltoniano.

Coloración[editar]

\chi (C_n) = \begin{cases} 2, & \mbox{si }n\mbox{ es par} \\ 3, & \mbox{si }n\mbox{ es impar} \end{cases}

Coloración por aristas[editar]

\chi '(C_n) = \begin{cases} 2, & \mbox{si }n\mbox{ es par} \\ 3, & \mbox{si }n\mbox{ es impar} \end{cases}

Algoritmo para determinar si se forman ciclos[editar]

Algoritmo: Para determinar si al agregar una arista a una grafo se forma algún ciclo

//Siendo una arista nueva con nodos adyacentes A y B

1. Tomamos cualquier nodo adyacente a la arista que vamos a generar (Por ejemplo A)

2. Verificamos que no tenga aristas hacia B, y de ser así lo marcamos

3. Repetimos el proceso (2) con cada uno de los nodos adayacentes al nodo A y hasta marcar todos los nodos conectados.

4. Si en todo el recorrido no encontró ninguna arista hacia B, entonces no se generan ciclos al agregar la arista nueva.

Un Grafo ciclo dirigido de longitud 8.

Grafo ciclo dirigido[editar]

Un grafo ciclo dirigido es una versión dirigida de un grafo ciclo, con todas las aristas orientadas hacia una misma dirección.

En un Grafo ciclo dirigido, el grado de salida del vértice es 1 y el de entrada también es 1.

\delta_s (x)= \delta_e (x)= 1 \,


Véase también[editar]

Enlaces externos[editar]