[bzoj1951][lucas定理][exgcd]古代猪文

Description

“在那山的那边海的那边有一群小肥猪。他们活泼又聪明，他们调皮又灵敏。他们自由自在生活在那绿色的大草坪，他们善良勇敢相互都关心……”
——选自猪王国民歌
很久很久以前，在山的那边海的那边的某片风水宝地曾经存在过一个猪王国。猪王国地理位置偏僻，实施的是适应当时社会的自给自足的庄园经济，很少与外界联系，商贸活动就更少了。因此也很少有其他动物知道这样一个王国。
猪王国虽然不大，但是土地肥沃，屋舍俨然。如果一定要拿什么与之相比的话，那就只能是东晋陶渊明笔下的大家想象中的桃花源了。猪王勤政爱民，猪民安居乐业，邻里和睦相处，国家秩序井然，经济欣欣向荣，社会和谐稳定。和谐的社会带给猪民们对工作火红的热情和对未来的粉色的憧憬。
小猪iPig是猪王国的一个很普通的公民。小猪今年10岁了，在大肥猪学校上小学三年级。和大多数猪一样，他不是很聪明，因此经常遇到很多或者稀奇古怪或者旁人看来轻而易举的事情令他大伤脑筋。小猪后来参加了全猪信息学奥林匹克竞赛(Pig
Olympiad in Informatics, POI)，取得了不错的名次，最终保送进入了猪王国大学(Pig Kingdom
University, PKU)深造。 现在的小猪已经能用计算机解决简单的问题了，比如能用P++语言编写程序计算出A +
B的值。这个“成就”已经成为了他津津乐道的话题。当然，不明真相的同学们也开始对他刮目相看啦~
小猪的故事就将从此展开，伴随大家两天时间，希望大家能够喜欢小猪。 题目描述 猪王国的文明源远流长，博大精深。
iPig在大肥猪学校图书馆中查阅资料，得知远古时期猪文文字总个数为N。当然，一种语言如果字数很多，字典也相应会很大。当时的猪王国国王考虑到如果修一本字典，规模有可能远远超过康熙字典，花费的猪力、物力将难以估量。故考虑再三没有进行这一项劳猪伤财之举。当然，猪王国的文字后来随着历史变迁逐渐进行了简化，去掉了一些不常用的字。
iPig打算研究古时某个朝代的猪文文字。根据相关文献记载，那个朝代流传的猪文文字恰好为远古时期的k分之一，其中k是N的一个正约数（可以是1和N）。不过具体是哪k分之一，以及k是多少，由于历史过于久远，已经无从考证了。
iPig觉得只要符合文献，每一种能整除N的k都是有可能的。他打算考虑到所有可能的k。显然当k等于某个定值时，该朝的猪文文字个数为N /
k。然而从N个文字中保留下N /
k个的情况也是相当多的。iPig预计，如果所有可能的k的所有情况数加起来为P的话，那么他研究古代文字的代价将会是G的P次方。
现在他想知道猪王国研究古代文字的代价是多少。由于iPig觉得这个数字可能是天文数字，所以你只需要告诉他答案除以999911659的余数就可以了。

Input

有且仅有一行：两个数N、G，用一个空格分开。

Output

有且仅有一行：一个数，表示答案除以999911659的余数。

Sample Input

4 2

Sample Output

2048

HINT

10%的数据中，1 <= N <= 50； 20%的数据中，1 <= N <= 1000； 40%的数据中，1 <= N <=
100000； 100%的数据中，1 <= G <= 1000000000，1 <= N <= 1000000000。

题解

废话一堆
其实就是要求
$$G^{{\sum }_d^{d|n}{C}_n^d}\mathrm{m}\mathrm{o}\mathrm{d}999911659$$
欧拉定理的推论，指数对模数的欧拉函数取模
那么要求的其实就是
$$\sum _d^{d|n}{C}_n^d\mathrm{m}\mathrm{o}\mathrm{d}999911658$$
枚举n的约数，复杂度约为$O(\sqrt{n})$，模数非素数且过大没法直接lucas
对模数分解质因数，发现$999911658=2?3?4679?35617$ 记为m1,m2,m3,m4
这时候我们可以直接让上面那个式子分别对这四个数取模算出答案，记为a1,a2,a3,a4
有式
$$x\equiv a1\mathrm{m}\mathrm{o}\mathrm{d}m1$$
$$x\equiv a2\mathrm{m}\mathrm{o}\mathrm{d}m2$$
$$x\equiv a3\mathrm{m}\mathrm{o}\mathrm{d}m3$$
$$x\equiv a4\mathrm{m}\mathrm{o}\mathrm{d}m4$$
此时exgcd解同余方程组即可得到解x
最后快速幂一遍即可

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<cmath>
using namespace std;
typedef long long LL;
const LL go[5]={0,2,3,4679,35617};
LL mod,inv[51000],pre[51000];
LL pow_mod(LL a,LL b)
{LL ret=1;while(b){if(b&1)ret=ret*a%mod;a=a*a%mod;b>>=1;}return ret;
}
LL C(int n,int m)
{if(m>n)return 0;return pre[n]*pow_mod(pre[m]*pre[n-m]%mod,mod-2)%mod;
}
LL lucas(int n,int m)
{if(m==0)return 1;return C(n%mod,m%mod)*lucas(n/mod,m/mod)%mod;
}
LL exgcd(LL a,LL b,LL &x,LL &y)
{if(a==0){x=0;y=1;return b;}else{LL tx,ty;LL d=exgcd(b%a,a,tx,ty);x=ty-(b/a)*tx;y=tx;return d;}
}
LL n,g;
LL ans[5];
int main()
{scanf("%lld%lld",&n,&g);g%=999911659;for(int p=1;p<=4;p++){mod=go[p];pre[0]=1;pre[1]=1;for(int i=2;i<=mod;i++)pre[i]=pre[i-1]*i%mod;for(int i=1;i*i<=n;i++)if(n%i==0){ans[p]+=lucas(n,i);if(i!=n/i)ans[p]+=lucas(n,n/i);}}mod=999911659;LL m1,b1,m2,b2;m1=go[1];b1=ans[1];for(int i=2;i<=4;i++){m2=go[i];b2=ans[i];LL A,B,K,x,y;A=m1;B=-m2;K=b2-b1;LL d=exgcd(A,B,x,y);x=(x*(K/d)%(B/d)+(B/d))%(B/d);b1=m1*x+b1;m1=m1*m2/d;}if(g==0 && b1==0)printf("0\n");else printf("%lld\n",pow_mod(g,b1));return 0;
}
?