結果
| 問題 |
No.2117 中国剰余定理入門
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2022-11-04 21:27:13 |
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
| 結果 |
AC
|
| 実行時間 | 29 ms / 2,000 ms |
| コード長 | 1,012 bytes |
| コンパイル時間 | 69 ms |
| コンパイル使用メモリ | 12,672 KB |
| 実行使用メモリ | 10,880 KB |
| 最終ジャッジ日時 | 2024-07-18 19:11:28 |
| 合計ジャッジ時間 | 1,256 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 20 |
ソースコード
def inv_gcd(a,b):
a=a%b
if a==0:
return (b,0)
s=b;t=a
m0=0;m1=1
while(t):
u=s//t
s-=t*u
m0-=m1*u
s,t=t,s
m0,m1=m1,m0
if m0<0:
m0+=b//s
return (s,m0)
def inv_mod(x,m):
assert 1<=m
z=inv_gcd(x,m)
assert z[0]==1
return z[1]
def crt(r,m):
assert len(r)==len(m)
n=len(r)
r0=0;m0=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 (0,0)
continue
g,im=inv_gcd(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)
b0, c0 = map(int, input().split())
b1, c1 = map(int, input().split())
r, m = crt([c0, c1], [b0, b1])
if r == 0 and m == 0:
print("NaN")
else:
print(r)