【SDOI2010】古代猪文

【SDOI2010】古代猪文

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。                                                                                                     

Solution

一个有趣的题面。简洁版题意:999911659。所以说我们使用Lucas定理和CRT以及快速幂。(我也很想解释一下,但是自己搞不懂啊。。。)

CODE

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
const long long mod=999911659ll;
long long Prime[4]={2,3,4679,35617};
long long fac[4][40005],M[4];
long long n,G;
inline long long Ksm(long long a,long long x,long long p){
	long long rec=1;
	while(x){
		if(x&1)rec=(rec*a)%p;
		a=(a*a)%p;x>>=1;
	}return rec;
}
inline long long C(long long n,long long m,long long x){
	if(m>n)return 0;
	return fac[x][n]*Ksm(fac[x][n-m]*fac[x][m],Prime[x]-2,Prime[x])%Prime[x];
}
inline long long Lucas(long long n,long long m,long long x){
	if(m==0)return 1;
	long long p=Prime[x];
	return C(n%p,m%p,x)*Lucas(n/p,m/p,x)%p;
}
inline long long Ex_Gcd(long long a,long long b,long long &x,long long &y){
	if(b==0){x=1;y=0;return a;}
	long long gcd=Ex_Gcd(b,a%b,x,y);
	long long temp=x;x=y;y=temp-a/b*y;
	return gcd;
}
inline int CRT(){
	long long x,y,a=0,m,k=1;
	for(long long i=0;i<4;i++)k*=Prime[i];
	for(long long i=0;i<4;i++){
		m=k/Prime[i];
		Ex_Gcd(Prime[i],m,x,y);
		a=(a+y*m*M[i])%k;
	}if(a<=0)a+=k;return a;
}
int main(){
	cin>>n>>G;if(G==mod){cout<<0;return 0;}
	for(long long i=0;i<4;i++){
		fac[i][0]=1;
		for(long long j=1;j<=Prime[i];j++)
			fac[i][j]=(fac[i][j-1]*j)%Prime[i];
	}
	for(long long i=1;i*i<=n;i++){
		if(n%i==0){
			long long temp=n/i;
			for(long long j=0;j<4;j++){
				if(temp!=i)
				M[j]=(M[j]+Lucas(n,i,j))%Prime[j];
				M[j]=(M[j]+Lucas(n,temp,j))%Prime[j];
			}
		}
	}
	cout<<Ksm(G,CRT(),mod);
	return 0;
}


