Определение матриц ограниченных достижимостей

И ограниченных обратных достижимостей с помощью

Прямых и обратных отображений

Матрицы достижимостей и обратных достижимостей, определяемые в п.2.2.2, являются полными в том смысле, что на длины путей от x_i и x_j не накладывались никакие ограничения. С другой стороны, можно определить матрицы ограниченных достижимостей и обратных достижимостей – надо потребовать, чтобы длины путей не превышали некоторого заданного числа. Эти матрицы также могут быть построены с помощью соотношений (2.5) и (2.6) – надо действовать точно так, как раньше, при нахождении «неограниченных» матриц, но теперь р будет верхней границей допустимых путей.

Определение матриц достижимостей и обратных