Линейная компонента: различия между версиями

'''Линейная компонента''' (''[[Linear component]]'') - ''[[гамак]]'' <math>C</math> [[управляющий граф|управляющего графа]] <math>G</math>, обладающий следующими

свойствами: [[начальная вершина|начальная]] и [[конечная вершина|конечная]] (если она есть) [[вершина|вершины]] <math>C</math> принадлежат каждому [[путь|пути]] из [[вход|входа]] <math>G</math> в его [[выход]]; из конечной вершины гамака <math>C</math> не [[достижимость|достижима]] в <math>G</math> начальная вершина гамака <math>C</math>; <math>C</math> не

содержит собственного [[подграф|подграфа]], который был бы гамаком и обладал