国科大作业考试资料-人工智能原理与算法-2024新编-第六次作业整理

1. 第6章课件中所描述的澳大利亚地图着色问题（三色）共有多少个解？ 

2. 如何通过使用辅助变量把诸如A+B=C这样的三元约束变成三个二元约束。假设值域是有限的。

– 提示：考虑引进新变量表示变量对，引进约束如“X是Y变量对中的第一个元素”

课件中的澳大利亚地图着色问题如下图所示：

例如，如果X1，X2的值域均为{A, B}，约束是二者 不能取相同值，关系可如下描述： 或 • 为求解

CSP，需要定义状态空间和解的概念 – 问题的状态由对部分或全部变量的一个赋值来定义， {Xi=vi

, Xj=vj , …} – 一个不违反任何约束条件的赋值称作相容的或者合法 的赋值 – 完整赋值是指每个变

量都已赋值，部分赋值是指只有 部分变量赋值。CSP的解是相容的、完整的赋值。

澳大利亚地图显示出每个州及边界 • 任务：为地图每个区域涂上红色、绿色或者蓝色， 要求相邻

区域颜