算法基础-约束规则应用