Несводимый уграф

Материал из WEGA

Версия от 23:09, 26 ноября 2010; KVN (обсуждение | вклад) (→‎См. также)

(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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

См. также

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

Литература

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

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

Источник — http://pco.iis.nsk.su/wega/index.php?title=Несводимый_уграф&oldid=5782