4624
правки
Фактор-уграф: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Фактор-уграф''' (''Factor-control-flow-graph'') - ''уграф'' <math>G'</math>, который получается из ...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 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>, который содержит начальную (соответственно) | ||
конечную вершину исходного уграфа. | конечную вершину исходного уграфа. | ||
См. также ''Гамачное представление, Зонно-интервальное представление, Иерархия вложенных альтов, Иерархия вложенных зон.'' | ==См. также== | ||
''[[Гамачное представление]], [[Зонно-интервальное представление]], [[Иерархия вложенных альтов]], [[Иерархия вложенных зон]].'' | |||
==Литература== | ==Литература== | ||
[Касьянов/88] | [Касьянов/88] | ||