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

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