hdu 6189 a^b%m=b^a%m

传送门

题意：

给定n,a，求区间 [ 1 , 1<<n ] 的数b 满足 的个数

首先打表的话可以很容易找到一个规律：a为奇数时，答案肯定为1，这个规律很容易看出，详细解释一下a为偶数时怎么算，m一定为偶数，所以a^b%m的结果也为偶数，那么b^a%m的结果也必须为偶数，所以b必须为偶数，a既然为偶数那么一定可以写成2*x，所以a^b=2^b*x^b，又m=2^n显然可以发现如果b>=n那么a^b%m一定为0，这个时候就可以分类讨论，由于题目数据中n非常小，所以b<n时直接暴力求解，那么b>=n时这个已经确定a^b%m=0所以我们需要b^a%m同样为0，b为偶数，那么b一定可以表示为2^x*y，那么b^a=2^ax*y^a，我们先令y取得最小1，b^a=2^ax，b^a(2^ax)%m(2^n)=0，所以ax>=n，x>=n/a(注意这里n/a应该向上取整),因为b=2^x*y，对x进行限制之后，那么只要x>=n/a都满足条件，无论y怎样，那么可以将x固定为n/a，那么计算y的个数，一定可以把后面x>n/a的情况算完。那么最后的方程则是m/(2^(n/a))-n/(2^(n/a))，为什么取m,n。因为m=2^n是求的满足条件的所有个数，而-n则是代表其b>=n的条件。

//china no.1
#pragma comment(linker, "/STACK:1024000000,1024000000")
#include <vector>
#include <iostream>
#include <string>
#include <map>
#include <stack>
#include <cstring>
#include <queue>
#include <list>
#include <stdio.h>
#include <set>
#include <algorithm>
#include <cstdlib>
#include <cmath>
#include <iomanip>
#include <cctype>
#include <sstream>
#include <functional>
#include <stdlib.h>
#include <time.h>
#include <bitset>
using namespace std;

#define pi acos(-1)
#define s_1(x) scanf("%d",&x)
#define s_2(x,y) scanf("%d%d",&x,&y)
#define s_3(x,y,z) scanf("%d%d%d",&x,&y,&z)
#define PI acos(-1)
#define endl '\n'
#define srand() srand(time(0));
#define me(x,y) memset(x,y,sizeof(x));
#define foreach(it,a) for(__typeof((a).begin()) it=(a).begin();it!=(a).end();it++)
#define close() ios::sync_with_stdio(0); cin.tie(0);
#define FOR(x,n,i) for(int i=x;i<=n;i++)
#define FOr(x,n,i) for(int i=x;i<n;i++)
#define fOR(n,x,i) for(int i=n;i>=x;i--)
#define fOr(n,x,i) for(int i=n;i>x;i--)
#define W while
#define sgn(x) ((x) < 0 ? -1 : (x) > 0)
#define bug printf("***********\n");
#define db double
#define ll long long
#define mp make_pair
#define pb push_back
typedef pair<long long int,long long int> ii;
typedef long long LL;
const int INF=0x3f3f3f3f;
const LL LINF=0x3f3f3f3f3f3f3f3fLL;
const int dx[]={-1,0,1,0,1,-1,-1,1};
const int dy[]={0,1,0,-1,-1,1,-1,1};
const int maxn=1e5+10;
const int maxx=600005;
const double EPS=1e-8;
const double eps=1e-8;
const int mod=1e9+7;
template<class T>inline T min(T a,T b,T c) { return min(min(a,b),c);}
template<class T>inline T max(T a,T b,T c) { return max(max(a,b),c);}
template<class T>inline T min(T a,T b,T c,T d) { return min(min(a,b),min(c,d));}
template<class T>inline T max(T a,T b,T c,T d) { return max(max(a,b),max(c,d));}
template <class T>
inline bool scan_d(T &ret){char c;int sgn;if (c = getchar(), c == EOF){return 0;}
while (c != '-' && (c < '0' || c > '9')){c = getchar();}sgn = (c == '-') ? -1 : 1;ret = (c == '-') ? 0 : (c - '0');
while (c = getchar(), c >= '0' && c <= '9'){ret = ret * 10 + (c - '0');}ret *= sgn;return 1;}

inline bool scan_lf(double &num){char in;double Dec=0.1;bool IsN=false,IsD=false;in=getchar();if(in==EOF) return false;
while(in!='-'&&in!='.'&&(in<'0'||in>'9'))in=getchar();if(in=='-'){IsN=true;num=0;}else if(in=='.'){IsD=true;num=0;}
else num=in-'0';if(!IsD){while(in=getchar(),in>='0'&&in<='9'){num*=10;num+=in-'0';}}
if(in!='.'){if(IsN) num=-num;return true;}else{while(in=getchar(),in>='0'&&in<='9'){num+=Dec*(in-'0');Dec*=0.1;}}
if(IsN) num=-num;return true;}

void Out(LL a){if(a < 0) { putchar('-'); a = -a; }if(a >= 10) Out(a / 10);putchar(a % 10 + '0');}
void print(LL a){ Out(a),puts("");}
//freopen( "in.txt" , "r" , stdin );
//freopen( "data.txt" , "w" , stdout );
//cerr << "run time is " << clock() << endl;

LL q_pow(LL a,LL n)
{
    LL res=1;
    W(n)
    {
        if(n&1) res=res*a;
        a=a*a;
        n>>=1;
    }
    return res;
}

LL q_pow(LL a,LL n,LL mod)
{
    LL res=1;
    W(n)
    {
        if(n&1) res=res*a%mod;
        a=a*a%mod;
        n>>=1;
    }
    return res;
}
LL n,a;
int main()
{
    W(scanf("%lld%lld",&n,&a)!=EOF)
    {
        if(a&1)
        {
            puts("1");
            continue;
        }
        else
        {
            LL m=1ll<<n;
            LL ans=0;
            for(LL i=1;i<=n;i++)
            {
                if(q_pow(a,i,m)==q_pow(i,a,m))
                    ans++;
            }
            LL x=n/a;
            if(x*a<n)
                x++;
            LL h=q_pow(2ll,x);
            ans=ans+m/h-n/h;
            print(ans);
        }
    }
}