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

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


См. также ''Аранжируемый уграф, Одновходовый граф, Разборный граф, Регуляризуемый граф, Сводимый управляющий граф.''  
[[Файл:Nonreducible control flow graph.png|500px]]
 
==См. также==
''[[Аранжируемый уграф]], [[Одновходовый граф]], [[Разборный граф]], [[Регуляризуемый граф]], [[Сводимый управляющий граф]].''  
==Литература==
==Литература==
[Касьянов/86],  
[Касьянов/86],  


[Касьянов/88]
[Касьянов/88]

Версия от 12:44, 25 ноября 2009

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

Nonreducible control flow graph.png

См. также

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

Литература

[Касьянов/86],

[Касьянов/88]