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

Материал из WEGA
Версия от 16:32, 24 ноября 2009; Glk (обсуждение | вклад) (Создана новая страница размером '''Несводимый уграф''' (''Nonreducible control flow graph'') - ''уграф, предельный уграф'' котор...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

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

Литература

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

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