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