3
使用SAT求解器（Python）查找特定区域内的游离多氨基酸的所有组合
我是SAT求解器领域的新手，并且需要有关以下问题的一些指导。 考虑到： ❶我选择了4 * 4网格中的14个相邻单元格 ❷我有5个大小分别为4、2、5、2和1的多氨基酸（A，B，C，D，E） poly这些多氨基酸是自由的，即它们的形状不固定，可以形成不同的图案 如何使用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)) …