典型教育约束处理实例

Question

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

• 我想画一个OR树，这样这个例子就不会有那么多的变量和选项。
• 说明节点一致性，回溯，回溯，背投，弱松弛和弧一致性。(这些示例应该说明这些方法是合理的，并为约束处理增加了一些价值)。
• 易于理解和表达。(不是两页长的约束数组)。

我浏览网页已经有一段时间了，但是到目前为止，所有的例子都不符合这些特性。(我还试图简化现有的问题)。

有什么典型的例子来说明这些方法/技术吗？给出两个不同的示例并在这两个示例之间分配技术也不会是一个问题。

Answer 1

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

• 官方页面
• 问题陈述

​

​