舞蹈链DLX算法

最新推荐文章于 2024-01-11 00:14:02 发布

Freopen

最新推荐文章于 2024-01-11 00:14:02 发布

阅读量1.5k

点赞数 1

分类专栏：模板枚举性质分析

本文链接：https://blog.csdn.net/qq_35950004/article/details/91388313

版权

DLX算法，又称Dancing Line X算法，主要用于解决精确覆盖问题。该算法通过构建类二维矩阵的双向循环链表，实现高效搜索。在链表中，每个元素与上下左右元素相连，列头元素置于最上方。删除和恢复操作简洁高效，通过反向操作实现。算法流程为选择被最少集合包含的元素，删除相关列，回溯时恢复状态，确保不重不漏覆盖所有元素。

摘要由CSDN通过智能技术生成

常数与希望编织的一缕奇迹

模板
DLX算法全称：Dancing Line X算法。
X算法的意思就是不知道是哪种搜索算法，
而Dancing Line的意思就是用Dancing Line优化X算法。
Dancing Line是使用在类二维矩阵中的双向循环链表群。
~~上面的话可以意会~~

Dancing Line
其实就是对于每个元素，和它左边的第一个，右边的第一个，上边的，下边的，都连上双向指针。
如果左边没有，就循环着连到最右边，
上下右同理。
并且对于每一列设立一个头元素至于列的最上方。
那么删除一列的时候，直接删除头元素的左右指针。
删除一行的时候，删除每个元素的上下指针。
考虑恢复操作。
对于一般的双向链表（不会的看代码），按删除顺序反着恢复就可以了。
这个也是反着恢复就可以了。。。（具体实现短的巧妙）

这个X算法是来解决精确覆盖问题的。
精确覆盖是指用几个集合不重不漏的覆盖所有元素。
每次选择被最少的集合包括的元素（删一列），然后枚举选哪个集合（删一行），把这个集合包括的元素都删完（删很多列），然后继续搜，回溯时恢复。

具体看代码：

#include<bits/stdc++.h>
#define maxn 100005
#define maxpt 10005
using namespace std;

int n,m,rt;
int cnt,l[maxn],r[maxn],u[maxn],d[maxn],s[maxn],ans[maxn],tp[maxn],col[maxn];

void rem(int x){
   
    l[r[x]] = l[x] , r[l[x]] = r[x];
    for(int i=d[x];i!=x;i=d[i])
        for(int j=r[i];j!=i;j=r[j])
            u