BZOJ1951:[SDOI2010]古代猪文(Lucas,CRT)

时间:2021-11-22 20:35:43

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。

数论好题。因为用的东西太TM多了

首先可以明确题目让我们求解的式子为$G^{\sum_{d|n} C_n^d}~mod~p$

因为p是质数,所以根据费马小定理可得

$\begin{aligned} \displaystyle ans &=  G^{\sum_{d|n} C_n^d}~mod~p  \\  &=G^{\sum_{d|n} C_n^d~mod~(p-1)}~mod~p  \end{aligned}$

所以我们现在不需要管G了,只需要把指数求出来就好了。

然而$p-1$并不是一个质数,该怎么用Lucas求解呢?

我们可以将$p-1$质因数分解,成$2,3,4679,35617$,然后对这四个质因数分别Lucas,然后把这四个列成一个同余方程组CRT解出来即可。

exLucas应该也是可以的不过我还没学会

注意特判G=p的情况

 #include<iostream>
#include<cstring>
#include<cstdio>
#define N (100000)
#define MOD (999911659)
using namespace std; long long m[]={,,,,};
long long n,g,a[N];
long long fac[N],inv[N],facInv[N]; long long C(long long n,long long m,long long p)
{
if (m>n) return ;
return fac[n]*facInv[m]%p*facInv[n-m]%p;
} long long Lucas(long long n,long long m,long long p)
{
if (n<m) return ;
long long sum=;
for (; m; n/=p,m/=p)
sum=sum*C(n%p,m%p,p)%p;
return sum;
} void Init(long long p)
{
inv[]=; fac[]=facInv[]=;
for (int i=; i<=p; ++i)
{
if (i!=) inv[i]=(p-p/i)*inv[p%i]%p;
fac[i]=fac[i-]*i%p;
facInv[i]=facInv[i-]*inv[i]%p;
}
} void exgcd(long long a,long long b,long long &d,long long &x,long long &y)
{
if (!b){d=a; x=; y=; return;}
exgcd(b,a%b,d,y,x); y-=x*(a/b);
} long long CRT()
{
long long M=m[],A=a[],d,x,y,t;
for (int i=; i<=; ++i)
{
exgcd(M,m[i],d,x,y);
if ((a[i]-A)%d) return -;
x*=(a[i]-A)/d; t=m[i]/d; x=(x%t+t)%t;
A=M*x+A; M=M/d*m[i]; A%=M;
}
A=(A%M+M)%M;
return A;
} long long Qpow(long long a,long long b,long long p)
{
long long ans=,base=a;
while (b!=)
{
if (b&!=)
ans=(ans*base)%p;
base=(base*base)%p;
b>>=;
}
return ans;
} int main()
{
scanf("%lld%lld",&n,&g);
if (g==MOD)
{
printf("");
return ;
}
for (int i=; i<=; ++i)
{
Init(m[i]);
for (int j=; j*j<=n; ++j)
{
if (n%j) continue;
(a[i]+=Lucas(n,j,m[i]))%=m[i];
if (j*j==n) continue;
(a[i]+=Lucas(n,n/j,m[i]))%=m[i];
}
}
printf("%lld",Qpow(g,CRT(),MOD));
}