第8章 数论算法及计算几何算法.pptVIP

第八章 数论算法及计算几何算法 教学目标 理解求最大公约数的算法 掌握欧几里德公式的推广 掌握求解同余方程的算法 掌握运用中国剩余定理解决实际问题 理解线段相交的概念 掌握线段是否相交的判定算法 理解凸包的概念及穷举搜索的解决方法 掌握凸包问题及最接近点对问题的分治法 8.1最大公约数 定义1 设a，b是整数，b≠0，如果存在整数c，使得a=bc成立．则称a被b整除，a是b的倍数，b是a的约数(因数或除数)，可记为b|a；如果不存在整数c使得a＝bc成立，则称a不被b整除，记为ba。 定理1(带余数除法) 设a与b是两个整数，b≠0，则存在唯一的两个整数q和r，使得a=bq+r，0≤r|b|。（证明略） 定义2 在定理1的表达式a=bq+r中，称q是a被b除的商，r是a被b除的余数。 最大公约数是指两个或两个以上整数的公共约数中最大者。 8.1.1欧几里德算法 欧几里德定理 任意给定两个整数a,b，不妨假设a≥b。它们的最大公约数用gcd(a，b)表示，则gcd(a，b)=gcd(b，a mod b) ，其中a mod b表示a被b除所得的余数 欧几里德递归定义式 应用举例（求100和210最大公约数） 欧几里德递归公式的推广 来解决“已知a, b求解一组x，y使得ax+by=gcd(a, b)?”问题 令gcd(a, b)=d，则ax+by=d；gcd(b,a