Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Puesto que el digrafo tiene 5 vrtices y si entre dos vrtices existe un camino
debe existir tambin un camino simple, si existe un camino de v5 a v2
debe existir tambin un camino de longitud menor o igual a 5. Por tanto
bastar observar si la entrada (5, 2) de la matriz M + M2 + M3 + M4 + M5 es o no
nula.
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.