hihocoder1317 :搜索四·跳舞链

精确覆盖问题是指对于给定的一个由0-1组成的矩阵，是否能找到一个行的集合，使得集合中每一列都恰好包含一个1。

//Achen
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<vector>
#include<queue>
#include<ctime>
#include<cmath>
const int N=;
typedef long long LL;
using namespace std;
int T,n,m,s[N],l[N],r[N],up[N],dn[N],fir[N],xx[N],yy[N],head,tot;

template<typename T> void read(T &x) {
    char ch=getchar(); x=; T f=;
    while(ch!='-'&&(ch<''||ch>'')) ch=getchar();
    if(ch=='-') f=-,ch=getchar();
    for(;ch>=''&&ch<='';ch=getchar()) x=x*+ch-''; x*=f;
}

void clear() {
    tot=m;
    for(int i=;i<=m;i++) {
        s[i]=;
        l[i]=i-;
        r[i]=i+;
        dn[i]=up[i]=i;
    }
    r[m]=head; l[head]=m;
    for(int i=;i<=n;i++) fir[i]=-;
}

void add(int x,int y,int id) {
    xx[id]=x;
    yy[id]=y;
    dn[id]=dn[y];
    up[dn[y]]=id;
    dn[y]=id;
    up[id]=y;
    s[y]++;
    if(fir[x]==-) fir[x]=l[id]=r[id]=id;
    else {
        r[id]=fir[x];
        l[id]=l[fir[x]];
        r[l[id]]=id;
        l[fir[x]]=id;
    }
}

void resume(int k) {
    for(int i=dn[k];i!=k;i=dn[i]) {
        for(int j=r[i];j!=i;j=r[j]) {
            dn[up[j]]=up[dn[j]]=j;
            ++s[yy[k]];
        }
    }
    l[r[k]]=r[l[k]]=k;
}

void remove(int k) {
    l[r[k]]=l[k];
    r[l[k]]=r[k];
    for(int i=dn[k];i!=k;i=dn[i]) {
        for(int j=r[i];j!=i;j=r[j]) {
            up[dn[j]]=up[j];
            dn[up[j]]=dn[j];
            --s[yy[j]];
        }
    }
}

int dance() {
    if(r[head]==head) return ;
    int k=r[head];
    for(int i=r[head];i!=head;i=r[i])
        if(s[i]<s[k]) k=i;
    remove(k);
    for(int i=dn[k];i!=k;i=dn[i]) {
        for(int j=r[i];j!=i;j=r[j]) remove(yy[j]);
        if(dance()) return ;
        for(int j=r[i];j!=i;j=r[j]) resume(yy[j]);
    }
    resume(k);
    return ;
}

void init() {
    read(T);
    while(T--) {
        read(n); read(m);
        clear();
        int f;
        for(int i=;i<=n;i++)
            for(int j=;j<=m;j++) {
                read(f);
                if(f) add(i,j,++tot);
            }
        if(dance()) printf("Yes\n");
        else printf("No\n");
    }
}

int main() {
#ifdef DEBUG
    freopen(".in","r",stdin);
    freopen(".out","w",stdout);
#endif
    init();
    return ;
}