我正在写一门描述人工智能几个主题的课程。目前我正在研究“约束处理”部分。为了说明约束处理，我想举一个简单的例子。这个例子应该具有以下品质：
- 我想画一个 OR-tree 所以这个例子不能有那么多的变量和选项
- 说明节点一致性、回溯、回跳、回标、弱松弛和弧一致性。（这些例子应该说明这些方法是有意义的，并为约束处理增加了一些价值）。
- 易于理解和表示。（不是两页长的约束数组）。
我已经浏览了一段时间的网络，但现在所有的例子都不符合这些品质。（我也试图简化现有的问题）。
有没有典型的例子来说明这些方法/技术？给出两个不同的示例并在这两个示例之间分配技术也不是问题。
