Несводимый уграф: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Несводимый уграф''' (''[[Nonreducible control flow graph]]'') - | '''Несводимый уграф''' (''[[Nonreducible control flow graph]]'') - | ||
''[[уграф]], [[предельный | ''[[уграф]], [[предельный граф|предельный]] уграф'' которого не является ''[[тривиальный граф|тривиальным]]''. Свойство несводимости уграфа | ||
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]]. | равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]]. | ||
Версия от 11:32, 11 июня 2010
Несводимый уграф (Nonreducible control flow graph) - уграф, предельный уграф которого не является тривиальным. Свойство несводимости уграфа равносильно наличию в нем запрещенного подграфа.
См. также
Аранжируемый уграф, Одновходовый граф, Разборный граф, Регуляризуемый граф, Сводимый управляющий граф.
Литература
[Касьянов/86],
[Касьянов/88]