Clase PAP 2017 Melanie https://git.exactas.uba.ar/ltaravilse/pap-alumnos/blob/master/clases/clase03-grafos/grafos.pdf

Un grafo es un conjunto de objetos, llamados vértices o nodos, unidos mediantes líneas llamadas aristas. Se los usa para representar muchas cosas, por ejemplo en arquitectura, los nodos pueden representar habitaciones o espacios, y las aristas pueden significar que los espacios unidos comparten una pared.

También se los usa para analizar redes, donde los nodos son computadores y una arista representa que las computadoras que une están conectadas.

Se los usa para entender y analizar muchíisimas cosas en la vida real, y hay muchos problemas de programación que ilustran situaciones posiblemente reales para los cuales usaremos grafos.

Los grafos sirven para representar relaciones entre distintas “cosas”. Esas “cosas”, nuestros nodos, pueden ser cualquier cosa, comidas, personas, ciudades... y hasta puede haber algunos nodos que representen un tipo de cosa, y otros nodos que representen otro tipo, por ejemplo nodos que representen personas, y otros que representen comidas, y que la relación sea “a la persona $A$ le gusta la comida $B$”. Las relaciones las representamos con aristas. Hay veces que además de saber que dos nodos están relacionados, nos importa cómo. Las aristas pueden tener un número que indique su distancia por ejemplo, indicando qué tan lejos están esos nodos. También podrían estar orientadas, es decir que no sea sólo una línea, sino una flecha. Esto podría indicar por ejemplo que desde la esquina $A$ se puede llegar a la $B$ a través de una arista, que sería la calle, pero si es de una sola mano no podemos ir a través de ella de $B$ a $A$, entonces indicamos ese tipo de relación con una flecha.

Estos son algunos ejemplos de grafos:

La definición formal dice que un grafo $G$ es un par ordenado $(V, E)$ donde $V$ es un conjunto de nodos, y $E$ es un conjunto de aristas o arcos que unen esos nodos.

Algo muy importante es cómo guardar un grafo en la computadora. En una hoja es fácil, lo dibujamos y listo. Pero y en la compu?

Existen varias maneras de guardar la información de un grafo en la computadora. Las que vamos a ver a continuación son las más populares:

La matriz de adyacencia es una matriz de $n$ x $n$, donde $n$ es la cantidad de nodos, que en la posición $j$ de la fila $i$, guarda la información de la arista que conecta al nodo $i$ con el nodo $j$. Es importante notar que deberemos saber cuál es el nodo $i$, y cuál el nodo $j$, es decir, debemos asignar números a nuestros nodos para manejarlos mejor.

Entonces, si las aristas del grafo no tienen información, y lo importante es si la arista existe (si el nodo $i$ está unido al $j$), podemos guardar un $1$ si la arista existe, y un $0$. Por ejemplo así:

Si las aristas tuvieran longitud supongamos positiva, en vez de unos y ceros, podríamos guardar el valor de la longitud cuando la arista exista, y un $0$ si no existe. Si las aristas pueden tomar por ejemplo cualquier valor entre $-1000$ y $1000$, basta con asignar por ejemplo el número $1001$ cuando la arista no existe, y así con un $if$ saber si existe o no (dependiendo de si vale $1001$ o no).

Se implementa con un vector de 2 dimensiones, $vector< vector<int> > matriz(n, vector<int>(n))$ que en matriz[i][j] hay un $1$ si el nodo $i$ está unido al $j$, y un $0$ si no (en el primer caso). También podría ser de $boolean$ en vez de $int$ y guardar true/false.

Ventaja: Permite saber si hay o no (o cuánto mide) una arista entre dos nodos en $O(1)$. Desventaja: La complejidad espacial y temporal para almacenar la matriz es $O(n^2)$.

Para cada nodo, vamos a guardar una lista con los nodos unidos a él. Si las aristas tuvieran longitud, podemos guardar en vez de los números de nodos, pares de enteros, que indiquen el nodo unido y la longitud de la arista que los une.

Se implementa también como un vector de 2 dimensiones, $vector< vector<int> > grafo(n)$, que en el vector $grafo[i]$ están todos los nodos que están unidos al nodo $i$ a través de aristas.

Ventaja importante: La complejidad especial es $O(n+m)$! Tenemos $n$ listas, pero en ellas aparecen exactamente todos los nodos entre los cuales hay aristas. Con la matriz de adyacencia también guardábamos información si no había arista, ahora si no hay arista simplemente no aparecen en la lista. Desventaja: Saber si exista una arista entre $i$ y $j$ implica recorrer toda la lista de $i$ y ver si está $j$, cuya complejidad es $O(n)$.

Porque lo que más vamos a querer hacer es recorrer un grafo, entonces más que saber si existe una arista entre dos, querríamos “movernos a través de ella”.

Links a BFS y DFS

[Hay que completar todo]