3
SATソルバー（Python）を使用して、特定の領域内の自由なポリオミノのすべての組み合わせを見つける
私はSATソルバーの世界に不慣れで、次の問題についていくつかのガイダンスが必要になります。 それを考慮して： ❶4×4のグリッドに隣接する14個のセルを選択している ❷ サイズが4、2、5、2、1の5つのポリオミノ（A、B、C、D、E）があります ❸これらのポリオミノは無料です。つまり、その形状は固定されておらず、さまざまなパターンを形成できます。 SATソルバーを使用して、選択した領域（灰色のセル）内のこれら5つの遊離ポリオミノの可能なすべての組み合わせをどのように計算できますか？ @spinkusの洞察に満ちた答えとORツールのドキュメントの両方を借りて、次のサンプルコードを作成できます（Jupyter Notebookで実行）。 from ortools.sat.python import cp_model import numpy as np import more_itertools as mit import matplotlib.pyplot as plt %matplotlib inline W, H = 4, 4 #Dimensions of grid sizes = (4, 2, 5, 2, 1) #Size of each polyomino labels = np.arange(len(sizes)) #Label …