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

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Несводимый уграф''' (''Nonreducible control flow graph'') - ''уграф, предельный уграф'' котор...)
 
Нет описания правки
 
(не показано 5 промежуточных версий 2 участников)
Строка 1: Строка 1:
'''Несводимый уграф''' (''Nonreducible control flow graph'') -
'''Несводимый уграф''' (''[[Nonreducible control flow graph]]'')
''уграф, предельный уграф'' которого не является ''тривиальным''. Свойство несводимости уграфа
''[[уграф]], [[предельный граф|предельный]] уграф'' которого не является ''[[тривиальный граф|тривиальным]]''. Свойство несводимости уграфа
равносильно наличию в нем запрещенного подграфа.
равносильно наличию в нем [[запрещенный подграф|запрещенного подграфа]].
 
[[Файл:Nonreducible control flow graph.png|250px]]
 
==См. также==
* ''[[Аранжируемый граф]],''
* ''[[Одновходовый граф]],''
* ''[[Разборный граф]],''
* ''[[Регуляризуемый граф]],''
* ''[[Сводимый управляющий граф]].''


См. также ''Аранжируемый уграф, Одновходовый граф, Разборный граф, Регуляризуемый граф, Сводимый управляющий граф.''
==Литература==
==Литература==
[Касьянов/86],  
* Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986.
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.


[Касьянов/88]
[[Категория: Сводимые и регуляризуемые графы]]

Текущая версия от 21:26, 8 октября 2019

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

Nonreducible control flow graph.png

См. также

Литература

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