定理一:
若是k个两两互质的正整数,,则同余式
(1)
与同余式组
(i=1,2,3,...,k) (2)
等价,并且若用表示对模的解数,T表示(1)式对模m的解数,
则:
所以求多项式的解可以用上述方法,先分解分别求出各个解再合并。
定理二:p是素数,r>=2是整数,是整系数多项式,设是同余方程
的一个解,以表示的导数。
(1)若,则存在整数t,使是同于方程的解。
(2)若,并且,则对于t=0,1,2,3,...,p-1,中的
x都是方程的解。
2013年全国邀请赛长沙赛区的E题就是利用上述的定理。
给定函数 , pri为质数,求一个x使得,, 如果没有,输出No Solution.
首先求得所有的i,使得
然后分别验证所有的 , 是否满足
由于在第一次枚举的时候保留下来的i不会很多,第二次暴力枚举的时候复杂度不会很大。
#include <iostream> #include <string.h> #include <stdio.h> using namespace std; typedef long long LL; const int N=105; LL a[N]; LL temp[N]; LL Equ(LL n,LL x) { if(n==1) return a[1]*x+a[0]; else if(n==2) return a[2]*x*x+a[1]*x+a[0]; else if(n==3) return a[3]*x*x*x+a[2]*x*x+a[1]*x+a[0]; else if(n==4) return a[4]*x*x*x*x+a[3]*x*x*x+a[2]*x*x+a[1]*x+a[0]; } int main() { LL T,n,i,j,p,k,tt=1; cin>>T; while(T--) { cin>>n; for(i=n;i>=0;i--) cin>>a[i]; cin>>p; k=0; for(i=0;i<p;i++) { if(Equ(n,i)%p==0) { temp[k++]=i; } } if(k==0) { printf("Case #%I64d: No solution!\n",tt++); continue; } LL ret=-1; for(i=0;i<k;i++) { bool flag=0; for(j=0;j<p;j++) { LL x=(temp[i]+j*p); if(Equ(n,x)%(p*p)==0) { ret=x; flag=1; break; } } if(flag) break; } if(ret==-1) { printf("Case #%I64d: No solution!\n",tt++); continue; } printf("Case #%I64d: %I64d\n",tt++,ret); } return 0; }