結果

問題 No.1287 えぬけー
ユーザー tyawanmusityawanmusi
提出日時 2020-10-01 03:47:53
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 1,386 ms / 2,000 ms
コード長 631 bytes
コンパイル時間 89 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 10,880 KB
最終ジャッジ日時 2024-07-07 01:20:41
合計ジャッジ時間 6,603 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 23 ms
10,880 KB
testcase_01 AC 23 ms
10,752 KB
testcase_02 AC 23 ms
10,880 KB
testcase_03 AC 24 ms
10,752 KB
testcase_04 AC 24 ms
10,880 KB
testcase_05 AC 1,335 ms
10,880 KB
testcase_06 AC 1,339 ms
10,752 KB
testcase_07 AC 1,386 ms
10,752 KB
testcase_08 AC 1,290 ms
10,752 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

# 拡張ユークリッド互除法
# ax + by = gcd(a, b) となる解 (x, y) の一例と gcd(a, b) を求める
# 引数 (a, b) 返り値 (gcd(a, b), x, y)
def egcd(a, b):
  if a == 0:
    return b, 0, 1
  else:
    g, y, x = egcd(b % a, a)
    return g, x - (b // a) * y, y

def solve(x, k):
  # a(mod-1) + b(-k) = 1
  _, _, b = egcd(mod-1, -k)
  # a(mod-1) + b(-k) = -1 にして、 0 <= b < mod-1 にする
  b *= -1
  b %= mod-1

  n = pow(x, b, mod)
  return n

mod = 10**9+7
t = int(input())
for _ in range(t):
  x, k = map(int, input().split())
  assert 0<=x<mod
  assert 1<=k<=5*10**8
  assert k%2==1
  print(solve(x, k))
0