2019牛客暑期多校训练营（第十场）Han Xin and His Troops——扩展中国剩余定理

题意

求解 $n$ 个模方程 $x \equiv a (mod \ b)$，不保证模数互素（$1 \leq n \leq 100$，$0 \leq b < a< 10^5$）.

分析

套扩展中国剩余定理的模板，

然而__int128都会爆（好像也可以改成不会爆的），

不管，直接扔给队友改成Python版。

def gcd(a,b):
    if b==:
        return a
    else :
        return gcd(b,a%b)

def exgcd(a,b):
    if b == :
        return ,
    else:
        y,x = exgcd(b, a%b)
        y = y - (a//b)*x
        return x,y

def inv(a,b):
    x,y = exgcd(a,b)
    while x< :
        x = b+x
    return x,y

MAXN = int(1e6+)
C = []*
M = []*
str = input().split(" ")
k = int(str[])
lim = int(str[])
for i in range(,k+):
    str = input().split(" ")
    M[i] = int(str[])
    C[i] = int(str[])
flag = True
for i in range(,k+):
    M1 = M[i-]
    M2 = M[i]
    C2 = C[i]
    C1 = C[i-]
    T = gcd(M1,M2)
    if (C2-C1)%T != :
        flag = False
        break
    M[i] = (M1*M2)//T
    x,y = inv(M1//T,M2//T)
    C[i] = (x * (C2 - C1) // T ) % (M2 // T) * M1 +C1
    C[i] = (C[i] % M[i] + M[i]) % M[i]

if flag:
    if C[k] > lim :
        print("he was probably lying")
    else :
        print(C[k])
else :
    print("he was definitely lying")