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