第6章 约束满足问题