关于最大不可组合数——再造一次轮子

题目链接：HDU1792-A New Change Problem
大佬的原文：关于数论中的互质数的最大不能组合数
这里附上蓝桥2017年决赛的版本：（似乎17年哪个省的io也有这个）

（蓝桥没有强调两个数是互质的，不过用例看上去都是互质的，下文会讨论不互质的情况）

  其实这类问题网上都讨论烂了，这篇主要还是为了加深自己的理解，顺便妄图改进下完整的过程。最后再尝试从代数数论的角度讨论这个问题。（我太菜了，代数数论无了）

普通数论证明

  我们假设输入分别为$a,b$，不失一般性地，我们令$a<b$
首先讨论互质的情况，
  $\circ$ （推论）由于互质，所以有$gcd(a,b)=1$，$lcm(a,b)=ab$。
  $\circ$ （定义）对于任意一个整数，它模$n$必然在集合 { 0 , 1 , … , n − 1 } \{0,1,\dots,n-1\} { 0,1,…,n−1}内，我们可以根据模$n$的余数将整数$\mathbb{Z}$不重叠地划分为$n$个等价类，将包含这些等价类的集合记为 R n = { 0 ‾ , 1 ‾ , … , b − 1 ‾ } R_n=\{\overline 0,\overline 1,\dots,\overline{b-1}\} Rn​={ 0,1,…,b−1​}（注意$\overline{r}$表示一个集合），我们称$R_n$为剩余系，而$\overline{r}$