【BZOJ】1770 [Usaco2009 Nov]lights 燈 折半搜索

题目传送门

好像这题的正确姿势是高斯消元完爆搜自由源？不会写，留坑待填……

再刷一波折半搜索，$f[i]$表示表示与第$i$个点相连的点（包括自己）的二进制表示。

考虑折半，搜索前半段，用$mn$数组表示实现当前状态的最小操作次数。

搜索后半段，答案用mn[当前状态]+当前状态的补集的操作次数来更新即可。

最后加上一个hash_table来去重即可。

附上AC代码：

#include <cstdio>
#include <algorithm>
using namespace std;

typedef long long ll;
const int mod=999917;
struct side{
    ll to,nt;
}s[600000];
int n,m,x,y,h[mod],num,ans,mn[600000];
ll f[36],all;

inline int hash(ll x){
    for (int i=h[x%mod]; i; i=s[i].nt) if (s[i].to==x) return i;
    return s[++num]=(side){x,(ll)h[x%mod]},h[x%mod]=num;
}

inline void so(int l,int r,ll now=0,int t=0){
    if (t>ans) return;
    if (l>r){
        if (now==all) ans=min(ans,t);
        if (r==(n>>1)){
            int k=hash(now);
            if (mn[k]) mn[k]=min(mn[k],t); else mn[k]=t;
        }
        else {
            int k=hash(all-now);
            if (mn[k]) ans=min(ans,mn[k]+t);
        }
        return;
    }
    return so(l+1,r,now,t),so(l+1,r,now^f[l],t+1);
}

int main(void){
    scanf("%d%d",&n,&m),all=(1ll<<n)-1;
    for (int i=1; i<=n; ++i) f[i]|=(1ll<<i-1);
    while (m--) scanf("%d%d",&x,&y),f[x]|=(1ll<<y-1),f[y]|=(1ll<<x-1);
    return ans=0x7fffffff,so(1,n>>1),so((n>>1)+1,n),printf("%d\n",ans),0;
}