Несводимый уграф: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Несводимый уграф''' (''[[Nonreducible control flow graph]]'') | '''Несводимый уграф''' (''[[Nonreducible control flow graph]]'') — | ||
''[[уграф]], [[предельный граф|предельный]] уграф'' которого не является ''[[тривиальный граф|тривиальным]]''. Свойство несводимости уграфа | ''[[уграф]], [[предельный граф|предельный]] уграф'' которого не является ''[[тривиальный граф|тривиальным]]''. Свойство несводимости уграфа | ||
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]]. | равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]]. | ||
| Строка 6: | Строка 6: | ||
==См. также== | ==См. также== | ||
''[[Аранжируемый граф]], [[Одновходовый граф]], [[Разборный граф]], [[Регуляризуемый граф]], [[Сводимый управляющий граф]].'' | * ''[[Аранжируемый граф]],'' | ||
* ''[[Одновходовый граф]],'' | |||
* ''[[Разборный граф]],'' | |||
* ''[[Регуляризуемый граф]],'' | |||
* ''[[Сводимый управляющий граф]].'' | |||
==Литература== | ==Литература== | ||
* Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986. | |||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | |||
Версия от 12:08, 19 мая 2011
Несводимый уграф (Nonreducible control flow graph) — уграф, предельный уграф которого не является тривиальным. Свойство несводимости уграфа равносильно наличию в нем запрещенного подграфа.
См. также
- Аранжируемый граф,
- Одновходовый граф,
- Разборный граф,
- Регуляризуемый граф,
- Сводимый управляющий граф.
Литература
- Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.