Индуктивный граф: различия между версиями

'''Индуктивный граф''' (''[[Inductive graph]]'') - [[орграф]], в котором каждый [[путь]] <math>\mu = [x_{1}, \, x_{2}, \, \ldots ]</math> допускает мажоранту, т.е.  если для каждого пути

<math>\mu</math> существует такая [[вершина]] <math>z</math>, что <math>z \geq x_{i}, \quad x_{i} \in \mu</math>.