SLS求解器学习walkSAT1

        蔡少伟老师于2011年提出了配置检查策略，简称CC（Configuration Checking）配置检查策略。变元配置是指该变元的邻居的赋值情况，将变元的邻居变元真值变化纳入对该变元的考量。在每次挑选变元时，首先检查该变元自上次被翻转后配置是否发生改变，若该配置未发生为发生变化，那么本次应该避免再次翻转该变元。蔡少伟将CC配置检查策略和子句加权以及平滑机制进行了混合，得到SWcc算法，取得了比T2009年随机算例组冠军NM算法更优的求解效果。