Grafo diamante
# Grafo diamante

En el campo matemático de la teoría de grafos, el grafo diamante es un grafo plano con 4 vértices y 5 aristas, cuya representación gráfica se asemeja a un diamante. El nombre del grafo está designado por la lista de clasificación de grafos pequeños del Information System on Graph Classes and their Inclusions.

Puede ser construido a partir del grafo completo en cuatro vértices, $K_4$ mediante la eliminación de cualquiera de una de las aristas. Otra manera de construir el grafo es a partir del grafo ciclo $C_4$ añadiendo una arista en forma de diagonal.

## Grafo libre de diamantes y contracción prohibitiva

Un grafo es libre de diamantes si no contiene al grafo diamante como subgrafo inducido. Un grafo libre de triángulos es necesariamente un grafo libre de diamantes, al contener el grafo diamante un triángulo $C_3.$ La conjetura de Hougardy está probada para grafos libres de diamantes.

La familia de grafos conocida como grafos cactus se caracterizan por no tener al grafo diamante como subgrafo mediante una contracción por aristas.

Los grafos diamantes y los grafos mariposas son contracciones por aristas prohibitivas para la familia de grafos llamada pseudobosque, y es una característica de esta clase de grafos.

## Propiedades generales

Es plano, ya que puede representarse en el plano sin que sus aristas de crucen. Es 3-conexo por vértices, no tiene vértice de corte. Es hamiltoniano. Es 3-conexo por aristas. Al tener dos vértices de grado impar (3) no es euleriano, aunque acepta un camino Euleriano.

## Coloración

El número cromático del grafo pez es 3. Es decir, que es posible colorear los vértices con tres colores tal que dos vértices conectados por una arista tengan siempre colores diferentes.

El índice cromático del grafo es 3. Esto es, existe una 3-coloración por aristas del grafo tal que dos aristas incidentes a un mismo vértice son siempre de colores diferentes.

El polinomio cromático es igual a $(x-2)^{2}(x-1)x$.

## Propiedades algebraicas

El grupo de automorfismo del grafo pez es un grupo abeliano de orden 4 isomorfo al grupo de KleinZ/2Z×Z/2Z.

El polinomio característico del grafo es: $x(x+1)(x^{2}-x-4)$.

