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

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Строка 6: Строка 6:


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


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

Версия от 23:09, 26 ноября 2010

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

Nonreducible control flow graph.png

См. также

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

Литература

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

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