类欧几里得学习小计

现在才会类欧我好菜啊，而且是简单的部分

特殊类欧

• 求$L\le vx\%M\le R$的最小的$x$。

• 记$f(M,v,L,R)$为上面的答案$(0<v<M,0\le L,R<M)$

• 按照一般的套路，将特殊的情况判掉，最后再缩减范围即可。

• 首先保证$0\le L\le R<M$，否则如果$L\le 0\le R$，$x=0$。

• 然后判断无解的情况

  • 因为所有$vx\%M$一定可以表示成$k\ast gcd(M,v)$，所以要求：
  • $\lfloor \frac{L-1}{(M,v)}\rfloor +1\le \lfloor \frac{R}{(M,v)}\rfloor$

• 最小解

  • 如果$\lfloor \frac{L-1}{v}\rfloor +1\le \lfloor \frac{R}{v}\rfloor$
  • 显然$x=\lfloor \frac{L-1}{v}\rfloor +1$为最小的解。
  • 否则就满足$L\%v\le R\%v$

• 修改$v$保证时间复杂度

  • 如果$2v\ge M$，不妨全部取一个负数。
  • $f(M,v,L,R)=f(M,M-v,M-R,M-L)$。
  • 那么保证了$v\le \frac{M}{2}$

• 那么现在有$L\le vx\%M\le R$

• $L\le vx-pM\le R$，左右$\%v$得到：

• $L\%v\le (v-M\%v)p\le R\%v$，在$\%v$下要求一个最小的$p$，然后就可以凑一个$x$使得满足原问题了。

• 这个也是一个子问题$p=f(v,v-M\%v,L\%v,R\%v)$，由于上面对$v$保证$v\le \frac{M}{2}$，所以是$O(log)$的。

• $x=\lfloor \frac{L+pM-1}{v}\rfloor +1$。