Hablamos siempre de grafos dirigidos. Un vértice vi alcanza a otro vj si existe un camino que vaya desde vi ahasta vj, entonces vj es accesible desde vi.
Matriz de accesibilidad
En la matriz cuadrada R, rij vale 0 si vi no alcanza a vj y vale 1 si vj es accesible desde vi. La diagonal principal siempre es de unos, ya que todo vértice es accesible desde sí mismo.
El conjunto R(vi) esta formado por los vértices accesibles desde vi. Estará formado por él mismo, sus vértices adyacentes, Γ(vi), y los adyacentes a estos Γ2(vi)… hasta Γp(vi), donde ya no se aporten vértices nuevos a la siguiente iteración.
Matriz de acceso
Q es la transpuesta de la matriz de accesibilidad (R), por lo que el elemento qij vale 0 si vi no es alcanzado desde vj y vale 1 si vi es accesible desde vj.
El conjunto Q(vi) lo forman los vértices que alcanzan a vi. Estará formado por él mismo, los vertices que son extremo inicial de los aros incidentes con él, Γ-1(vi), y los respectivos a estos Γ-2(vi)… hasta Γ-p(vi).