Каркас уграфа: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
'''Каркас уграфа''' (''[[DAG of control flow graph]]'') - такой ''[[уграф]]'' <math>K</math>, что <math>K</math> --- ''ациклический [[остов]]'' уграфа <math>G</math>, [[каркас|каркасом]] которого он является, и добавление в <math>K</math> еще одной любой [[дуга|дуги]] <math>G</math> нарушает ацикличность <math>K</math>.
'''Каркас уграфа''' (''[[DAG of control flow graph]]'') - такой ''[[уграф]]'' <math>K</math>, что <math>K</math> --- ''ациклический [[остов]]'' уграфа <math>G</math>, [[каркас|каркасом]] которого он является, и добавление в <math>K</math> еще одной любой [[дуга|дуги]] <math>G</math> нарушает ацикличность <math>K</math>.


[[Файл:DAG of control flow graph.png|500px]]
[[Файл:DAG of control flow graph.png|700px]]


Справедливы следующие свойства:
Справедливы следующие свойства:

Навигация