邏輯推斷與約束排序

由一組規則決定唯一排序或分配的謎題；通過系統排除、反證與分類討論求解。