Просмотр кода страницы Linear component

'''Linear component ''' --- линейная компонента.

A '''linear component''' of a ''cf-graph'' <math>G</math> with the initial node <math>p_0</math> and the terminal
node <math>q_0</math> is defined as a hammock <math>C</math> such that the following
properties hold:

(1) the initial and terminal (if it exists) nodes of <math>C</math> belongs to every path
in <math>G</math> from <math>p_0</math> to <math>q_0</math>,

(2) the initial node of <math>C</math> is not reachable in <math>G</math> from
the terminal node of <math>C</math>,

(3) there is no proper subfragment <math>A</math> of <math>C</math> such that <math>A</math> is a hammock and have
the first two properties.