一般来讲,crt(中国剩余定理)比较常见,而ex_crt(拓展中国剩余定理)不是很常用 但是noi 2018偏偏考了这么个诡异的东西... 所以这里写一个ex_crt模板 模型: 求一个x满足上述方程,其中a1,a2...an不一定互质 解法: 设存在一特解x0满足前k个方程组,且LCM(a1,a2...ak)=M 则前k个方程的通解x=x0+k·M(k∈Z) 这是很显然的,因为 (1<=i<=k) 那么第k+1个方程等价于:求使的t值 这显然可以使用ex_gcd求解(移项即可) 那么剩余部分…