Прогрессивно ограниченный граф

Прогрессивно ограниченный граф (Progressive bounded graph) - орграф такой, что для некоторого целого числа [math]\displaystyle{ m }[/math] длины всех путей, начинающихся в любой вершине, не превосходят [math]\displaystyle{ m }[/math].