1CSP变量、域与约束建模
闭卷重建CSP变量、域与约束建模的对象、公式、算例、算法与失败边界。
人工智能基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2回溯搜索
闭卷重建回溯搜索的对象、公式、算例、算法与失败边界。
3前向检查
闭卷重建前向检查的对象、公式、算例、算法与失败边界。
4弧一致与AC-3
闭卷重建弧一致与AC-3的对象、公式、算例、算法与失败边界。
5MRV、Degree与LCV
闭卷重建MRV、Degree与LCV的对象、公式、算例、算法与失败边界。
6局部搜索与Min-Conflicts
闭卷重建局部搜索与Min-Conflicts的对象、公式、算例、算法与失败边界。
7调度、软约束与可满足性证据
闭卷重建调度、软约束与可满足性证据的对象、公式、算例、算法与失败边界。
第 1 页 · 背面（答案）
对象：回溯一次赋一个变量，冲突立即撤销，空间远小于完整生成所有赋值。；公式：search depth=|X|。；算例：3变量各2值，最坏叶8；若首约束剪半只需考察4叶。；边界：撤销不完整污染兄弟分支；到叶才检查约束。。
对象：约束满足问题由变量、各自域和允许组合组成，目标是满足全部硬约束。；公式：CSP=(X,D,C)。；算例：X,Y域{1,2}且X≠Y，共有(1,2),(2,1)两解。；边界：把优化偏好写成硬约束导致无解；漏掉全局约束。。
对象：弧(Xi,Xj)一致指Xi每个值在Xj中有支持；删值后重排相关弧。；公式：∀x∈D_i,∃y∈D_j:C_ij(x,y)。；算例：Xi={1,2},Xj={2}且Xi<Xj，值2无支持删掉，只余1。；边界：把有向弧当无向只检查一次；删除时迭代容器。。
对象：赋值后删除未赋变量域中不相容值，任一域空立即回溯。；公式：D_j←{v∈D_j:C_ij(a_i,v)}。；算例：X=1且X≠Y，Y域{1,2,3}删1后余2个值。；边界：只删直接邻居后声称弧一致；回溯未恢复域。。
对象：完整赋值上反复选择冲突变量并改成冲突最少值，适合大规模近可满足问题。；公式：v*=argmin_v conflicts(X_i=v)。；算例：候选冲突数3、1、2，选择第二个，冲突降到1。；边界：只跑一次后将停滞当无解；随机数不可复现。。
对象：MRV先选剩余值最少变量，degree破平局；LCV先尝试排除邻居最少的值。；公式：MRV=argmin_i |D_i|。；算例：域大小A=3,B=1,C=2，先选B。；边界：用初始域大小不更新；LCV计算包含已赋变量。。
对象：真实排课含先后、资源、容量硬约束和偏好软成本；需区分无解证明与未找到。；公式：min Σw_k violation_k subject to hard C。；算例：两个软违约权重3和5，仅违反前者成本3。；边界：把超时称为无解；软约束惩罚压过硬规则。。