题目链接：ZOJ - 4123
题目大意：给你a和p，然后问你[1,2^p]中满足那个等式的值有多少个。
具体思路：
具体的证明：https://blog.csdn.net/v5zsq/article/details/79325038
打表发现当a为奇数的时候答案为1.当a为偶数的时候，x也必须为偶数。
然后我们将a分解为2*t。然后a^x就等于 (2^x)*(t^x).当x大于p的时候，此时取模后一定为0。对于所以在x属于[0,p]这段区间暴力算。
然后我们将b分解为(2^k)*t.然后b^x就等于 (2^(k*x)) *(t^x).然后对于k*x>p的时候，我们可以直接算出这段区间中满足情况的x的取值有多少x>(p/k)（向上取整）.然后再减去暴力算的那一块就好了。
AC代码：
1 #include<bits/stdc++.h>
2 using namespace std;
3 # define ll long long
4 # define inf 0x3f3f3f3f
5 const int maxn = 2e5+100;
6 ll qsm(ll t1,ll t2,ll mod)
7 {
8 ll ans=1ll;
9 while(t2)
10 {
11 if(t2&1)
12 ans=ans*t1%mod;
13 t1=t1*t1%mod;
14 t2>>=1;
15 }
16 return ans;
17 }
18 int main()
19 {
20 int T;
21 scanf("%d",&T);
22 while(T--)
23 {
24 ll a,p;
25 scanf("%lld %lld",&a,&p);
26 if(a%2!=0)
27 {
28 printf("%lld
",1);
29 continue;
30 }
31 ll t1=(1ll<<p);
32 ll sum=0;
33 for(ll i=1; i<=p; i++)
34 {
35 if(qsm(a,i,t1)==qsm(i,a,t1))
36 sum++;
37 }
38 ll tmp=(p/a)+(p%a==0?0:1);
39 sum=sum+(t1>>tmp)-(p>>tmp);
40 printf("%lld
",sum);
41 }
42 return 0;
43 }