Python中约束满足问题的前向检查

我是AI和python的初学者,并且想了解更多,但是我偶然发现了一个愚蠢的问题。 有一个伪代码用于前向检查和使用单例传播的前向检查,都满足约束条件。该讲座来自MIT OpenCourseWare,在那里我获得了所有必要的材料。我是根据自己的意愿进行此操作的,所以每当我用完解决问题的想法时,我都会来这里寻求帮助。

基本上,有两种功能可以使用下面提供的方法来实现。还有伪代码。

Forward checking

Forward checking with singleton propagation

These are the methods to use

The functions to implement