Упорядоченный граф
Перейти к навигации
Перейти к поиску
Упорядоченный граф (Ordered graph) — граф, в котором преемники любой вершины линейно упорядочены.
Литература
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.