title: Grafo ciclo
text: # 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.
  
  # Grafo ciclo
  ## 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}\}$
  
  # Grafo ciclo
  ## Propiedades
  
  Un grafo ciclo es:
  
  # Grafo ciclo
  ## Propiedades
  ### 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.
  
  # Grafo ciclo
  ## Propiedades
  ### 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
  
  # Grafo ciclo
  ## Propiedades
  ### 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.
  
  # Grafo ciclo
  ## Propiedades
  ### Hamiltoniano
  
  Es fácil ver que también contienen un ciclo hamiltoniano.
  
  # Grafo ciclo
  ## Propiedades
  ### Coloración
  
  $\chi (C_{n})={\begin{cases}2,&{\mbox{si }}n{\mbox{ es par}}\\3,&{\mbox{si }}n{\mbox{ es impar}}\end{cases}}$
  
  # Grafo ciclo
  ## Propiedades
  ### 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
  ## 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».
  
  # Grafo 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.