{"schema_version":"1.0","language":"zh-CN","generated_from":"NEWVAR 从零开始学AI structured Markdown","write_access":false,"full_text_access":false,"content_boundary":"This endpoint exposes metadata, objectives, prerequisites, labs and source summaries. It does not expose chapter body text or answer text.","chapter":{"slug":"csp-and-sat","title":"约束满足、回溯与SAT","english_title":"Constraint satisfaction and SAT","chapter_number":27,"volume":2,"volume_title":"第二卷：经典AI与机器学习","month":7,"unit_title":"搜索、约束与规划","review_status":"draft","updated_at":"2026-08-06","estimated_hours":8,"focus":"把变量、值域、约束和传播分开，利用顺序与剪枝缩小组合爆炸。","objectives":["把变量、值域、约束和传播分开，利用顺序与剪枝缩小组合爆炸。","解释核心数学关系并完成最小实现","运行单变量实验并记录失败样例","完成工程线或研究线至少一项迁移任务"],"prerequisites":["heuristics-and-astar"],"exercise_count":3,"tracks":["engineering","research"],"human_url":"/learn/csp-and-sat"},"labs":[{"id":"lab-csp-and-sat","chapter_slug":"csp-and-sat","title":"约束满足、回溯与SAT：单变量实验","kind":"constraint_density","data_status":"教学模拟","variable":{"label":"约束密度","unit":"%","min":0,"max":100,"step":5,"default":40},"objective":"只改变“约束密度”，观察结果、代价和风险如何一起变化，理解把变量、值域、约束和传播分开，利用顺序与剪枝缩小组合爆炸。","static_fallback":"静态替代：把约束密度分别设为0%、40%和100%，手工比较三组教学模拟输出。","keyboard":"聚焦滑块后使用方向键微调，Page Up/Page Down大步调整，Home/End到达边界。","measurement_note":"页面数值由公开公式生成，只用于教学，不代表真实模型性能或现实世界因果效果。","source_ids":["S016","S017"]}],"project":{"id":"project-07","month":7,"title":"实现一个校园路线与排课求解器","brief":"分别用图搜索和约束求解处理路径与排课，比较正确性、代价和扩展节点数。","deliverables":["问题与边界说明","可运行最小实现","实验记录与失败分析","来源与许可清单","风险、隐私与人工闸门","复现README"]},"sources":[{"id":"S016","author":"Stuart Russell, Peter Norvig","title":"Artificial Intelligence: A Modern Approach","source_level":"经典教材官方站","published_at":"持续更新","accessed_at":"2026-08-06","doi_or_url":"https://aima.cs.berkeley.edu/"},{"id":"S017","author":"Stanford University","title":"CS221: Artificial Intelligence","source_level":"大学课程一手资料","published_at":"持续更新","accessed_at":"2026-08-06","doi_or_url":"https://stanford-cs221.github.io/"}]}