离散数学课件第2章3.ppt

第二章 算法基础 2.1 Algorithms 算法 2.2 Complexity of Algorithms 算法的复杂性 2.3 The Integers and Division 整数和除法 2.4 Integers and Algorithm 整数和算法 2.5 Applications of Number Theory数论的应用 2.6 Matrices 矩阵 2.7 Recursion 递归 除 法 定义1 如果a和b是整数，a≠0，若有整数c使b=ac，就说a整除b。在a整除b时，a是b的一个因子，b是a的倍数。符号a︱b表示a整除b。当a不能整除b时写成a b 可被整数d整除的整数 例1 判断是否有3|7，3|12 例2 令n和d为正整数。不超过n的正整数中有多少个能为d整除. 定理1 令a，b，c 为整数。有： 1)若a︱b和a︱c，则a︱（b+c); 2)若a︱b，那么对所有整数c都有a︱bc； 3）若a︱b，b︱c，则a︱c。 素 数 大于1的每个正整数都至少能被两个整数整除，因为正整数可以被1和它自己整除。恰有两个不同的正整数因子的整数称为素数 定义2 大于1的正整数p称为素数，如果p仅有的正因子是1和p。大于1又不是素数的正整数称为合数 定理2 算术基本定理 每个正整数都可以唯一地表示为素数的乘积，其中素数因子从小到大依次出现。（乘积可以有0个、1个或多个素因子） 例 100，641，999和1024的素因子如解如下： 100=2×2×5×5=2252 641=641 999=3×3×3×37=33×37 1024=2×2×2×2×2×2×2×2×2×2=210 定理3（证明是否是素数） 如果n是合数，那么n必有一个小于或等于 的素因子 如果整数不能被小于或者等于其平方根个的素数整除，那么该数就是一个素数。 证明 如果n是合数， 它有一个因子a， 使 1an, n=ab，其中a，b都是大于1的整数. 例：证明101是素数 不超过 的仅有的素数是2，3，5，和7.因为101不能被2，3，5和7整除，所以101是素数 除法算法 定理4 除法算法令a为整数，d为正整数，那么有唯一的整数q和r，其中0≤r＜d，使得a=dq+r。 定义3 在上述除法算法给出的等式中，d为除数，a称为被除数，q称为商，r称为余数。 能整除两个整数的最大整数称为这两个整数的最大公约数 定义4 令a和b是不全为0的两个整数。能使d︱a和d︱b的最大整数d称为a和b的最大公约数。a和b的最大公约数用gcd（a，b）表示 定义5 如果整数a和b的最大公约数是1，就说他们是互素的 定义6 整数a1 ，a2，…，an称为两两互素，如果只要1≤i≤j≤n，就有gcd（ai，aj）=1 定义7 正整数a和b的最小公约数是能被a和b整除的最小正整数。a和b的最小公倍数用 lcm（a，b）表示 定理5 令a和b为正整数，则 ab=gcd（a，b）×lcm（a，b） 模运算 定义8 令a为整数，m为正整数。用a mod m表示a被m除的余数 例 17 mod 5 = 2 例 -133 mod 9 = 2 例 2001 mod 101 = 82 定义9 若a和b为整数而m为正整数，如果m整除a-b，就说a与模m同余，用a≡b（mod m）表示。如果a和b不是模m同余的，就写成a b（mod m） 例 判断17是否和5模6同余，24是否和14模6同余 解 由于6整除17-5=12，所以17 ≡5（mod 6） 24-14=10不能被6整数，所以24 14（mod 6） 定理6 令m为正整数。整数a和b模m同余的充分必要条件是存在整数k，使a=b+km 证明 若a ≡ b（mod m） m |（a-b） 有整数k使得a-b=km，所以 a=km+b 若存在整数k，使得km=a-b M整除a-b， 所以 a ≡ b（mod m） 定理7 令m为正整数，若a≡b（mod m）， c≡d（mod m），那么a+c ≡b+d（mod m）及ac=bd（mod m）。 证明 a≡b（mod m） b=a+sm c≡d（mod m） d=c+tm b+d=(a+sm)+(c+tm)=(a+c)+(s+t)m bd= =(a+sm)*(c+tm)=ac+m(at+cs+stm) 因此 a+c=b+d（mod m） 及 ac=bd（mod m） 例 由于7≡2（mod 5）和11 ≡1（mod 5），从定理7知 18=7+11 ≡3（mod 5） 且