結果

問題 No.1255 ハイレーツ・オブ・ボリビアン
ユーザー persimmon-persimmonpersimmon-persimmon
提出日時 2021-02-23 14:14:43
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 689 ms / 2,000 ms
コード長 1,282 bytes
コンパイル時間 162 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 171,568 KB
最終ジャッジ日時 2024-09-22 09:21:49
合計ジャッジ時間 4,169 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 36 ms
52,352 KB
testcase_01 AC 40 ms
52,608 KB
testcase_02 AC 45 ms
59,008 KB
testcase_03 AC 41 ms
58,624 KB
testcase_04 AC 45 ms
58,752 KB
testcase_05 AC 47 ms
62,208 KB
testcase_06 AC 46 ms
62,476 KB
testcase_07 AC 51 ms
62,848 KB
testcase_08 AC 367 ms
133,340 KB
testcase_09 AC 382 ms
138,896 KB
testcase_10 AC 375 ms
134,848 KB
testcase_11 AC 373 ms
134,532 KB
testcase_12 AC 382 ms
134,912 KB
testcase_13 AC 84 ms
99,840 KB
testcase_14 AC 689 ms
171,568 KB
testcase_15 AC 359 ms
135,716 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

# baby-step-giant-step
# 離散対数問題(Discrete Logarithm Problem)を解くアルゴリズム。
# あるX,Y,M について X^K≡Y (mod M) となる K を求める。
# X,Mは互いに素

def bsgs(x,y,m):
  c=int(m**0.5)+1
  d={}
  # baby-step
  now=1
  for i in range(c):
    d[now]=i
    now*=x
    now%=m
    if now==y:return i+1
  # giant-step
  gs=modinv(now,m)
  now=y
  for i in range(c):
    now*=gs
    now%=m
    if now in d:return (i+1)*c+d[now]
  return m

def xgcd(a, b):
  x0,y0,x1,y1=1,0,0,1
  while b!=0:
    q,a,b=a//b,b,a%b
    x0,x1=x1,x0-q*x1
    y0,y1=y1,y0-q*y1
  return x0
memo={}
# mod m におけるaの逆元。gcd(a,m)=1
def modinv(a, m):
  if (a,m) in memo:return memo[(a,m)]
  x=xgcd(a, m)
  memo[(a,m)]=x%m
  return x % m

def main2(n):
  if n==1:return 1
  # 2^i==1 mod 2*n-1 となるiを返す
  mod=2*n-1
  return bsgs(2,1,mod)
  d={0:1}
  now=2
  c=int(n**0.5)
  for i in range(c+3):
    if now==1:
      return i+1
    d[now]=i+1
    now=now*2%mod
  inv2=modinv(2,mod)
  gs=pow(inv2,c,mod)
  now=gs
  cnt=1
  while True:
    if now in d:
      # 2^(-c*cnt)=2^d[now]
      # 1=2^(c*cnt+d[now])
      return d[now]+c*cnt
    now=now*gs%mod
    cnt+=1

t=int(input())
cases=[int(input()) for _ in range(t)]
for n in cases:
  print(main2(n))
0