BZOJ3548: [ONTAK2010]Party（Bron–Kerbosch算法）

传送门

题解：
缩完点后做最大点权独立集。

用Bron–Kerbosch算法枚举极大团即可。

时间复杂度$O(3^{\frac{n}{3}})$

#include <bits/stdc++.h>
using namespace std;

inline int rd() {
    char ch=getchar(); int i=0,f=1;
    while(!isdigit(ch)) {if(ch=='-')f=-1; ch=getchar();}
    while(isdigit(ch)) {i=(i<<1)+(i<<3)+ch-'0'; ch=getchar();}
    return i*f;
}

const int N=2e2+55;

int n,p,q,nn,nn2,ans,sum;
int bl[N],sze[N],anc[N],G[N][N],vis[N],nv[N][N];
int Some[N][N],None[N][N];

inline int getanc(int x) {return (x==anc[x])?x:(anc[x]=getanc(anc[x]));}

inline void dfs(int st,int all,int sc,int nc) {
    if(!sc) {
        if(!nc) {
            if(ans<all) ans=all,sum=1;
            else if(ans==all) ++sum;
        }
        return;
    }
    int u=Some[st][1];
    for(int e=1;e<=sc;e++) {
        int v=Some[st][e];
        if(nv[u][v]) continue;
        int nsc=0,nnc=0;
        for(int i=1;i<e;i++) if(nv[u][Some[st][i]] && nv[v][Some[st][i]]) Some[st+1][++nsc]=Some[st][i];
        for(int i=e+1;i<=sc;i++) if(nv[v][Some[st][i]]) Some[st+1][++nsc]=Some[st][i];
        for(int i=1;i<=nc;i++) if(nv[v][None[st][i]]) None[st+1][++nnc]=None[st][i];
        dfs(st+1,all+sze[v],nsc,nnc);
        None[st][++nc]=v;   
    }
}

int main() {
    n=rd(), p=rd(), q=rd();
    for(int i=1;i<=n;i++) anc[i]=i;
    for(int i=1;i<=p;i++) {
        int x=rd(), y=rd();
        if(getanc(x)>getanc(y)) swap(x,y);
        if(getanc(x)==getanc(y)) continue;
        anc[anc[y]]=anc[x];
    }
    for(int i=1;i<=n;i++) {
        if(getanc(i)==i) bl[i]=++nn;
        else bl[i]=bl[getanc(i)];
        ++sze[bl[i]];
    }
    for(int i=1;i<=q;i++) {
        int x=rd(), y=rd();
        G[bl[x]][bl[y]]=1;
        G[bl[y]][bl[x]]=1;
    }
    memset(bl,0,sizeof(bl));
    for(int i=1;i<=nn;i++) if(!G[i][i]) bl[++nn2]=i,sze[nn2]=sze[i];
    for(int i=1;i<=nn2;i++)
        for(int j=1;j<=nn2;j++) 
            if(i!=j && !G[bl[i]][bl[j]]) 
                nv[i][j]=1;
    ans=0; sum=0; 
    for(int i=1;i<=nn2;i++) Some[0][i]=i;
    dfs(0,0,nn2,0);
    printf("%d %d\n",ans,sum);
}