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

Материал из WikiGrapp
Перейти к:навигация, поиск

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

Литература

[Берж]