Фактор-уграф: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Фактор-уграф''' (''Factor-control-flow-graph'') - ''уграф'' <math>G'</math>, который получается из ...) |
KVN (обсуждение | вклад) |
||
| (не показаны 4 промежуточные версии 1 участника) | |||
| Строка 1: | Строка 1: | ||
'''Фактор-уграф''' (''Factor-control-flow-graph'') | '''Фактор-уграф''' (''[[Factor-control-flow-graph]]'') — | ||
''уграф'' <math>G'</math>, который получается из исходного уграфа <math>G</math> | ''[[уграф]]'' <math>G'</math>, который получается из исходного уграфа <math>G</math> | ||
стягиванием некоторого непустого множества попарно | стягиванием некоторого непустого множества попарно | ||
непересекающихся ''альтов'' <math>R</math> в вершины (обозначается <math>G'=R(G)</math>). | непересекающихся ''[[альт|альтов]]'' <math>R</math> в [[вершина|вершины]] (обозначается <math>G'=R(G)</math>). | ||
''Начальной'' (соответственно ''конечной'') вершиной уграфа <math>G'</math> является | ''[[Начальная вершина|Начальной]]'' (соответственно ''[[конечная вершина|конечной]]'') вершиной уграфа <math>G'</math> является | ||
либо начальная (соответственно конечная) вершина уграфа <math>G</math>, либо | либо начальная (соответственно конечная) вершина уграфа <math>G</math>, либо | ||
тот альт из <math>R</math>, который содержит начальную (соответственно) | тот альт из <math>R</math>, который содержит начальную (соответственно) | ||
конечную вершину исходного уграфа. | конечную вершину исходного уграфа. | ||
См. также ''Гамачное представление, Зонно-интервальное представление, Иерархия вложенных альтов, Иерархия вложенных зон.'' | [[Файл:Factor-control-flow-graph.gif|650px]] | ||
==См. также== | |||
* ''[[Гамачное представление]],'' | |||
* ''[[Зонно-интервальное представление]],'' | |||
* ''[[Иерархия вложенных альтов]],'' | |||
* ''[[Иерархия вложенных зон]].'' | |||
==Литература== | ==Литература== | ||
[ | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 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], который содержит начальную (соответственно) конечную вершину исходного уграфа.
См. также
- Гамачное представление,
- Зонно-интервальное представление,
- Иерархия вложенных альтов,
- Иерархия вложенных зон.
Литература
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.