The last of them uses the auxiliary predicate r ( x ) {\displaystyle r(x)} (" x {\displaystyle x} is reachable from 0") to prohibit the vertices that do not satisfy this condition.
Последний из них использует вспомогательный предикат r ( x ) {\displaystyle r(x)} (« x {\displaystyle x} достижимый из 0»), чтобы запретить вершины, которые не удовлетворяют этому условию.