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

Материал из WikiGrapp
Версия от 21:59, 11 сентября 2019; KVN (обсуждение | вклад) (→‎Литература)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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

Nonreducible control flow graph.png

См. также

Литература

  • Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986.
  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.