En matemáticas y ciencias de la computación, un grafo (del griego grafos: dibujo, imagen) es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto. Son objeto de estudio de la teoría de grafos.

Típicamente, un grafo se representa gráficamente como un conjunto de puntos (vértices o nodos) unidos por líneas (aristas).

Desde un punto de vista práctico, los grafos permiten estudiar las interrelaciones entre unidades que interactúan unas con otras. Por ejemplo, una red de computadoras puede representarse y estudiarse mediante un grafo, en el cual los vértices representan terminales y las aristas representan conexiones (las cuales, a su vez, pueden ser cables o conexiones inalámbricas).

Un grafo   es un par ordenado  , donde:

 es un conjunto de vértices o nodos, y

 es un conjunto de aristas o arcos, que relacionan estos nodos.

Normalmente   suele ser finito. Muchos resultados importantes sobre grafos no son aplicables para grafos infinitos.

Se llama orden del grafo   a su número de vértices .

El grado de un vértice o nodo   es igual al número de arcos que lo tienen como extremo.

Un bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden.

Dos o más aristas son paralelas si relacionan el mismo par de vértices.

Grafo no dirigido

Un grafo no dirigido o grafo propiamente dicho es un grafo   donde:

 es un conjunto de pares no ordenados de elementos de.

Un par no ordenado es un conjunto de la forma , de manera que . Para

los grafos, estos conjuntos pertenecen al conjunto potencia de , denotado , y son de cardinalidad 2.

Grafo dirigido

Un grafo dirigido o dígrafo es un grafo   donde:

 es un conjunto de pares ordenados de elementos de.

Dada una arista ,   es su nodo inicial y   su nodo final.

Por definición, los grafos dirigidos no contienen bucles.

Un grafo mixto es aquel que se define con la capacidad de poder contener aristas dirigidas y no dirigidas. Tanto los grafos dirigidos como los no dirigidos son casos particulares de este.

Variantes sobre las definiciones principales

Algunas aplicaciones requieren extensiones más generales a las dos propuestas clásicas de grafos. Aunque la definición original los permite, según la aplicación concreta pueden ser válidos o no. A veces  o   pueden ser un multiconjunto, pudiendo haber más de una arista entre cada par de vértices. La palabra grafo (a secas) puede permitir o no múltiples aristas entre cada par de vértices, dependiendo del autor de la referencia consultada. Si se quiere remarcar la inexistencia de múltiples aristas entre cada par de vértices (y en el caso no dirigido, excluir bucles) el grafo puede llamarse simple. Por otra parte, si se quiere asegurar la posibilidad de permitir múltiples aristas, el grafo puede llamarse multígrafo (a veces se utiliza el término pseudografo para indicar que se permiten tanto bucles como múltiples aristas entre cada par de vértices).

Grafos particulares

Existen grafos que poseen propiedades destacables. Algunos ejemplos básicos son:

Grafo nulo: aquel que no tiene vértices ni aristas. Nótese que algunas personas exigen que el conjunto de vértices no sea vacío en la definición de grafo.

Grafo vacío: aquel que no tiene aristas.

Grafo trivial: aquel que tiene un vértice y ninguna arista.

Grafo simple: aquel que no posee bucles ni artistas paralelas. Consultar variantes en esta definición.

Multígrafo (o pseudografo): G es multígrafo si y solo si no es simple. Consultar variantes en esta definición.

Grafo completo: grafo simple en el que cada par de vértices están unidos por una arista, es decir, contiene todas las posibles aristas.

Grafo bipartito: sea   una partición del conjunto de vértices , es aquel donde cada arista tiene un vértice en   y otro en .

Grafo bipartito completo: sea   una partición del conjunto de vértices , es aquel donde cada vértice en   es adyacente sólo a cada vértice en , y viceversa.

Grafo plano: aquel que puede ser dibujado en el plano cartesiano sin cruce de aristas.

Árbol: grafo conexo sin ciclos.

Grafo rueda: grafo con n vértices que se forma conectando un único vértice a todos los vértices de un ciclo-(n-1).

Grafo perfecto aquel que el número cromático de cada subgrafo inducido es igual al tamaño del mayor clique de ese subgrafo.

Propiedades

Adyacencia: dos aristas son adyacentes si tienen un vértice en común, y dos vértices son adyacentes si una arista los une.

Incidencia: una arista es incidente a un vértice si ésta lo une a otro.

Ponderación: corresponde a una función que a cada arista le asocia un valor (costo, peso, longitud, etc.), para aumentar la expresividad del modelo. Esto se usa mucho para problemas de optimización, como el del vendedor viajero o del camino más corto.

Etiquetado: distinción que se hace a los vértices y/o aristas mediante una marca que los hace unívocamente distinguibles del resto.