搜索。于是算法开始搜索树的第1层第一个分支：第0层没有其他可选择的行，算法最终停止。综上所述，用X算法得出本问题只有一个解：formula_2 = {"B", "D", "F"}。
实现.高德纳主要想通过X算法体现舞蹈链的实用性。他发现了使用舞蹈链的X算法效率极高，并把这一过程称为DLX。DLX用矩阵来表示精确覆盖问题，在内部的存储结构为舞蹈链。舞蹈链是一个双向环形链表，每个矩阵中的1都有一个指针指向其左、右、上、下的1。因为精确覆盖问题中的矩阵一般都是稀疏的，所以舞蹈