Codeforces 1329B Dreamoon Likes Sequences --- 组合

题目链接 https://vjudge.net/problem/CodeForces-1329B

题意：给定正整数d 和m，问有多少个数组a满足条件：数组元素是正整数且单调递增，

以a为基础构造数组b，b1=a1,b2=a2^b1,...... 构造出来的数组b也单调递增

题解： 参考 https://www.cnblogs.com/MZRONG/p/12652432.html

解题的关键是能把上述条件翻译为数组a后面的元素，最高位的位置一定大于前面元素。理由是： 首先思考数组递增并且前缀异或和也递增(异或运算：不进位加法 1^1=0,1^0=1,0^0=0)，那么就必须满足后面一个数二进制的最高位1的位置大于前面一个数的二进制的最高位1的位置，我们来看下为什么，假如最高位和前一个相同，那么前缀异或和最高位的1就消掉了，肯定会变小，最高位比前一个低，那这个数就比前一个数小了，不满足数组递增，所以要比前一个数的最高位高。

想到这里题目就迎刃而解了：

找出每个最高位的个数，例如 h(ai)=v，ai的最高位为v，找到最高位为v的区间，[2v,2(v+1)−1] ,还要注意一个边界问题，不能大于d，所以为：[2v,min(2(v+1)−1,d)],那么个数就为 min(2(v+1)−1,d)-2v+1，最后再加上不选的一种情况，最后为min(2(v+1)−1,d)-2v+1+1。然后分组，把最高位相同的分在一起，每一次都从一个组里面选择一个数或者不选，来组成a数组，就是把每个最高位的个数都乘起来（不选的情况我把它算进最高位的个数里面了），再减掉全部不选的情况

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long ll;

int main() {
    int T;
    scanf("%d", &T);
    while(T--) {
        ll d, m;
        scanf("%lld%lld", &d, &m);
        ll ans = 1;
        for(int i = 0; i < 32; i++) {
            if(d < (1<<i)) break;
            ans = (ans * (min(d, (1ll<<(i+1))-1)-(1<<i)+1+1)) % m;
        }
        ans -= 1;
        ans = (ans+m) % m;
        printf("%lld\n", ans);
    }
    
    return 0;
}