Индуктивный граф

Индуктивный граф (Inductive graph) — орграф, в котором каждый путь [math]\displaystyle{ \mu = [x_{1}, \, x_{2}, \, \ldots ] }[/math] допускает мажоранту, т.е. если для каждого пути [math]\displaystyle{ \,\mu }[/math] существует такая вершина [math]\displaystyle{ \,z }[/math], что [math]\displaystyle{ z \geq x_{i}, \quad x_{i} \in \mu }[/math].

Литература

• Берж К. Теория графов и ее применения. — М.: Изд-во иностр. лит., 1962.