Pytania oznaczone «constraint-programming»

Rozwiązywanie problemu „Kto jest właścicielem Zebry”?

Edycja: ta łamigłówka jest również znana jako „Zagadka Einsteina” Kto jest właścicielem Zebra (można spróbować wersji online tutaj ) jest przykładem klasycznego zestawu zagadek i założę się, że większość ludzi na przepełnienie stosu można go rozwiązać za pomocą pióra i papieru. Ale jak wyglądałoby...

Znajdowanie wszystkich kombinacji wolnych poliominoów w określonym obszarze za pomocą SAT-solvera (Python)

Jestem nowy w świecie solverów SAT i potrzebuję wskazówek dotyczących następującego problemu. Biorąc pod uwagę, że: ❶ Mam wybór 14 sąsiadujących komórek w siatce 4 * 4 ❷ Mam 5 poliominoów (A, B, C, D, E) o rozmiarach 4, 2, 5, 2 i 1 Poly te poliominoes są wolne , tzn. Ich kształt nie jest...