結果
| 問題 | No.2558 中国剰余定理 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2023-12-02 14:40:45 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 42 ms / 2,000 ms | 
| コード長 | 783 bytes | 
| コンパイル時間 | 195 ms | 
| コンパイル使用メモリ | 82,560 KB | 
| 実行使用メモリ | 52,352 KB | 
| 最終ジャッジ日時 | 2024-09-26 17:07:41 | 
| 合計ジャッジ時間 | 2,459 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 29 | 
ソースコード
import math
def CRT(rem_pair, mod_pair):
    """
        rem_pair = (r1,r2)
        mod_pair = (m1,m2) とします。この時m1,m2がどちらも0ではないとします。
        この時
        x = m1 (mod r1)
        x = m2 (mod r2)
        となる整数xが存在する場合、0以上の最小の自然数を返します。
        存在しない場合は-1を返します。
    """
    r1, r2 = rem_pair
    m1, m2 = mod_pair
    assert (m1 != 0 and m2 != 0)
    assert len(rem_pair) == len(mod_pair) == 2
    g = math.gcd(m1, m2)
    if (r2 - r1) % g != 0:
        return -1
    M1, M2, R = m1//g, (-m2)//g, (r2 - r1)//g
    inv = pow(M1, -1, M2) * R % M2
    return (m1*inv + r1) % abs(m1*m2//g)
A,B,a,b = map(int, input().split())
print(CRT((a, b), (A,B)))
            
            
            
        