典型的教育约束处理实例

Question

我正在写一门描述人工智能主题的课程。目前我正在研究“约束处理”部分。为了说明约束处理，我想包括一个简单的例子。这个例子应该具有以下特质：

• 我想绘制一个OR树，因此该示例不能包含那么多变量和选项
• 说明节点一致性，回溯，回跳，加标记，弱松弛和弧一致性。 （这些例子应该说明这些方法是有意义的，并为约束处理增加了一些价值）。
• 易于理解和代表。 （不是两页长的约束）。

我浏览网页已有一段时间了，但现在所有的例子都不符合这些品质。 （我也试图简化现有问题）。

是否有任何典型的例子来说明这些方法/技巧？给出两个不同的例子并在这两个例子之间分配技术也不是问题。

Answer 1

旅游锦标赛问题可能符合您的一些要求。它很难NP并且没有太多变量和选项：

• Official page

• Problem statement