Grafos
Los grafos son artefactos matemáticos que permiten expresar de una forma visualmente muy sencilla y efectiva las relaciones que se dan entre elementos de muy diversa índole. Un grafo simple está formado por dos conjuntos:
-Un conjunto V de puntos llamados vértices o nodos.
-Un conjunto de pares de vértices que se llaman aristas o arcos y que indican qué nodos están relacionados.
De una manera más informal podemos decir que un grafo es un conjunto de nodos con enlaces entre ellos, denominados aristas o arcos.En un grafo simple entre dos nodos sólo hay un arco. Si hay más de un arco hablamos de un multigrafo. Si los arcos se pueden recorrer en una en una dirección concreta pero no en la contraria lo llamamos grafo dirigido o dígrafo y los arcos son entonces aristas, si los arcos salen y llegan al mismo punto formando un bucle el grafo resultante se llama pseudografo.
Aristas
Una arista corresponde a una relación entre dos vértices de un grafo.
Para caracterizar un grafo G son suficientes únicamente el conjunto de todas sus aristas, comúnmente denotado con la letra E, junto con el conjunto de sus vértices, denotado por V. Así, dicho grafo se puede representar como G(V,E), o bien G = (V,E).
Un vértice es incidente a una arista si pertenece a ésta, o en otras palabras, si está conectado a otro vértice a través de ella.
Ejemplo:
Grafo dirigido y no dirigido
Un grafo en el cual toda arista es dirigida se denominará «digrafo» o bien «grafo dirigido». Un grafo dirigido o dígrafo consiste de un conjunto de vértices V y un conjunto de arcos A.
Un grafo en el cual todas las aristas son no dirigidas se denominará «grafo no dirigido». El grafo no dirigido es aquel que no tiene sentido su arista. Un grafo no dirigido G representa elementos, y una arista (v, w) representa una incompatibilidad entre los elementos v y w.
Pseudo Grafo
Un pseudografo es un grafo que está facultado para tener aristas múltiples; es decir, aristas que relacionan los mismos nodos. De esta forma, dos nodos pueden estar conectados por más de una arista. Formalmente, un multigrafo G es un par ordenado G:=(V, E) donde:
-V es un conjunto de vértices o nodos
-E es un multiconjunto de pares no ordenados de nodos, llamados aristas o líneas.
Grafos Bipartitos