Moamen and XOR --- CF-737-C

排列组合和快速幂的应用
题意：
给你一个数t(0 $\le$ t $\le$ 5)和t组数据,每组数据包含两个数n和k (1≤n≤2*$10^5$，1≤k≤2*$10^5$)。任选n个数$a_1$,$a_2$,$a_3$,$\dots$,$a_n$，每个数的范围在0到$2^k$-1，求满足$a_1$ & $a_2$ & $a_3$ &$\dots$& $a_n$ $\ge$ $a_1$ ^ $a_2$ ^ $a_3$ ^ $\dots$^ $a_n$的选择方案的个数，答案对$10^9$+7取模。
Example
input

3
3 1
2 1
4 0

output

5
2
1

思路：
把选择的每一个数看成k位的2进制数，左边运算结果设为L，右边结果设为R。二进制每一位的运算结果只与当前位有关，所以L、R的第i位只与每一个选择的数的第i位有关。
考虑二进制数的每一位，当前位&运算结果为1时，表示选择的所有数该位都为1，此时分为两种情况：n为奇数时，n个1相异或结果为1，n个0相异或结果为0；n为偶数时，n个1相异或结果为0，n个0相异或结果为1。
也就是说，n为奇数时，$L_i$$\le$$R_i$，要让L$\ge$R成立，只能是$L_i$=$R_i$，分为该位为1和该位为0两种情况，该位为1时，只有一种情况，即所有数该位都为1。该位为0时，把奇数个1变为0即可；n为偶数时，n个数的第i位二进制数都是1，则$L_i$=1且$R_i$=0，所以只要保证$L_{i+1}$,$L_{i+2}$,$L_{i+3}$,$\dots$,$L_k$和$R_{i+1}$,$R_{i+2}$,$R_{i+3}$,$\dots$,$R_k$分别相等，而使$L_i$=1,$R_i$=0，L>R便能成立。在n个数的第i位二进制数都是1的基础上把任意偶数个数的第i位变成0，则$L_i$=$R_i$=0。
综上所述，n为奇数时，第i个二进制位的选择有$2^{n-1}+1$种，一共k位，总共方案数为$(2^{n-1}+1{)}^k$；类比n为奇数的情况，n为偶数时，L=R=0的方案数有$(2^{n-1}-1{)}^k$种，L>R的方案数有${\sum }_{i=1}^k(2^{n-1}-1{)}^{k-i}\ast (2^n{)}^{i-1}$种。

代码：

#include<iostream>
#include<cstdio>
using namespace std;
typedef long long ll;
const int mod=1e9+7;
ll qpow(ll a,ll b){
    ll res=1;
    while(b){
        if(b&1) res=res*a%mod;
        a=a*a%mod;
        b>>=1;
    }
    return res;
}
int main(){
    int t;
    cin>>t;
    while(t--){
        int n,k;
        cin>>n>>k;
        ll p=qpow(2,n-1);
        if(n&1){
            cout<<qpow(p+1,k)<<endl;
            continue;
        }
        else{
            ll res=qpow(p-1,k),s=(p<<1)%mod;
            for(int i=1;i<=k;i++){
                res=(res+qpow(p-1,k-i)*qpow(s,i-1)%mod)%mod;
            }
            cout<<res<<endl;
        }
    }
    return 0;
}