有人可以提供一个简单的渠道约束示例吗？
通道约束用于组合约束问题的视点.约束编程手册很好地解释了它是如何工作的以及为什么它有用:
搜索变量可以是其中一个视点的变量,比如X1(这将在下面进一步讨论).随着搜索的进行,传播约束C1从X1中的变量的域中移除值.然后,信道约束可以允许从X2中的变量的域中移除值.使用第二模型C2的约束来传播这些值删除可以从这些变量中移除更多值,并且这些移除可以通过信道约束再次转换回第一视点.最终结果可能是在视点V1内移除的值多于仅由约束C1移除的值,导致搜索减少.
我不明白这是如何实现的.究竟是什么限制,它们在真正的问题中看起来如何？一个简单的例子非常有用.