結果

問題 No.186 中華風 (Easy)
ユーザー NatsubiSoganNatsubiSogan
提出日時 2021-09-08 22:36:09
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
WA  
実行時間 -
コード長 842 bytes
コンパイル時間 510 ms
コンパイル使用メモリ 10,884 KB
実行使用メモリ 9,928 KB
最終ジャッジ日時 2023-08-27 11:00:03
合計ジャッジ時間 2,799 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 32 ms
9,912 KB
testcase_01 AC 31 ms
9,792 KB
testcase_02 AC 33 ms
9,780 KB
testcase_03 AC 32 ms
9,848 KB
testcase_04 AC 32 ms
9,856 KB
testcase_05 AC 32 ms
9,832 KB
testcase_06 AC 33 ms
9,856 KB
testcase_07 AC 32 ms
9,760 KB
testcase_08 AC 32 ms
9,780 KB
testcase_09 AC 33 ms
9,716 KB
testcase_10 AC 33 ms
9,904 KB
testcase_11 AC 33 ms
9,928 KB
testcase_12 AC 34 ms
9,796 KB
testcase_13 AC 32 ms
9,768 KB
testcase_14 AC 32 ms
9,876 KB
testcase_15 AC 32 ms
9,928 KB
testcase_16 WA -
testcase_17 WA -
testcase_18 AC 34 ms
9,836 KB
testcase_19 AC 34 ms
9,776 KB
testcase_20 AC 33 ms
9,904 KB
testcase_21 AC 32 ms
9,928 KB
testcase_22 AC 32 ms
9,920 KB
権限があれば一括ダウンロードができます

ソースコード

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