Существование перестановки, удовлетворяющей ограничениям порядка
Я хотел бы знать, существует ли простой алгоритм проверки существования перестановки, которая удовлетворяет ряду ограничений порядка.
Например, предположим, что у нас есть набор (1, 2, 3, 4, 5) и ряд ограничений:
- 1 должно быть раньше 2
- 2 должно быть до 4
- 4 должно быть раньше 1 (что, конечно, невозможно).
Существует ли простой алгоритм проверки выполнимости ограничений порядка? (что не зависит от lp-solvers)?