关联约束非二元弧一致性

• Associated constraint based non-binary arc-con-sistency