Фактор-уграф: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
 
(не показаны 2 промежуточные версии 1 участника)
Строка 1: Строка 1:
'''Фактор-уграф''' (''[[Factor-control-flow-graph]]'') -
'''Фактор-уграф''' (''[[Factor-control-flow-graph]]'')
''[[уграф]]'' <math>G'</math>, который получается из исходного уграфа <math>G</math>
''[[уграф]]'' <math>G'</math>, который получается из исходного уграфа <math>G</math>
стягиванием некоторого непустого множества попарно
стягиванием некоторого непустого множества попарно
Строка 8: Строка 8:
конечную вершину исходного уграфа.
конечную вершину исходного уграфа.


[[Файл:Factor-control-flow-graph.gif|500px]]
[[Файл:Factor-control-flow-graph.gif|650px]]


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

Текущая версия от 22:07, 11 сентября 2019

Фактор-уграф (Factor-control-flow-graph) — уграф [math]\displaystyle{ G' }[/math], который получается из исходного уграфа [math]\displaystyle{ G }[/math] стягиванием некоторого непустого множества попарно непересекающихся альтов [math]\displaystyle{ R }[/math] в вершины (обозначается [math]\displaystyle{ G'=R(G) }[/math]). Начальной (соответственно конечной) вершиной уграфа [math]\displaystyle{ G' }[/math] является либо начальная (соответственно конечная) вершина уграфа [math]\displaystyle{ G }[/math], либо тот альт из [math]\displaystyle{ R }[/math], который содержит начальную (соответственно) конечную вершину исходного уграфа.

Factor-control-flow-graph.gif

См. также

Литература

  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.