Сводимый управляющий граф: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 7: | Строка 7: | ||
* ''[[Аранжируемый граф|Аранжируемый уграф]],'' | * ''[[Аранжируемый граф|Аранжируемый уграф]],'' | ||
* ''[[Запрещенный подграф]],'' | * ''[[Запрещенный подграф]],'' | ||
* ''[[Одновходовый граф]],'' | * ''[[Одновходовый граф]],'' | ||
* ''[[Разборный граф]],'' | * ''[[Разборный граф]],'' | ||
| Строка 13: | Строка 12: | ||
==Литература== | ==Литература== | ||
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994. | * Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994. | ||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
[[Категория: Сводимые и регуляризуемые графы]] | [[Категория: Сводимые и регуляризуемые графы]] | ||
Текущая версия от 21:26, 8 октября 2019
Сводимый управляющий граф (Reducible (control) flow graph) — уграф, предельный уграф которого является тривиальным. Свойство сводимости уграфа эквивалентно свойству его регуляризуемости.
См. также
Литература
- Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.