結果
| 問題 |
No.187 中華風 (Hard)
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2021-03-09 19:06:40 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,051 bytes |
| コンパイル時間 | 447 ms |
| コンパイル使用メモリ | 81,920 KB |
| 実行使用メモリ | 76,160 KB |
| 最終ジャッジ日時 | 2024-10-11 12:31:05 |
| 合計ジャッジ時間 | 3,550 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 23 WA * 2 |
ソースコード
def ext_gcd(a, b): # ax + by = gcd(a, b)
if b == 0:
return (1, 0, a)
x, y, g = ext_gcd(b, a % b)
return (y, x - (a // b) * y, g)
def inv_gcd(a, b):
x, y, g = ext_gcd(a, b)
return (g, x % b)
# returns (x % lcm(M), lcm(M)), (x = R[i] (mod M[i]))
def crt(R, M):
N = len(R)
r0 = 0
m0 = 1
for i in range(N):
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 (0, 0) # x nai
continue
g, im = inv_gcd(m0, m1)
u1 = m1 // g
if (r1 - r0) % g != 0:
return (0, 0) # x nai
x = ((((r1 - r0) // g) % u1) * im) % u1
r0 += x * m0
m0 *= u1
if r0 < 0:
r0 += m0
return (r0, m0)
N = int(input())
R = []
M = []
for i in range(N):
x, y = map(int, input().split())
R.append(x)
M.append(y)
ans = crt(R, M)
if ans[1] == 0:
print(-1)
else:
print(ans[0] % (10 ** 9 + 7))