結果

問題 No.1255 ハイレーツ・オブ・ボリビアン
ユーザー persimmon-persimmon
提出日時 2021-02-23 14:08:52
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 611 ms / 2,000 ms
コード長 783 bytes
コンパイル時間 370 ms
コンパイル使用メモリ 82,212 KB
実行使用メモリ 128,004 KB
最終ジャッジ日時 2024-09-22 09:18:28
合計ジャッジ時間 3,791 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 15
権限があれば一括ダウンロードができます

ソースコード

diff # 

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
  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