結果

問題 No.186 中華風 (Easy)
ユーザー NatsubiSogan
提出日時 2021-09-08 22:36:09
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
WA  
実行時間 -
コード長 842 bytes
コンパイル時間 410 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 11,520 KB
最終ジャッジ日時 2024-12-27 03:46:26
合計ジャッジ時間 2,026 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 21 WA * 2
権限があれば一括ダウンロードができます

ソースコード

diff # 

import typing

# 中国剰余定理
def invgcd(a: int, b: int) -> typing.Tuple[int, int]:
	a %= b
	if a == 0: return (b, 0)
	s, t, m0, m1 = b, a, 0, 1
	while t:
		u = s // t
		s %= t
		m0 -= m1 * u
		s, t = t, s
		m0, m1 = m1, m0
	if m0 < 0: m0 += b // s
	return (s, m0)

def garner(r: list, m: list) -> typing.Tuple[int, int]:
	n = len(r)
	r0, m0 = 0, 1
	for i in range(n):
		r1, m1 = r[i] % m[i], m[i]
		if m0 < m1:
			r0, r1 = r1, r0
			m0, m1 = m1, m0
		if m0 % m1 == 0:
			if r0 % m1 != r1: return (0, 0)
			continue
		g, im = invgcd(m0, m1)
		u1 = m1 // g
		if (r1 - r0) % g: return (0, 0)
		x = (r1 - r0) // g % u1 * im % u1
		r0 += x * m0
		m0 *= u1
		if r0 < 0: r0 += m0
	return (r0, m0)

x, y = [0] * 3, [0] * 3
for i in range(3):
	x[i], y[i] = map(int, input().split())
ans = garner(x, y)[0]
if ans == 0: print(-1)
else: print(ans)
0