Please use the form below to provide your feedback. Because your feedback is valuable to us, the information you submit in this form is recorded in our issue tracking system (JIRA), which is publicly available. You can track the status of your feedback using the ticket number displayed in the dialog once you submit the form.

第 6 章 约束满足问题 (Constraint Satisfaction Problems)

      +
      本章主旨

      本章是 AIMA 4e 的"约束满足问题"——CSP / 回溯 / 弧相容。理解后才能掌握 AI 各子领域。

      一、核心概念

      本章围绕 3 个核心概念展开：

      概念 定义 + 重要性 实现提示

      CSP

      变量 / 域 / 约束

      §6.1

      回溯搜索

      MRV / 度 / LCV

      §6.2-6.3

      约束传播

      弧相容 / 路径相容

      §6.4-6.5

      二、本章要点

      • 约束满足问题

      • 因子化表示为一组变量，每个变量都有自己的值。当每个变量的值都满足对该变量的所有约束

      • 时，问题就解决了。以上述方式描述的问题称为约束满足问题（constraint satisfaction problem ，

      学习建议

      • AIMA 4e 是 AI 标准教材——每章配套习题巩固理解。

      • 实现关键算法（搜索 / CSP / 逻辑 / 概率 / 学习）才能真正掌握。

      • 与机器学习 / 深度学习课程结合；现代 LLM / Diffusion 改变 AI 格局。

      三、关键图表

      视觉图表

      图 {ch_num}-1
      Figure 1. 图 {ch_num}-1：{zh}总览

      四、思维导图

      mindmap
  root((第 {ch_num} 章 {zh}))
    CSP
    回溯搜索
    约束传播

      五、重点与易错点

      • CSP / 回溯 / 弧相容。

      • 配套习题：原书第 {ch_num} 章末尾。

      • 实现建议：用 Python / AIMA 代码库 (aima.cs.berkeley.edu) 实践关键算法。

      • 跨章衔接：第 5 章上下文；AI 各子领域互为基础。