Несводимый уграф
Перейти к навигации
Перейти к поиску
Несводимый уграф (Nonreducible control flow graph) — уграф, предельный уграф которого не является тривиальным. Свойство несводимости уграфа равносильно наличию в нем запрещенного подграфа.
См. также
- Аранжируемый граф,
- Одновходовый граф,
- Разборный граф,
- Регуляризуемый граф,
- Сводимый управляющий граф.
Литература
- Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.