【人工智能】CSP约束满足问题、回溯搜索、最少剩余值MRV、度启发式、最少约束值启发式

约束满足问题 CSP

• 标准搜索问题：
  • 状态是一个“黑匣子”——任何支持目标测试、评估、后续的旧数据结构
• CSP:
  • 状态由变量Xi和(值域)Di域中的值定义
  • 目标测试是一组约束条件，每个约束包括一些变量的子集，并指定这些子集的值之间允许进行的合并

示例：地图着色

• 变量WA、NT、Q、NSW、V、SA、T
  域Di=｛红、绿、蓝｝
  限制：相邻区域必须有不同的颜色
• 原始图：
• 一种解决方案：解决方案是满足所有约束的分配，例如{WA=red, NT =green, Q=red, NSW =green, V =red, SA=blue, T =green}

约束图

• 二进制CSP：每个约束与两个变量相关
• 约束图：节点是变量，圆弧是约束