人工智能原理-PPTP2C6-约束问题求解.pptxVIP

某某大学某某学院 某某某;2;约束问题（Constraint Problems） 是一类数学问题，表现为问题的一组变量及其约束，求解该问题时必须满足这些约束条件。 满足约束条件的所有候选解的集合称为可行集（feasible set）。 约束满足问题（Constraint Satisfaction Problems, CSPs） 约束问题亦称约束满足问题 约束满足问题是人工智能和运筹学共同的研究课题。;第6章 约束问题求解;八皇后难题（Eight queens puzzle） 数独（Sudoku） 纵横字谜（Crosswords） 算式谜（Cryptarithmetic） 不等式（Futoshiki） 数和（Kakuro, Cross sums） 逻辑谜题（Logic puzzle）;数独（Sudoku）;算式谜（Cryptarithmetic）;地图着色问题（Map coloring problem） 自动规划（Automated planning） 资源配置（Resource allocation） 作业调度（Job-shop scheduling） 等等;第6章 约束问题求解;可能世界及其约束;可能世界及其约束;?;第6章 约束问题求解;约束满足问题;约束满足问题;约束满足问题;约束满足问题;约束传播（constraint propagation） 回溯（backtrackin