DanceLink是一个可以解决精确覆盖和重复覆盖的搜索算法 重复覆盖就是在精确覆盖的remove等处做改变 都是十字循环链表 精确覆盖 给出一个01矩阵 要求选择几行 使每一列都有且仅有一个1 在求所得行尽量小的视乎 f()函数可以进行一个剪枝 可以用来解决数独 并且速度很快 本质还是搜索 但是由于数据结构的本身性质致使remove和resume相当快捷 使搜索速度很快 重复覆盖 用来解决 给出一个01矩阵 使选择最少的行数 使每一列都至少有一个1 类似于解决 二分图中选择最少的左边节点 使能…