随笔分类 - 数论
Lucas定理
摘要:定义 若 为质数,且 则有: \[C^b_a\equiv C^{\left\lfloor b/p \right\rfloor}_{\left\lfloor a/p \right\rfloor}\times C^{b\bmod p}_{a\bmod a}\p
Miller-Rabin 素性测试算法
摘要:前提 Miller-Rabin 素性测试算法需要如下两个引理: 1. 费马小定理 设 是素数, 为整数,且 ,则 证明: $ \begin{aligned} &考虑\ 1,2,3,\dots,(p-1)\ 这\ p-1