2728: [HNOI2012]与非

题意：

定义a NAND b=!a&b，问用给出的数通过NAND操作能构成区间内多少个数。

题解：

经过各种实验，发现NAND操作可以替代任何其他逻辑运算操作。
如a&b=!aNANDb,!a=aNANDa
或和异或也显然可以。
那么似乎我们可以构造出所有数了？
但是有个问题，假如对于每个数都有第i位和第j为相等，显然最后这两位也是一样的。
所以题意转化成了某些位置必须相同，且在$[l,r]$区间的数有多少。
按位处理即可。
code：

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#define LL long long
using namespace std;
LL n,K,l,r,a[1010],fa[65];
bool check(LL i,LL j)
{
	for(LL k=1;k<=n;k++)
		if(((a[k]&(1LL<<i))!=0)!=((a[k]&(1LL<<j))!=0)) return false;
	return true;
}
LL findfa(LL x) {return fa[x]==x?x:fa[x]=findfa(fa[x]);}
LL p[65];
LL vis[65];
LL solve(LL c)
{
	if(c>=(1LL<<K)) return 1LL<<p[K-1];
	LL ans=0;
	memset(vis,-1,sizeof(vis));
	for(LL i=K-1;i>=0;i--)
    {
        if(c&(1LL<<i)) 
        {
            if(vis[fa[i]]!=1) ans+=(i!=0)?(1LL<<p[i-1]):1;
            if(fa[i]==i) vis[i]=1;
            if(vis[fa[i]]==0) break;
        }
        else
        {
            if(fa[i]==i) vis[i]=0;
            if(vis[fa[i]]==1) break;
        }
    }
    return ans;
}
int main()
{
	scanf("%lld %lld %lld %lld",&n,&K,&l,&r);
	for(LL i=1;i<=n;i++) scanf("%lld",&a[i]);
	for(LL i=0;i<K;i++) fa[i]=i;
	for(LL i=0;i<K;i++)
		for(LL j=0;j<i;j++) if(check(i,j)) fa[findfa(j)]=findfa(i);
	for(LL i=0;i<K;i++)
	{
		if(i!=0) p[i]=p[i-1];
		if(i==findfa(i)) p[i]++;
	}
	printf("%lld\n",solve(r+1)-solve(l));
}