浅谈 Dancing Links X 算法

博客园同步

前置知识：

• 一维链表。（单向，双向，循环）
• 部分集合运算，如 $\bigcap$，$\bigcup$.

前言

在计算机科学中，X算法可用来求解精确覆盖问题。

精确覆盖问题 是哪一类问题呢？ $X$ 算法又是什么高深的算法呢？

背景

• 你的同学通过某种算法迅速 $\text{AC}$ 了 P1784 数独，然后他兴致勃勃地 带领学生 $1s$ 搞定数独竞赛 。

小时候，你玩数独；长大了，数独玩你。你该怎么办？

• 那位同学用 $\text{DLX}$ 轻松码力全开搞定了 P4205 『NOI2005』智慧珠游戏

小时候，你玩智慧珠；长大了，智慧珠玩你。你该怎么办？

定义

$\text{Dancing Links X}$ 是优化后的 $X$ 算法，用于解决 精确覆盖问题。

精确覆盖问题 是这样一类问题：给定若干集合 $S_1,S_2\cdots S_n$ 和一个集合 $X$，求出 $T1,T2\cdots T_k$ 使得满足：

$$T_i\bigcap T_j=\varnothing (i\ne j)$$

$$\bigcup _{i=1}^k{T}_i=X$$

$$\forall i\in [1,k],T_i\in S_1,S_2\cdots S_n$$

翻译成人话 其实就是在 $n$ 个集合中选出若干 两两不相交 的集合且 这些集合的并为 $X$.

比方说：

$$S_1=666,2,4$$

$$S_2=2,4,8,119$$

$$S_3=8,5$$

$$S_4=666,2,4,119$$

$$S_5=666,4,5$$

$$X=666,2,8,4,5,119$$

那么这时答案就应该是取