1. 数学专题(2012ACM).pptVIP

中国剩余定理求解线性同余方程组 对于同余方程组： ????????? x=a1 （mod m1）；?? 1 ???????? x=a2 （mod m2）；??? 2 ???????? 方程组有一个小于m（m1，m2的最小公倍数）的非负整数解的充分必要条件是（a1-a2）%（m1，m2）==0 ，同样利用扩展欧几里德算法。 ????????? 两式联立：a1+m1*y=a2+m2*z。 ????????? 则：a1-a2=m2*z-m1*y; 这样就可以了解出z和y， 则：x=a2+m2*z；?? ????????? 现在我们将其推广到一般情形：（设m1,m2,···,mk两两互素） ????????? x=a1（mod m1）; ????????? x=a2（mod m2）; ????????? ··· ????????? x=ak（mod mk）;其在M=m1*m2*···*mk;中有唯一整数解。 记Mi=M/mi;因为（Mi,mi）=1,故有两整数pi,qi满足Mi*pi+mi*qi=1， 如果记ei=Mi*pi;那么：ei=0 （mod mj）,j!=i; ei=1（mod mj）,j=i; ????????? 很明显，e1*a1+e2*a2+···+ek*ak就是方程的一个解，加减M倍数后就可以得到最小非负整数解了。 ????????? 如果m1,m2,···,mk不互素，那只能两个两个求了。 ????????? x=a1 （mod m1）；?? ???????? x=a2 （mod m2）；??? ????????? 解完后，a=x； m=m1和m2的最小公倍数。即可。 练习 /JudgeOnline/problem?id=1491 /JudgeOnline/problem?id=1061 /showproblem.php?pid=1576 /JudgeOnline/problem?id=2891 /JudgeOnline/problem?id=1006 /JudgeOnline/problem?id=2992 数学中的 余数(remainder) 其实就是 取模(mod),即：???? x mod y = x%y???? x%y???? = x - y[x/y], for y!=0.数学中的余数概念和我们的计算机中的余数概念一致，但实现却不一致。其中 [x/y] 代表的是 x/y 的最小下界。例：???? -3 mod 2???????? = -3 - 2*[-3/2]??????????????????????????? = -3 - 2*[-1.5]??????????????????????????? = -3 - 2*(-2)??????????????????????????? = -3 + 4??????????????????????????? = 1而我们的计算机是怎么做的呢：???????????? -3%2??????? = -3 - 2*(-3/2)???????????????????????????? = -3 - 2*(-1)????????????????????????????? = -3 - (-2)????????????????????????????? = -1所以计算机中的取余实际上是：?????? x%y = x - y(x/y), for y!=0. 数学专题 数论部分 主要内容： 数学基础知识 筛法求素数 欧几里德算法求最大公约数 扩展欧几里德算法 模线性方程的解法 模线性方程组 自然数和整数 自然数的五点规则： 有一个起始的自然数0 任何一个自然数都有后继 0不是任何自然数的后继 不同的自然数有不同的后继 存在一组与自然数相关的命题。假设此命题对起始的自然数0成立，如果该命题对任一自然数成立可以推导出对其后继也成立，则该命题对所有自然数都成立。 注意：有时候我们将0排除在自然数之外，N表示自然数集，Z表示整数集，Z+表示正整数集，Z-表示负整数集。 整除与约数 整除：在数论中，一个整数a能够被另一个整数d整除，记作d|a，意味着存在某个整数k，有a=kd。0可以被每个整数整除。如果a0且d|a，则|d|=|a|。如果d|a，则我们称a是d的倍数。如果d|a并且d0,则我们说d是a的约数。 每个整数a都可以被其平凡约数1和a整除。a的非平凡约数也称为a的因子。例如， ? 20的因子有2， 4，5和10。 整数的一些性质： 如果d|a，则对任意整数k有d|ka； 如果d|a且d|b，则d|(a+b)、d|(a-b)； 如果b|a且a|b，则a=b。 若2能整除a的最末位，则2|a，若4能整