結果

問題 No.187 中華風 (Hard)
ユーザー taq225taq225
提出日時 2020-03-15 23:59:25
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 86 ms / 3,000 ms
コード長 1,312 bytes
コンパイル時間 84 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 11,264 KB
最終ジャッジ日時 2024-11-26 08:48:08
合計ジャッジ時間 2,386 ms
ジャッジサーバーID
(参考情報)
judge1 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 28 ms
10,752 KB
testcase_01 AC 30 ms
10,752 KB
testcase_02 AC 54 ms
10,880 KB
testcase_03 AC 52 ms
11,008 KB
testcase_04 AC 86 ms
11,136 KB
testcase_05 AC 85 ms
11,008 KB
testcase_06 AC 84 ms
11,008 KB
testcase_07 AC 85 ms
11,008 KB
testcase_08 AC 84 ms
11,264 KB
testcase_09 AC 83 ms
11,008 KB
testcase_10 AC 85 ms
11,136 KB
testcase_11 AC 81 ms
11,008 KB
testcase_12 AC 82 ms
11,136 KB
testcase_13 AC 31 ms
10,880 KB
testcase_14 AC 30 ms
10,752 KB
testcase_15 AC 61 ms
11,008 KB
testcase_16 AC 61 ms
10,880 KB
testcase_17 AC 27 ms
10,624 KB
testcase_18 AC 29 ms
10,752 KB
testcase_19 AC 26 ms
10,624 KB
testcase_20 AC 70 ms
11,008 KB
testcase_21 AC 28 ms
10,624 KB
testcase_22 AC 83 ms
11,136 KB
testcase_23 AC 26 ms
10,624 KB
testcase_24 AC 26 ms
10,752 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Main.py:20: SyntaxWarning: invalid escape sequence '\e'
  '''

ソースコード

diff #

from functools import reduce

def gcd(a, b):
    while b:
        a, b = b, a%b
    return a

def lcm(a, b):
	return a * b // gcd (a, b)

def extended_euclid(a, b):
    x1, y1, m = 1, 0, a
    x2, y2, n = 0, 1, b
    while m % n != 0:
        q, r = divmod(m, n)
        x1, y1, m, x2, y2, n = x2, y2, n, x1 - q * x2, y1 - q * y2, r
    return (x2, y2, n)

def fraenkel(A, M):
    '''
        solve
            x \equiv a_1 (mod m_1), ... x \equiv a_k (mod m_k)
        by applying the Fraenkel's Algorithm
        Input: 
            A = [a_1, ..., a_k]: a list
            M = [m_1, ..., m_k]: a list.
        Output:
            Returns the tuple (x, mod) of the solution x and the modulus mod = m_1 ... m_k if exists
            else (0, -1).
    '''
    # initialize
    x = 0; mod = 1
    for a, m in zip(A, M):
        u, _, g = extended_euclid(mod, m)
        q, r = divmod(a - x, g)
        if r != 0: return 0, -1
        temp = m // g
        x += mod * (((q % temp) * (u % temp)) % temp); mod *= temp; x %= mod
    return x, mod

N = int(input())
MOD = 10**9 + 7
A = []
M = []
for _ in range(N):
    a, m = map(int, input().split())
    A.append(a)
    M.append(m)
x, m = fraenkel(A, M)
if (x, m) == (0, -1):
    x = -1
elif x == 0 and m != -1:
    x = reduce(lcm, M)
print(x % MOD if x != -1 else x)
0