Матрица контрадостижимостей

Матрица контрадостижимостей (Reaching matrix) - (0,1)-матрица [math]\displaystyle{ Q(G) }[/math], [math]\displaystyle{ (i,j) }[/math]-й элемент которой равен 1, если из вершины [math]\displaystyle{ v_{j} }[/math] можно достичь вершину [math]\displaystyle{ v_{i} }[/math] и равен 0 в противном случае.

Другое название --- Матрица обратных достижимостей.