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