結果
| 問題 | No.2558 中国剰余定理 | 
| コンテスト | |
| ユーザー |  Cecil | 
| 提出日時 | 2023-12-02 14:47:18 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 30 ms / 2,000 ms | 
| コード長 | 789 bytes | 
| コンパイル時間 | 121 ms | 
| コンパイル使用メモリ | 12,416 KB | 
| 実行使用メモリ | 10,880 KB | 
| 最終ジャッジ日時 | 2024-09-26 17:23:53 | 
| 合計ジャッジ時間 | 1,941 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 29 | 
ソースコード
import math
A,B,a,b = map(int, input().split())
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)
ans = CRT((a,b),(A,B))
print(ans)
            
            
            
        