Несводимый уграф: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 3: Строка 3:
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]].
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]].


[[Файл:Nonreducible control flow graph.png|500px]]
[[Файл:Nonreducible control flow graph.png|250px]]


==См. также==
==См. также==

Версия от 12:45, 25 ноября 2009

Несводимый уграф (Nonreducible control flow graph) - уграф, предельный уграф которого не является тривиальным. Свойство несводимости уграфа равносильно наличию в нем запрещенного подграфа.

Nonreducible control flow graph.png

См. также

Аранжируемый уграф, Одновходовый граф, Разборный граф, Регуляризуемый граф, Сводимый управляющий граф.

Литература

[Касьянов/86],

[Касьянов/88]