请转成markdown语法 中国剩余定理 引入 「物不知数」问题:有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二。问物几何? 即求满足以下条件的整数:除以 3 余 2,除以 5 余 3,除以 7 余 2。 该问题最早见于《孙子算经》中,并有该问题的具体解法。宋朝数学家秦九韶于 1247 年《数书九章》卷一、二《大衍类》对「物不知数」问题做出了完整系统的解答。上面具体问题的解答口诀由明朝数学家程大位在《算法统宗》中给出: 三人同行七十希,五树梅花廿一支,七子团圆正半月,除百零五便得知。 2\times 70+3\times 21+2\times 15=233=2\times 105+23,故答案为 23。 定义 中国剩余定理 (Chinese Remainder Theorem, CRT) 可求解如下形式的一元线性同余方程组(其中 n_1, n_2, \cdots, n_k 两两互质): \begin{cases} x &\equiv a_1 \pmod {n_1} \\ x &\equiv a_2 \pmod {n_2} \\ &\vdots \\ x &\equiv a_k \pmod {n_k} \\ \end{cases} 上面的「物不知数」问题就是一元线性同余方程组的一个实例。 过程 计算所有模数的积 n; 对于第 i 个方程: 计算 m_i=\frac{n}{n_i}; 计算 m_i 在模 n_i 意义下的 逆元 m_i^{-1}; 计算 c_i=m_im_i^{-1}(不要对 n_i 取模)。 方程组在模 n 意义下的唯一解为: x=\sum_{i=1}^k a_ic_i \pmod n。 实现 C++ Python LL CRT(int k, LL* a, LL* r) { LL n = 1, ans = 0; for (int i = 1; i <= k; i++) n = n * r[i]; for (int i = 1; i <= k; i++) { LL m = n / r[i], b, y; exgcd(m, r[i], b, y); // b * m mod r[i] = 1 ans = (ans + a[i] * m * b % n) % n; } return (ans % n + n) % n; } 证明 我们需要证明上面算法计算所得的 x 对于任意 i=1,2,\cdots,k 满足 x\equiv a_i \pmod {n_i}。 当 i\neq j 时,有 m_j \equiv 0 \pmod {n_i},故 c_j \equiv m_j \equiv 0 \pmod {n_i}。又有 c_i \equiv m_i \cdot (m_i^{-1} \bmod {n_i}) \equiv 1 \pmod {n_i},所以我们有: \begin{aligned} x&\equiv \sum_{j=1}^k a_jc_j &\pmod {n_i} \\ &\equiv a_ic_i &\pmod {n_i} \\ &\equiv a_i \cdot m_i \cdot (m^{-1}_i \bmod n_i) &\pmod {n_i} \\ &\equiv a_i &\pmod {n_i} \end{aligned} 即对于任意 i=1,2,\cdots,k,上面算法得到的 x 总是满足 x\equiv a_i \pmod{n_i},即证明了解同余方程组的算法的正确性。 因为我们没有对输入的 a_i 作特殊限制,所以任何一组输入 \{a_i\} 都对应一个解 x。 另外,若 x\neq y,则总存在 i 使得 x 和 y 在模 n_i 下不同余。 故系数列表 \{a_i\} 与解 x 之间是一一映射关系,方程组总是有唯一解。 解释 下面演示 CRT 如何解「物不知数」问题。 n=3\times 5\times 7=105; 三人同行 七十 希: n_1=3, m_1=n/n_1=35, m_1^{-1}\equiv 2\pmod 3,故 c_1=35\times 2=70; 五树梅花 廿一 支: n_2=5, m_2=n/n_2=21, m_2^{-1}\equiv 1\pmod 5,故 c_2=21\times 1=21; 七子团圆正 半月: n_3=7, m_3=n/n_3=15, m_3^{-1}\equiv 1\pmod 7,故 c_3=15\times 1=15; 所以方程组的唯一解为 x\equiv 2\times 70+3\times 21+2\times 15\equiv 233\equiv 23 \pmod {105}。(除 百零五 便得知) Garner 算法 CRT 的另一个用途是用一组比较小的质数表示一个大的整数。 例如,若 a 满足如下线性方程组,且 a < \prod_{i=1}^k p_i(其中 p_i 为质数): \begin{cases} a &\equiv a_1 \pmod {p_1} \\ a &\equiv a_2 \pmod {p_2} \\ &\vdots \\ a &\equiv a_k \pmod {p_k} \\ \end{cases} 我们可以用以下形式的式子(称作 a 的混合基数表示)表示 a: a = x_1 + x_2 p_1 + x_3 p_1 p_2 + \ldots + x_k p_1 \ldots p_{k-1} Garner 算法 将用来计算系数 x_1, \ldots, x_k。 令 r_{ij} 为 p_i 在模 p_j 意义下的 逆: p_i \cdot r_{i,j} \equiv 1 \pmod{p_j} 把 a 代入我们得到的第一个方程: a_1 \equiv x_1 \pmod{p_1} 代入第二个方程得出: a_2 \equiv x_1 + x_2 p_1 \pmod{p_2} 方程两边减 x_1,除 p_1 后得 \begin{aligned} a_2 - x_1 &\equiv x_2 p_1 &\pmod{p_2} \\ (a_2 - x_1) r_{1,2} &\equiv x_2 &\pmod{p_2} \\ x_2 &\equiv (a_2 - x_1) r_{1,2} &\pmod{p_2} \end{aligned} 类似地,我们可以得到: x_k=(\dots((a_k-x_1)r_{1,k}-x_2)r_{2,k})-\dots)r_{k-1,k} \bmod p_k 实现 该算法的时间复杂度为 O(k^2)。实际上 Garner 算法并不要求模数为质数,只要求模数两两互质,我们有如下伪代码: \begin{array}{ll} &\textbf{Chinese Remainder Algorithm }\operatorname{cra}(\mathbf{v}, \mathbf{m})\text{:} \\ &\textbf{Input}\text{: }\mathbf{m}=(m_0,m_1,\dots ,m_{n-1})\text{, }m_i\in\mathbb{Z}^+\land\gcd(m_i,m_j)=1\text{ for all } i\neq j\text{,} \\ &\qquad \mathbf{v}=(v_0,\dots ,v_{n-1}) \text{ where }v_i=x\bmod m_i\text{.} \\ &\textbf{Output}\text{: }x\bmod{\prod_{i=0}^{n-1} m_i}\text{.} \\ 1&\qquad \textbf{for }i\text{ from }1\text{ to }(n-1)\textbf{ do} \\ 2&\qquad \qquad C_i\gets \left(\prod_{j=0}^{i-1}m_j\right)^{-1}\bmod{m_i} \\ 3&\qquad x\gets v_0 \\ 4&\qquad \textbf{for }i\text{ from }1\text{ to }(n-1)\textbf{ do} \\ 5&\qquad \qquad u\gets (v_i-x)\cdot C_i\bmod{m_i} \\ 6&\qquad \qquad x\gets x+u\prod_{j=0}^{i-1}m_j \\ 7&\qquad \textbf{return }(x) \end{array} 可以发现在第六行中的计算过程对应上述混合基数的表示。 应用 某些计数问题或数论问题出于加长代码、增加难度、或者是一些其他原因,给出的模数:不是质数! 但是对其质因数分解会发现它没有平方因子,也就是该模数是由一些不重复的质数相乘得到。 那么我们可以分别对这些模数进行计算,最后用 CRT 合并答案。 下面这道题就是一个不错的例子。 洛谷 P2480 [SDOI2010] 古代 给出 G,n( 1 \leq G,n \leq 10^9),求: G^{\sum_{k\mid n}\binom{n}{k}} \bmod 999~911~659 首先,当 G=999~911~659 时,所求显然为 0。 否则,根据 欧拉定理,可知所求为: G^{\sum_{k\mid n}\binom{n}{k} \bmod 999~911~658} \bmod 999~911~659 现在考虑如何计算: \sum_{k\mid n}\binom{n}{k} \bmod 999~911~658 因为 999~911~658 不是质数,无法保证 \forall x \in [1,999~911~657], x 都有逆元存在,上面这个式子我们无法直接计算。 注意到 999~911~658=2 \times 3 \times 4679 \times 35617,其中每个质因子的最高次数均为一,我们可以考虑分别求出 \sum_{k\mid n}\binom{n}{k} 在模 2, 3, 4679, 35617 这几个质数下的结果,最后用中国剩余定理来合并答案。 也就是说,我们实际上要求下面一个线性方程组的解: \begin{cases} x \equiv a_1 \pmod 2\\ x \equiv a_2 \pmod 3\\ x \equiv a_3 \pmod {4679}\\ x \equiv a_4 \pmod {35617} \end{cases} 而计算一个组合数对较小的质数取模后的结果,可以利用 卢卡斯定理。 扩展:模数不互质的情况 两个方程 设两个方程分别是 x\equiv a_1 \pmod {m_1}、 x\equiv a_2 \pmod {m_2}; 将它们转化为不定方程: x=m_1p+a_1=m_2q+a_2,其中 p, q 是整数,则有 m_1p-m_2q=a_2-a_1。 由 裴蜀定理,当 a_2-a_1 不能被 \gcd(m_1,m_2) 整除时,无解; 其他情况下,可以通过 扩展欧几里得算法 解出来一组可行解 (p, q); 则原来的两方程组成的模方程组的解为 x\equiv b\pmod M,其中 b=m_1p+a_1, M=\text{lcm}(m_1, m_2)。 多个方程 用上面的方法两两合并即可。
最新发布
08-16
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值