UVA

题目链接

正解是IDA*+四个方向判重，但由于是个裸的可重复覆盖问题，可以用DLX水过~

每个格子与放上皇后能干掉的标记连边，跑可重复覆盖DLX。注意要用IDA*来优化，否则会超时。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=10+2;
int n,m,np,ka;
char s[N][N];
struct P {int x,y;} p[N*N];
bool ok(P a,P b) {
    if(a.x==b.x)return 1;
    if(a.y==b.y)return 1;
    if(abs(a.x-b.x)==abs(a.y-b.y))return 1;
    return 0;
}

struct DLX {
    static const int N=1000;
    static const int M=1000;
    static const int MX=10000;
    int n,tot,S[M],H[N],vis[M];
    int row[MX],col[MX],L[MX],R[MX],U[MX],D[MX];
    void init(int _n) {
        n=_n;
        for(int i=0; i<=n; ++i) {
            U[i]=D[i]=i;
            L[i]=i-1,R[i]=i+1;
        }
        L[0]=n,R[n]=0;
        tot=n+1;
        memset(S,0,sizeof S);
        memset(H,-1,sizeof H);
        memset(vis,0,sizeof vis);
    }
    void link(int r,int c) {
        int u=tot++;
        S[c]++;
        row[u]=r,col[u]=c;
        U[u]=U[c],D[u]=c;
        U[D[u]]=D[U[u]]=u;
        if(!~H[r])H[r]=L[u]=R[u]=u;
        else {
            R[u]=H[r],L[u]=L[H[r]];
            L[R[u]]=R[L[u]]=u;
        }
    }
    void remove(int c) {
        for(int i=D[c]; i!=c; i=D[i])L[R[i]]=L[i],R[L[i]]=R[i];
    }
    void restore(int c) {
        for(int i=U[c]; i!=c; i=U[i])L[R[i]]=R[L[i]]=i;
    }
    int h() {
        int ret=0;
        for(int c=R[0]; c!=0; c=R[c])vis[c]=1;
        for(int c=R[0]; c!=0; c=R[c])if(vis[c]) {
                ++ret,vis[c]=0;
                for(int i=D[c]; i!=c; i=D[i])
                    for(int j=R[i]; j!=i; j=R[j])vis[col[j]]=0;
            }
        return ret;
    }
    void check() {
        for(int c=1; c<=n; ++c)if(!S[c]) {
                for(int i=D[c]; i!=c; i=D[i])L[R[i]]=L[i],R[L[i]]=R[i];
                L[R[c]]=L[c],R[L[c]]=R[c];
            }
    }
    bool dfs(int dep,int mxd) {
        if(R[0]==0)return 1;
        if(dep+h()>mxd)return 0;
        int c=R[0];
        for(int i=R[0]; i!=0; i=R[i])if(S[i]<S[c])c=i;
        for(int i=D[c]; i!=c; i=D[i]) {
            remove(i);
            for(int j=R[i]; j!=i; j=R[j])remove(j);
            if(dfs(dep+1,mxd))return 1;
            for(int j=L[i]; j!=i; j=L[j])restore(j);
            restore(i);
        }
        return 0;
    }
    int IDAStar() {for(int mxd=0;; ++mxd) {if(dfs(0,mxd))return mxd;}}
} dlx;

int main() {
    while(scanf("%d%d",&n,&m)&&n) {
        np=0;
        for(int i=0; i<n; ++i)scanf("%s",s[i]);
        for(int i=0; i<n; ++i)
            for(int j=0; j<m; ++j)if(s[i][j]=='X')p[np++]= {i,j};
        dlx.init(np);
        for(int i=0; i<n; ++i)
            for(int j=0; j<m; ++j)
                for(int k=0; k<np; ++k)
                    if(ok({i,j}, p[k]))dlx.link(i*m+j+1,k+1);
        printf("Case %d: %d
",++ka,dlx.IDAStar());
    }
    return 0;
}