Grafo ciclo
# Grafo ciclo

En teoría de grafos, un grafo ciclo o simplemente ciclo es un grafo que consiste en un camino simple cerrado, es decir, en el que no se repite ningún vértice, salvo el primero con el último. Un grafo ciclo de n vértices se denota $C_{n}$. El número de vértices en un grafo ciclo es igual al número de aristas. En su versión más común, como grafo no dirigido, cada vértice tiene grado 2, por lo que es un grafo 2-regular; en su versión dirigida, en cambio, se trata de un grafo 1-regular.

## Definición formal

Si $G(V,E)\,$ es un grafo ciclo $C_{n}$, el grafo tiene $n$ vértices $V=\{v_{1},v_{2},\ldots ,v_{n}\}$ y $n$ aristas formadas de la siguiente manera:

$E=\{\{v_{i},v_{i+1}\}|i=1,...,n-1\}\cup \{v_{n},v_{1}\}$

## Propiedades

Un grafo ciclo es:

### 2-conexo

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

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

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

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

### Coloración

$\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

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

## Grafo ciclo dirigido

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\,$

Si las aristas del grafo no están orientadas en una misma dirección, entonces se habla de «semiciclo» en lugar de «ciclo».

## Grafos ciclo signados

El signo de un grafo ciclo signado o con signos es igual al producto de los signos de las aristas incluidas en el grafo, calculado de acuerdo a una conjunción lógica:

Por lo tanto, un grafo ciclo con un número par de aristas negativas tendrá un signo positivo, y un grafo ciclo con un número impar de aristas negativas, tendrá un signo negativo. Note que todo lo anterior se mantiene para un grafo semiciclo dirigido.

