一,引言 这项任务的目的是设计一个CSP或约束满足问题,通过参考课堂上看到的情感分析模型来建模一个众所周知的问题:数独游戏。 二。 CSP的定义和功能 ·定义约束满足问题(CSP)是一种数学问题,其中人们寻求满足一定数量的约束或条件的状态或对象,它们是约束编程的核心,提供了问题建模语言和计算机工具来解决这些问题的领域。 用于解决约束满足问题的算法包括约束传播算法,追溯(及其非时序演化),约束学习和最小冲突算法。 •Sudoku中的操作在Sudoku中,我们选择要处理的单元格(第一个没有值的单元格,或最小值的单元格)。 只要此单元格具有可能的值,我们就会执行以下操作:我们从可能值的列表中选择一个值(第一个可用或具有最大约束数量的值)。 如果所考虑单元的对等点之一尚未获取此值,则我们将在修改后的Sudoku上重新启动回溯搜索,如下所示:从对等点的可能值列表中删除,分配的值是约束。 更新单元格