結果
問題 | No.2117 中国剰余定理入門 |
ユーザー | Shirotsume |
提出日時 | 2022-11-04 21:44:49 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 72 ms / 2,000 ms |
コード長 | 1,434 bytes |
コンパイル時間 | 328 ms |
コンパイル使用メモリ | 86,956 KB |
実行使用メモリ | 71,552 KB |
最終ジャッジ日時 | 2023-09-26 00:04:31 |
合計ジャッジ時間 | 2,661 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 68 ms
71,436 KB |
testcase_01 | AC | 66 ms
71,288 KB |
testcase_02 | AC | 69 ms
71,132 KB |
testcase_03 | AC | 68 ms
71,140 KB |
testcase_04 | AC | 72 ms
71,328 KB |
testcase_05 | AC | 68 ms
71,352 KB |
testcase_06 | AC | 67 ms
71,280 KB |
testcase_07 | AC | 69 ms
71,412 KB |
testcase_08 | AC | 67 ms
71,224 KB |
testcase_09 | AC | 68 ms
71,132 KB |
testcase_10 | AC | 67 ms
71,284 KB |
testcase_11 | AC | 68 ms
71,276 KB |
testcase_12 | AC | 69 ms
71,400 KB |
testcase_13 | AC | 67 ms
71,324 KB |
testcase_14 | AC | 68 ms
71,432 KB |
testcase_15 | AC | 67 ms
71,552 KB |
testcase_16 | AC | 67 ms
71,440 KB |
testcase_17 | AC | 69 ms
71,344 KB |
testcase_18 | AC | 67 ms
71,112 KB |
testcase_19 | AC | 66 ms
71,396 KB |
ソースコード
import sys input = lambda: sys.stdin.readline().rstrip() ii = lambda: int(input()) mi = lambda: map(int, input().split()) li = lambda: list(mi()) inf = 2 ** 63 - 1 mod = 998244353 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) def floor_sum(n,m,a,b): ans=0 if a>=m: ans+=(n-1)*n*(a//m)//2 a%=m if b>=m: ans+=n*(b//m) b%=m y_max=(a*n+b)//m x_max=(y_max*m-b) if y_max==0: return ans ans+=(n-(x_max+a-1)//a)*y_max ans+=floor_sum(y_max,a,m,(a-x_max%a)%a) return ans b0, c0 = mi() b1, c1 = mi() C = crt((c0, c1), (b0, b1)) print(C[0] if C[1] > 0 else 'NaN')