牛客月赛20-dh的帽子-(维护上下界的数位dp)

J

题意：
给你一个l和r，问你有多少三元组a,b,c满足a xor b xor c == a or b or c。

思考：
反正看了一眼感觉没啥思路，应该是找啥性质的题目。实际上最后看到题解就是，数位dp，其实也有点像，给你区间让你求个数。但是这个数位dp比较特殊，不仅维护上届还维护了下届。然后就是照常数位dp就行了。

代码：

int T,n,m,k;
int va[N],vb[N];
ll dp[32][2][2][2][2][2][2];

ll dfs(int pos,bool l1,bool l2,bool l3,bool r1,bool r2,bool r3)
{
	if(pos<0) return 1;
	if(!r1&&!r2&&!r3&&dp[pos][l1][l2][l3][r1][r2][r3]!=-1)
	return dp[pos][l1][l2][l3][r1][r2][r3];
	int down1 = l1?vb[pos]:0;
	int down2 = l2?vb[pos]:0;
	int down3 = l3?vb[pos]:0;
	int up1 = r1?va[pos]:1;
	int up2 = r2?va[pos]:1;
	int up3 = r3?va[pos]:1;
	ll res = 0;
	for(int i=down1;i<=up1;i++)
	{
		for(int j=down2;j<=up2;j++)
		{
			for(int k=down3;k<=up3;k++)
			{
				if((i^j^k)!=(i|j|k)) continue;
				res += dfs(pos-1,l1&&i==down1,l2&&j==down2,l3&&k==down3,r1&&i==up1,r2&&j==up2,r3&&k==up3);
			}
		}
	}
	if(!r1&&!r2&&!r3) dp[pos][l1][l2][l3][r1][r2][r3] = res;
	return res;
}

ll f(int l,int r)
{
	mem(dp,-1);
	for(int i=0;i<=30;i++)
	{
		if((r>>i)&1) va[i] = 1;
		if((l>>i)&1) vb[i] = 1;
	}
	return dfs(30,1,1,1,1,1,1);
}

signed main()
{
	IOS;
	int l,r;
	cin>>l>>r;
	cout<<f(l,r)<<"\n";
	return 0;
}

总结：
多多思考和总结呀，新的方式。