逆元：
对于正整数a和b，如果有a*x ≡ 1(mod n),那么把同余方程中x的最小正整数解叫做a模b的逆元.
拓展欧几里得：
扩展欧几里德算法是用来在已知a,b求解一组x，y，使它们满足贝祖等式： ax+by=gcd(a,b)=d（解一定存在，根据数论中的相关定理）。
当a和b互素时[……]
康托展开 和 逆康托展开
康托展开就是一种特殊的哈希函数。
公式：
X = an*(n-1)! + an-1*(n-2)! + …… + ai*(i-1)! + …… + a2*(1)! + a1*(0)!
其中，a[i] 为当前未出现的元素中，它排在第几个（从0开始计数）。 //不理解无妨，继续往后看样[……]