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

Материал из WikiGrapp

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

Литература

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