1303
правки
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.  | |||
[  | [[Категория: Сводимые и регуляризуемые графы]]  | ||