我正在编写一门课程，介绍人工智能的几个主题。目前我正在研究“约束处理”部分。为了说明约束处理，我想包含一个简单的例子。这个例子应该具有以下特点：
- 我想绘制一棵 OR 树，所以这个例子不能有太多的变量和选项。
- 说明节点一致性、回溯、跳回溯、回溯标记、弱松弛和弧一致性。（这些例子应该说明这些方法是有意义的，并且为约束处理增加了一些价值）。
- 易于理解和表示。（不是两页长的约束数组）。
我已经浏览网络一段时间了，但是到目前为止所有的例子都不符合这些要求。（我也尝试简化现有问题）。
有没有什么典型的例子可以说明这些方法/技术？给出两个不同的例子并在这些例子之间分配这些技术也不成问题。
回答：
旅行锦标赛问题可能符合您的一些要求。它是 NP 难问题，并且没有太多的变量和选项：
