Множества равенств и неравенств проблема выполнимости ограничения

Question

Я относительно новичок в CSP и пытаюсь найти значение всех переменных из соответствующих доменов, основываясь на ограничениях ==,>, <и! =, Наложенных между переменными.Я посмотрел на Чоко и Джейкопа, но не мог узнать больше о решении подобных проблем.Не могли бы вы указать мне, где я могу найти реализацию этого примера?Я решил это с помощью Пролога, но я хочу использовать ООП, чтобы сделать это. </p>

Спасибо.

Answer 1

Тип проблемы, которую вы описываете, является прямым описанием проблемы программирования с ограничениями, учитывая, что переменные имеют конечные области, которые могут быть отображены в целые числа.

Во всех системах CP есть операторы, необходимые для работы над конечными целыми числами домена, поэтому это должно быть просто.

Если вы пытаетесь найти переменные с неограниченными доменами или реальными доменами, то есть некоторые инструменты, которые могут вам помочь, но они не так распространены.