关键:只需要考虑这个数组2进制上的每一位上0的个数即可。
题解 :如果n是奇数,考虑到每一位,如果该位上全为1或者0的个数为奇数个,那么该位的and值和xor值是相等的,不存在and值能大于xor值的情况。也就是说该位上的取法个数为如下公式:
C
n
1
+
C
n
3
+
⋯
+
C
n
n
+
1
=
2
n
−
1
+
1
C_{n}^{1}+C_{n}^{3}+\dots+C_{n}^{n}+1=2^{n -1} + 1
Cn1+Cn3+⋯+Cnn+1=2n−1+1
那么一共有k位需要取,所以总情况数为:
(
2
n
−
1
+
1
)
k
(2^{n-1}+1)^{k}
(2n−1+1)k
如果n是偶数,考虑到每一位,如果该位上0的个数为偶数个(不包括0),那么该位的and值和xor值是相等的。可以算出相等的所有情况数为如下公式:
C
n
2
+
⋯
+
C
n
n
=
2
n
−
1
−
1
C_{n}^{2}+\dots+C_{n}^{n}=2^{n-1}-1
Cn2+⋯+Cnn=2n−1−1
那么一共有k位需要取,所以相等的总情况数为:
(
2
n
−
1
−
1
)
k
(2^{n-1}-1)^{k}
(2n−1−1)k
另外还有不相等的情况,考虑某位上全为1,那么必然该位后面随便取,前面仍然保证相等即可,然后就可以遍历在哪个位上全为1,该位不相等的情况数为:
(
2
n
−
1
−
1
)
k
−
i
+
(
2
n
)
i
−
1
(2^{n-1}-1)^{k-i}+(2^n)^{i-1}
(2n−1−1)k−i+(2n)i−1
不相等的总情况为:
∑
i
=
1
k
(
2
n
−
1
−
1
)
k
−
i
+
(
2
n
)
i
−
1
\sum_{i=1}^{k}(2^{n-1}-1)^{k-i}+(2^n)^{i-1}
i=1∑k(2n−1−1)k−i+(2n)i−1
code:
#include <bits/stdc++.h>
#define ll long long
#define rush() int T; cin >> T; while (T--)
using namespace std;
const ll mod=1e9 + 7;
ll qpow(ll a,ll b)
{
ll ans=1;a%=mod;
for(ll i=b;i;i>>=1,a=a*a%mod)
if(i&1)ans=ans*a%mod;
return ans%mod;
}
ll n, k;
int main()
{
rush() {
cin >> n >> k;
k++;
ll ans;
if (k == 0) ans = 1;
else if (n % 2 == 0) {
ans = (qpow(2, n - 1) - 1 + mod) % mod;
ans = qpow(ans, k - 1);
for (int i = 1; i <= k - 1; i++) {
int pre = k - 1 - i;
ll cnt = 0;
cnt = (qpow(2, n - 1) - 1 + mod) % mod;
cnt = qpow(cnt, pre);
int bck = i - 1;
cnt = (cnt * qpow(qpow(2, n), bck)) % mod;
ans = (ans + cnt) % mod;
}
} else {
ans = (qpow(2, n - 1) + 1) % mod;
ans = qpow(ans, k - 1);
}
cout << ans << endl;
}
return 0;
}