Несводимый уграф: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 3: | Строка 3: | ||
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]]. | равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]]. | ||
[[Файл:Nonreducible control flow graph.png| | [[Файл:Nonreducible control flow graph.png|250px]] | ||
==См. также== | ==См. также== | ||
Версия от 12:45, 25 ноября 2009
Несводимый уграф (Nonreducible control flow graph) - уграф, предельный уграф которого не является тривиальным. Свойство несводимости уграфа равносильно наличию в нем запрещенного подграфа.
См. также
Аранжируемый уграф, Одновходовый граф, Разборный граф, Регуляризуемый граф, Сводимый управляющий граф.
Литература
[Касьянов/86],
[Касьянов/88]