Аноним

Несводимый уграф: различия между версиями

Материал из WEGA
нет описания правки
Нет описания правки
Строка 1: Строка 1:
'''Несводимый уграф''' (''[[Nonreducible control flow graph]]'') -
'''Несводимый уграф''' (''[[Nonreducible control flow graph]]'')
''[[уграф]], [[предельный граф|предельный]] уграф'' которого не является ''[[тривиальный граф|тривиальным]]''. Свойство несводимости уграфа
''[[уграф]], [[предельный граф|предельный]] уграф'' которого не является ''[[тривиальный граф|тривиальным]]''. Свойство несводимости уграфа
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]].
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]].
Строка 6: Строка 6:


==См. также==
==См. также==
''[[Аранжируемый граф]], [[Одновходовый граф]], [[Разборный граф]], [[Регуляризуемый граф]], [[Сводимый управляющий граф]].''
* ''[[Аранжируемый граф]],''
* ''[[Одновходовый граф]],''
* ''[[Разборный граф]],''
* ''[[Регуляризуемый граф]],''
* ''[[Сводимый управляющий граф]].''


==Литература==
==Литература==
[Касьянов/86],  
* Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986.
 
[Касьянов/88]
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.