Прогрессивно конечный граф
Перейти к навигации
Перейти к поиску
Прогрессивно конечный граф (Progressive finite graph) - орграф, в котором не существует путей бесконечной длины, начинающихся в какой-либо вершине.
Литература
[Берж]