結果

問題 No.890 移調の限られた旋法
ユーザー maspy
提出日時 2020-03-05 12:14:57
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 692 ms / 2,000 ms
コード長 1,260 bytes
コンパイル時間 177 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 90,508 KB
最終ジャッジ日時 2024-10-14 00:56:10
合計ジャッジ時間 24,950 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 32
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/usr/bin/env python3
# %%
import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

import numpy as np
MOD = 10 ** 9 + 7

# %%
N, K = map(int, read().split())
D = np.gcd(N, K)

# %%


def cumprod(A, MOD=MOD):
    L = len(A)
    Lsq = int(L**.5 + 1)
    A = np.resize(A, Lsq**2).reshape(Lsq, Lsq)
    for n in range(1, Lsq):
        A[:, n] *= A[:, n - 1]
        A[:, n] %= MOD
    for n in range(1, Lsq):
        A[n] *= A[n - 1, -1]
        A[n] %= MOD
    return A.ravel()[:L]


def make_fact(U, MOD=MOD):
    x = np.arange(U, dtype=np.int64)
    x[0] = 1
    fact = cumprod(x, MOD)
    x = np.arange(U, 0, -1, dtype=np.int64)
    x[0] = pow(int(fact[-1]), MOD - 2, MOD)
    fact_inv = cumprod(x, MOD)[::-1]
    fact.flags.writeable = False
    fact_inv.flags.writeable = False
    return fact, fact_inv


# %%
U = 10 ** 6 + 10
fact, fact_inv = make_fact(U)


# %%
x = np.arange(1, D + 1, dtype=np.int64)
div = x[D % x == 0]

# %%
n = N // div
k = K // div
dp = fact[n] * fact_inv[k] % MOD * fact_inv[n - k] % MOD
dp
# %%
div = div[::-1]
dp = dp[::-1]
for i in range(1, len(div)):
    dp[i] -= dp[:i][div[:i] % div[i] == 0].sum()
    dp[i] %= MOD

# %%
answer = dp[:-1].sum() % MOD
print(answer)
0