Dancing Links 本周的AI引论作业布置了一道数独 加了奇怪剪枝仍然TLE的Candy?不得不去学了dlx dlxnb! Exact cover 设全集X,X的若干子集的集合为S.精确覆盖是指,选择一个S的子集S',满足X中的每一个元素在S'中恰好出现一次. 是一个NPC问题. 可以表示成01矩阵形式,选择若干行,使得每一列恰好有且仅有一行为1. Sudoku 数独可以转化为精确覆盖问题. 令N=81为数独中格子个数,则: (x, y)=1表示(x,y)处填了数 (x+N, z)=1表…