北大公开课-人工智能基础 39 约束满足问题之问题的结构

图式方法来展示约束满足问题

将问题分解为各个独立的子问题

对于树结构的约束满足问题，可以挑选任一变量为树的根，通过拓扑变化来进行排列

树结构的约束满足问题CSP的算法逻辑

移除一个SA，得到一个连续的树结构

将复杂的树结构，分解为一个个子问题，子问题是某一个节点和相邻节点所组合的单独问题