能否提供一个简单的渠道约束例子？ 渠道约束用于结合约束问题的视角。《约束编程手册》对其工作原理及其有用性进行了详细的解释： 搜索变量可以是其中一个视角的变量，例如X1（这将在下面进一步讨论）。随着搜索的进行，通过传播约束C1从X1的变量域中删除值。然后，渠道约束可以允许从X2的变量域中删...