Вопросы с тегом «constraint-programming»

Решение «Кому принадлежит зебра» программным способом?

Изменить: эта головоломка также известна как «Загадка Эйнштейна». Кто владеет Зебра (вы можете попробовать онлайн - версию здесь ) является примером классического набора головоломок , и я держал пари , что большинство людей на переполнение стека может решить с ручкой и бумагой. Но как могло бы...

Поиск всех комбинаций свободных полиомино в определенной области с помощью SAT-решателя (Python)

Я новичок в мире решателей SAT, и мне нужно некоторое руководство по следующей проблеме. Учитывая, что: ❶ У меня есть выбор из 14 соседних ячеек в сетке 4 * 4 ❷ У меня 5 полиомино (A, B, C, D, E) размеров 4, 2, 5, 2 и 1 Poly эти полиомино являются свободными , то есть их форма не является...