Я пытаюсь 2X2 Sudoku (генерировать и решать) как нечто простое.Вы можете смоделировать это на коде Nqueens.В то время как 2x2 судоку решаются легко, 3x3 судоку могут застрять.Таким образом, вы можете реализовывать ходы подкачки.
Еще одна интересная проблема - это суммы сегментов.Дано 10 блоков, каждый из которых может содержать 5 номеров и 50 номеров;создайте программу для распределения чисел таким образом, чтобы сумма чисел в каждом сегменте была более или менее равномерной.
Bucket Bucket0 3 6 19 16 11 =55
Bucket Bucket1 8 2 5 25 15 =55
...
Bucket Bucket7 3 25 4 16 8 =56
Bucket Bucket8 12 20 12 9 2 =55
Bucket Bucket9 4 9 11 12 20 =56
Это имеет практические последствия, например, равномерное распределение задач различной прочности в течение недели.
Сборник некоторых задач: http://eclipseclp.org/examples/index.html