3
ค้นหาชุดค่าผสมของโพลีโม่ฟรีทั้งหมดภายในพื้นที่เฉพาะด้วยตัวแก้ SAT (Python)
ฉันยังใหม่ต่อโลกของนักแก้ปัญหา SAT และต้องการคำแนะนำเกี่ยวกับปัญหาต่อไปนี้ พิจารณาว่า: ❶ฉันมีเซลล์ที่อยู่ติดกันจำนวน 14 เซลล์ในตาราง 4 * 4 ❷ฉันมี 5 polyominoes (A, B, C, D, E) ขนาด 4, 2, 5, 2 และ 1 poly โพลีโม่โนเหล่านี้ไม่มีค่าเช่นรูปร่างของพวกมันไม่คงที่และสามารถสร้างรูปแบบที่แตกต่างกันได้ ฉันจะคำนวณการรวมกันที่เป็นไปได้ทั้งหมดของ 5 โพลีโม่ฟรีภายในพื้นที่ที่เลือก (เซลล์สีเทา) ด้วยตัวแก้ SAT ได้อย่างไร การยืมทั้งสองจากคำตอบที่ลึกซึ้งของ @ spinkus และเอกสาร OR-tools ฉันสามารถสร้างโค้ดตัวอย่างต่อไปนี้ (ทำงานในสมุดบันทึก Jupyter): from ortools.sat.python import cp_model import numpy as np …