CSP规则V2.1
基于模式的有限约束满足问题的通用求解器
1.什么是CSP规则?
有限的二进制约束满足问题(CSP)由一组有限的变量(以下称为CSP变量)定义,每个变量都具有一个有限的域。 问题是要为每个变量在其域中找到一个值,以使这些值满足一组预定义的二进制约束。 一个典型的流行例子是数独。 CSP-Rules是有限二进制CSP的基于常规模式(或基于规则)的求解器。 它包括拉丁方求解器,数独求解器,Futoshiki求解器,Kakuro求解器,地图着色问题的求解器,Hidato求解器,Numbrix求解器和Slitherlink求解器。
2.解决CSP的[PBCS]或CSP-Rules方法
在CSP-Rules方法中,将CSP-Variable的可能值称为候选者,并且通过两个候选者之间的直接矛盾链接(或简称为链接)来表示二进制约束。 CSP规则与CSP解决方法具有内在的联系,在我的《
1