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