首页 > 代码库 > 浅谈舞蹈链
浅谈舞蹈链
舞蹈链解决精确覆盖问题
一、问题引入:
有n 个人, 每个人有一些想吃的菜. 只有你给这个人所有他想吃的菜,他才会吃.
可是你只有m 种菜, 每样一份.你必需把菜卖完. 问最多能满足多少人.
*精确覆盖问题的定义:给定一个由0-1组成的矩阵,是否能找到一个行的集合,使得集合中每一列都恰好包含一个1
假设有5种菜,4个人 ,1表示他喜欢吃这种菜。
(1)0 1 0 1 0
(2)1 0 0 0 0
(3)1 1 1 0 0
(4)0 0 1 0 1
可见最多满足第1 、2 、4。
答案得出的过程。
Step1:我们假设先满足第一人,那么第3人是不能选的(因为每种菜只有一份,3不能和1抢第二种菜)。
Step2: 接着选择第2个人,很完美,两人都可以满足。
Step3:接着选第4个人(第三个人在Step1就淘汰了。)也可以满足他。
这个例子太好了,换一下。
(1)0 0 1 0 1
(2)1 1 1 0 1
(3)0 0 1 1 1
(4)0 0 1 1 1
Step1:发现要覆盖第一列,必须满足第二个人。由于1.3.4人和2都喜欢吃第3种菜,所以都不能满足。
所以只能满足第二个人。但是这时菜不能完全卖完,此问题无解。
总结一下求解的过程:
(1)选择任意一行。
(2)删除选择这一行后不能选择的其他行。
(3)继续选择
(4)若最后没有可选择的行,但是没有完全覆盖,回到第(1)步,修改之前任意选择的行重复步骤。
到这挺好理解的...
二、
发现这过程需要存储矩阵和回溯的过程。那么怎样做比较高效呢。
舞蹈链是一种数据结构,缓存和回溯中效率惊人。不需要额外空间,接近于线性的时间,指针在数据之间
跳跃着,像舞蹈一样所以称之为舞蹈链。(dancing links).
舞蹈链用的数据结构是十字链表。
我们先从双向链表过渡到十字链表吧。
(1)双向链表
A1 A2 A3,
A1.right=A2,A2.left=A1,A3.right.right=A1.
在很多实际运用中,把双向链的首尾相连,构成循环双向链.
删除A2时,A1.right=A3,A3.left=A1,注意A2只是从双向链表中删除了,但是A2的left和right的信息并没有变。
由于不需要开空间,时间也是挺快的。
(2)接下来是双向十字链表。
每个元素有四个指针,left,right,up,down.
注意链首和链尾是双向连接的,一定要注意双向。
列首有我们虚构的点,在第0行,这是为了方便搜索,以后代码呈现。
三、用法。
删除和恢复元素。(先了解后看代码)
规则:
沿列删除时删除左右, 保留上下.
沿行删除时删除上下, 保留左右.
恢复时依然沿之前的方向, 根据自己的信息把自己插进去
四、
那么开始的问题引入,我们怎么用舞蹈链来解决呢。
........................................................假装你思考过了的样子.........................orz
首先每一行的行首表示每个人,列表示每个人爱吃的菜,然后求精确覆盖就可以啦。
五、code
当然很恶心。
int l[maxn],r[maxn],u[maxn],d[maxn],tn,ren[maxn],cai[maxn]; void shanchu(int x) { for(int p=r[x]; p!=x; p=r[p]) { for(int q=u[p]; q!=p; q=u[q]) { for(int s=r[q]; s!=q; s=r[s]) { if(d[x]!=s) { d[u[s]]=d[s]; u[d[s]]=u[s]; } } } } } void huifu(int x) { for(int p=l[x]; p!=x; p=l[p]) { for(int q=d[p]; q!=p; q=d[q]) { for(int s=l[q]; s!=q; s=l[s]) { u[d[s]]=d[u[s]]=s; } } } } int main() { memset(cai,0,sizeof(cai)); scanf("%d%d",&n,&m); ren[0]=tn=1; l[1]=r[1]=1; d[1]=u[1]=1; for(int i = 1; i <= n; i++) { ren[i]=++tn; l[tn]=r[tn]=tn;//左右方向建表 d[ren[i-1]]=tn;//上下方向 u[tn]=ren[i-1]; d[tn]=1;//指向列首。 u[1]=tn//列首指向列尾。 int totcai,caii,lastcai=tn; scanf("%d",&totcai); for(int j = 0; j < totcai; ++ j) { scanf("%d", &caii); ++tn; r[last = tn; l[tn] = lastcai; r[tn]=ren[i]; l[ren[i]]=tn; lastcai = tn; if(!cai[caii]) { //cai数组指的是caii最后一次出现的位置编号。 cai[caii]=u[tn]=d[tn]=tn; } else { u[tn]=cai[caii]; d[tn]=d[cai[caii]]; u[d[tn]]=tn; d[u[tn]]=tn; cai[caii]=tn; } } } }
浅谈舞蹈链