結果

問題 No.187 中華風 (Hard)
ユーザー kokonotsukokonotsu
提出日時 2024-05-06 20:33:09
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
WA  
実行時間 -
コード長 1,731 bytes
コンパイル時間 282 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 11,136 KB
最終ジャッジ日時 2024-05-06 20:33:12
合計ジャッジ時間 3,284 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 35 ms
10,880 KB
testcase_01 AC 34 ms
10,752 KB
testcase_02 WA -
testcase_03 WA -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 WA -
testcase_14 WA -
testcase_15 RE -
testcase_16 RE -
testcase_17 AC 33 ms
10,880 KB
testcase_18 AC 34 ms
11,008 KB
testcase_19 AC 31 ms
10,880 KB
testcase_20 RE -
testcase_21 WA -
testcase_22 RE -
testcase_23 WA -
testcase_24 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

def ext_gcd(a, b):
    """
    一次不定方程式　ax + by = d(=gcd(a, b))の特殊解を求める
    :return: x, y, gcd(a, b)をタプルで返す
    """
    # a * x + b * y == d
    ret_x, ret_y, ret_gcd = 1, 0, a
    x2, y2, d2 = 0, 1, b

    while d2 != 0:
        q = ret_gcd // d2
        ret_gcd, d2 = d2, ret_gcd - d2 * q
        ret_x, x2 = x2, ret_x - x2 * q
        ret_y, y2 = y2, ret_y - y2 * q

    if ret_gcd < 0:
        ret_gcd, ret_x, ret_y = -ret_gcd, -ret_x, -ret_y

    return ret_x, ret_y, ret_gcd

def calc_inv(a, m):
    """
    ax ≡ 1 (mod m)のx(a^(-1))の値を求める
    :return: gcd(a, m),
    """
    inv, _, g = ext_gcd(a, m)

    return g, (inv + m) % m


def Chinese_Remainder_Theorem(r: list, m: list):
    """
    # x ≡ r_i (mod m_i) (0<=i<=n)を満たす連立合同式の解x (mod m0)があれば(x, m0)を返す
    # 解が存在しない場合は(None, None)が返る
    :return:
    """
    n = len(r)
    r0, m0 = 0, 1
    for i in range(n):
        assert 1 <= m[i]
        r1 = r[i] % m[i]
        m1 = m[i]

        if m0 < m1:
            r0, r1 = r1, r0
            m0, m1 = m1, m0

        if m0 % m1 == 0:
            if r0 % m1 != r1:
                return None, None
            continue

        g, im = calc_inv(m0, m1)
        u1 = m1 // g
        if (r1 - r0) % g:
            return None, None

        x = (r1 - r0) // g % u1 * im % u1
        r0 += x * m0
        m0 *= u1
        if r0 < 0:
            r0 += m0

    return r0, m0


N = int(input())
X = []
Y = []
for i in range(N):
    x, y = map(int, input().split())
    X.append(x)
    Y.append(y)

ans, m = Chinese_Remainder_Theorem(X, Y)
if ans == 0:
    ans = m

print(ans if ans is not None else -1)
0