Алгоритм присвоения значений переменным согласно списку условий ⇐ Python

[Anonymous]

Я надеюсь создать скрипт Python, который будет принимать список произвольных связей между произвольными переменными и присваивать им целые числа, соответствующие всем заданным сравнениям, или сообщать вам, где существует невероятная логика, если таковая имеется.
Например, ввод:

Код: Выделить всё

A > B > C >= D
D > E
C > E * 2

Вернется с D=1, C=1, B=2, A=3, E=0.
Пока A > B > C > A просто сказал бы вам, что A > B и B > A не могут быть правдой одновременно. Обратите внимание, что он должен иметь возможность распознавать те типы циклических зависимостей, которых нет у их непосредственных соседей.
Существует ли уже такой алгоритм, позволяющий сделать это с менее тривиальными наборами данных? Я сам потратил некоторое время на поиски, но не нашел ничего более близкого к тому, что ищу, чем что-то, что вроде бы могло быть полезным, но в конечном итоге оказалось неактуальным.

Подробнее здесь: https://stackoverflow.com/questions/790 ... conditions