逻辑推断与约束排序

由一组规则决定唯一排序或分配的谜题；通过系统排除、反证与分类讨论求解。