【算法】Dancing Links (DLX) I

1.概述

Dacing Links (DLX) 算法是Donald Knuth [2]提出，用以解决精确覆盖（exact cover）问题，是X算法在计算机上的优化。

1.1 精确覆盖问题

所谓精确覆盖，是指两两不相交的子集的集合，这些子集的并集可以得到全集。完整的定义 [1]如下：

在一个全集X中若干子集的集合为S，精确覆盖是指，S的子集S*，满足X中的每一个元素在S*中恰好出现一次。

举例：令 S = {N, O, E, P} 是集合X = {1, 2, 3, 4}的一个子集，并满足：
N = { }<