CSP-Rules-V2.1：有限约束满足问题的基于模式的通用求解器-源码

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解决方法具有内在的联系，在我的《