Упорядоченный граф

Материал из WEGA

Упорядоченный граф (Ordered graph) — граф, в котором преемники любой вершины линейно упорядочены.

Литература

  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.