【日志】扩展中国剩余定理

扩展中国剩余定理（P4777 【模板】扩展中国剩余定理）

原题传送门

中国剩余定理被划分为useless算法了

不过中国剩余定理能做的，扩展中国剩余定理（应该）都能做到

过程

考虑两个同余方程。

$$\begin{gathered} x\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}b) \\ x\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}d) \end{gathered}$$

从模的定义上，可以将第一个式子转化为：

$$x=bt+a$$

之后再将方程带入二式，得：

$$bt+a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}d)$$

改变一下形式，即为：

$$bt\equiv c-$$