Sea G un grafo y M la matriz de adyacencia de G.

Se suponen conocidos los

siguientes resultados de teora de grafos:
a) La entrada (i, j) de la matriz Mn es el nmero de caminos de longitud n con
extremos v y vj;
b) Supongamos que G tiene p vrtices. Sea C = Mp + Mp_1+...+ M. Existe un camino
entre v y vj si y slo s la entrada en el lugar (i j) de la matriz C no
es nula.
c) Si C es la matriz definida en b), el grafo G es conexo si slo si todas las
entradas de C son no nulas.
Con la definicin de matriz de adyacencia del problema 5 para multigrafos y
pseudografos son ciertos los resultados a), b) y c) suponiendo que G es un
multigrafo o un pseudografo?.

Para Mq se tiene que Mq1 = [0], para cualquier n, lo que corresponde al hecho de
que nunca existen caminos entre Vj y vj con longitud mayor que cero si G es un
multigrafo con un nico vrtice. Supongamos ahora que la matriz de adyacencia es
Mk. Tenemos (Mk)n=[kn]. Sean a^..., ak las m aristas
con origen y extremo el nico vrtice de G. Hay tantos caminos en G de longitud n
como n-tuplas ordenadas de las k aristas a, ..., a^, luego tal
nmero es el nmero de variaciones con repeticin de k elementos de orden n,
es decir, kn, que coincide con el valor de la nica entrada de (M^)0.

Por ser G conexo todos sus vrtices deben tener grado mayor que cero y por tanto al
menos uno de ellos debe tener grado uno, en caso contrario, de cada vrtice
saldran al menos dos aristas y as el nmero de aristas sera mayor o igual al de
vrtices. Sea v el vrtice de G con grado uno y vw la nica arista de G que tiene
por extremo a v. El grafo H = (V - {v}, E - {vw}) tiene n - 1 vrtices. Por ser G
conexo H tambin es conexo, en efecto dados dos vrtices de H, a, b, existe un
camino simple en G que los conecta, por ser dicho camino simple y ser sus extremos
a y b (diferentes ambos de v) tal camino no contiene a la arista vw y por tanto es
tambin un camino en H. Como H es conexo y tiene n-1 vrtices se trata de un rbol.

Con las anteriores consideraciones el problema se reduce a encontrar la distancia

entre dos vrtices de un digrafo. A continuacin describimos grficamente las
etapas del Algoritmo de Dijkstra aplicado al digrafo anterior para hallar la
distancia entre A y B:

Consideremos ahora un mapa M. Construyamos su pseudomultigrafo dual G^. Como el

nmero de regiones de M es igual al nmero de vrtices de G^
y el grado de cada regin coincide, por construccin de G^, con el grado del
vrtice asociado a esa regin, se tiene que la suma de los grados de las regiones
de un mapa es igual al doble del nmero de aristas del pseudomultigrafo que
representa.