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