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