本文简单分析DancingLinks实现中的数据结构设计,给出了精确覆盖问题及其扩展问题的代码.并应用于数独问题. 先简单描写叙述一下精确覆盖问题: 给定一个N*M的01矩阵,从中选中若干行,这些行向量相加后每一个分量的值都是1.这种行向量集合称为对列的一个精确覆盖.问题可能是找到一个解.或者找到解使得行向量的个数最少. 假设这些行向量相加后每一个分量的值都大于或等于1.我们称这个行向量集为列的一个覆盖.问题是怎样找到最小覆盖. 更准确的请參考: http://zh.wikipedia.org/…