本文已参与「新人创作礼」活动，一起开启掘金创作之路。

相同知识点的题目

blog.csdn.net/qq_50285142…

前置知识

• 二项式系数之和：$C_n^0+C_n^1+C_n^2+C_n^3+...+C_n^{n-1}+C_n^n=2^n$

• 二项式奇数项系数之和等于偶数项系数之和，即 $C_n^1+C_n^3+C_n^5+...=C_n^0+C_n^2+C_n^4+C_n^6+...=2^{n-1}$

题目链接

codeforces.com/problemset/…

长度为n的数组每个元素不超过$2^k$，问满足$a_1 \,\&\, a_2 \,\&\, a_3 \,\&\, \ldots \,\&\, a_n \ge a_1 \oplus a_2 \oplus a_3 \oplus \ldots \oplus a_n$的数组个数

我们考虑每一位的情况：

我们需要分奇偶进行考虑：考虑当前位相等和大于的情况（题目中是大于等于，分开考虑）

• n为奇数

  • 相等: 共$d_1=C_n^0+C_n^2+C_n^4+...+C_n^{n-1}+C_n^n=2^{n-1}+1$

    • 数组中的数该位全为1 :$C_n^n$

    • 数组中的数该位全为0:$C_n^0$

    • 该位有偶数个1,且存在0:$C_n^2+C_n^4+...+C_n^{n-1}$ (注意n为奇数)

  • 大于： 不存在

• n为偶数

  • 相等: 共$d_2=C_n^0+C_n^2+C_n^4+...+C_n^{n-2}=2^{n-1}-1$

    • 该位有偶数个1,且存在0:$C_n^2+C_n^4+...+C_n^{n-2}$

    • 数组中的数该位全为0:$C_n^0$

  • 大于:

    • 数组中的数该位全为1:$C_n^n=1$

接下来算结果：

• 首先相等的是一种情况，根据奇偶确定要使用的$d$，所有位都相等，答案为$d^k$

• 然后考虑大于的情况。d : 该位等于的情况 。 s：该位任意的情况，任意就是0和1两种情况，选择n次 枚举第一个大于的二进制位置i，如果本位是大于，那么后面的k-i位就可以随意情况，前面的i-1个位必须为等于的情况。所以总的情况是$d^{i-1}+s^{k-i}$，需要枚举这个i（第一个大于的位置）

#include<bits/stdc++.h>
using namespace std;

using ll = long long;
const int mod = 1e9 + 7;

ll ksm(ll a, ll b)
{
	ll res = 1;
	while(b)
	{
		if(b & 1) res = res * a % mod;
		b >>= 1;
		a = a * a % mod;
	}	
	return res;
}
void solve()
{

	ll n, k;
	cin >> n >> k;
	
	ll res = 0;
	ll d = ksm(2, n - 1);
	ll s = ksm(2, n);
	d += (n & 1 ? 1 : -1);
	//ou shu: mei jv di yi ge da yu wei zhi
	if(n % 2 == 0)
		for(int i = 1; i <= k; i++)
			res = (res + ksm(s, k - i) * ksm(d, i - 1) % mod) % mod;
	res = (res + ksm(d, k)) % mod;
	
	cout << res << "\n";
}

int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	
	int t;
	cin >> t;
//	t = 1;
	while(t--) 
		solve();
	return 0;
}