Como en el grafo Kr cada par de vrtices estn unidos por una arista, la matriz de

adyacencia de Kres (aj) donde a = 0 y ay = 1, si i * j.

En la matriz de adyacencia de un grafo el grado del vrtice i-simo se lee sobre la
matriz sumando los elementos de la fila i-sima o bien sumando los elementos de la
columna i-sima. Puesto que la matriz de adyacencia de un grafo es simtrica el
resultado con ambos mtodos es el mismo. Un grafo es r-regular si cada vrtice
tiene grado r, por tanto la caracterizacin en trminos matriciales es que la suma
de las entradas de cada fila (o equivalentemente la suma de las entradas de cada
columna) sea r.

Sean {uj, u2, U3, u4} los vrtices de G y {vj, v2, v3, v4} los vrtices de H.
La figura sugiere la siguiente biyeccin entre los conjuntos de vrtices para
conseguir el isomorfismo pedido: f(uj) = v j, f(u2) = v3, f(u3) = v2, f(u4) = v4.
Es fcil comprobar que f es un isomorfismo del grafo G al H. Obsrvese que f cambia
el segundo vrtice de G por el tercero de H y el tercero de G por el segundo de H.
Por tanto H se obtiene de G cambiando el segundo vrtice por el tercero y el
tercero por el segundo, por lo tanto la matriz B se obtiene a partir de la matriz A
permutando la segunda columna por la tercera y la tercera por la segunda columna y
despus cambiando del mismo modo las filas:

ecprocamente supongamos que G y H son dos grafos de modo que las matrices de
adyacencia respectivas, A y B, verifican el criterio anterior. Sean como antes
{u^,..., un} el conjunto de vrtices de G y {vjvn} el conjunto
de vrtices de H. Sea f la biyeccin que relaciona las matrices A y B y g la
biyeccin de {uj,..., un} en {Vjvn) definida del siguiente modo: g(u) = vj
si f(i)=j. Es sencillo comprobar que g define un isomorfismo entre los grafos Gy H.

Como la entrada (5,2) es no nula se tiene que existen caminos de v5 a v2.

Sin utilizar la matriz de adyacencia basta observar el grafo para encontrar el
camino (v5, vj, v2) de v5 a v2. Sin embargo la matriz anterior tambin nos
informa de que hay exactamente un camino de longitud menor que cinco de v5 a v2*