题目:n个人坐成一圈,每个人可以选0....2^k-1里面选一个数,问最后相邻的人的数字的xnor大于0的方案数有多少。
思路:对于一个确定的k位的数,与它nxor值为0的数字只有一个,就是他的补码。然后对于一条直线来说再加一个满足条件的数的数量就是n-1了。
现在这个题目是个圈。加一个数,需要考虑所加数与第1个数是否冲突,与第n-1个数是否冲突。
如果第1个数与第n-1个数一样,那么第n-2个数因为相邻不同数原则一定会与第n-1个数不一样,即第n-2个数与第1个数不一样。所以前n-2个数的组成的圈总数恰好满足dp[n-2]。所加数有m-1种选择,方案数为(m-1)*dp[n-2]。
如果第1个数与第n-1个数不一样,那么前n-1个数组成的圈总数恰好为dp[n-1],所数有m-2种选择,方案数为(m-2)*dp[n-1]。
所以dp[n]=(m-2)*dp[n-1]+(m-1)*dp[n-2],n>=3时。
dp[1]=0; dp[2]=m*(m-1); 另外奇数的时候需要特判加m
比赛时写的代码一开始直接赋的dp[1]=m,提前把dp3也处理出来从dp4往后推得,然后输出的判断奇数的时候又加的m,把1这个情况给掉了,然后wa到死,一瞬间想到了1,然后加个判断a了
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll mod=1e9+7;
ll n,k,m,dp[1000005];
int t;
int main()
{
scanf("%d",&t);
while(t--)
{
scanf("%lld%lld",&n,&k);
m=1;
for(ll i=1;i<=k;i++)
m=m*2%mod;
dp[1]=0;
dp[2]=m*(m-1)%mod;
for(int i=3;i<=n;i++)
dp[i]=((m-2)*dp[i-1]%mod+(m-1)*dp[i-2]%mod)%mod;
if(n%2==1)
cout<<(dp[n]+m)%mod<<endl;
else
cout<<(dp[n])%mod<<endl;
}
return 0;
}