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解决方法具有内在的联系，在我的《
2021-12-04 16:40:04
22.64MB
1