1180
правок
Каркас уграфа: различия между версиями
Перейти к навигации
Перейти к поиску
→Литература
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
'''Каркас уграфа''' (''[[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>. | '''Каркас уграфа''' (''[[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>. | ||
[[Файл:DAG of control flow graph.png|700px]] | [[Файл:DAG of control flow graph.png|700px]] | ||
| Строка 19: | Строка 19: | ||
[[Категория: Сводимые и регуляризуемые графы]] | [[Категория:Сводимые и регуляризуемые графы]] | ||
[[Категория:Потоковый анализ программ]] | |||
[[Категория:Преобразование программ]] | |||
[[Категория:Основные термины]] | |||