GCD: 求m的第k个互质的数 扩展gcd 求|X|+|Y|最小值 同余定理: 规则应用 定义: 看题 (梅森数定义题)待补 素数: 素数表 伪素数 素数定义长度 数字素数 整数分为四个素数和 Miller-Rabin测试算法模板32位内素数检查,2,7,61为底 Miller-Rabin检查素数+Pollard_rho分解因子板子