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