给出两个数 d , m d,m d,m,构造一个升序序列 { a i } \{a_i\} {ai},使得按照题意所述方式构造的 { b i } \{b_i\} {bi}也是升序,问构造方案数对 m m m取模后的值。
这道题目需要先尝试构造出前几个 b i b_i bi,然后可以发现一个结论是对于构造出来的 ∀ b i \forall b_{i} ∀bi,都有 b i + 1 b_{i+1} bi+1的二进制数对应的最高位 1 1 1比 b i b_i bi的二进制数对应的最高位 1 1 1的位置要高。有了这个结论之后,我们就可以按照二进制数位 1 1 1的最高位来将整数分组,即 { 1 } { 2 , 3 } { 4 , 5 , 6 , 7 } { 8 , 9 , 10 , 11 , 12 , 13 , 14 , 15 } … … \{1\}\{2,3\}\{4,5,6,7\}\{8,9,10,11,12,13,14,15\}…… {1}{2,3}{4,5,6,7}{8,9,10,11,12,13,14,15}……这样一直划分下去。在构造答案时,每一次可以在每一组中选择一个数字或者不选,最后根据计数的乘法原理可算出最终方案数,注意要减去每一组都没有选的情况(即为 1 1 1),然后再注意一下最后一个分组和 d d d的大小关系判断即可,此处应该取 m i n ( d , 2 i − 1 − ( 2 i − 1 − 1 ) ) ( i 为 分 组 号 ) min(d, 2^{i}-1-(2^{i-1}-1))(i为分组号) min(d,2i−1−(2i−1−1))(i为分组号)。
#include
using namespace std;
typedef long long ll;
ll m, d;
void solve(){
ll ans = 1, i = 1;
while((1 << (i - 1)) - 1 <= d){
ll temp = min(d, (ll)(1 << i) - 1) - ((1 << (i - 1)) - 1);
ans = ans * (temp + 1) % m;
++i;
}
cout<<(ans - 1 + m) % m<<'\n'; //减去全不选的情况
}
int main(){
int t, i, j;
ios::sync_with_stdio(false);
cin>>t;
while(t--){
cin>>d>>m;
solve();
}
return 0;
}