結果

問題 No.890 移調の限られた旋法
ユーザー tjake
提出日時 2019-09-20 22:34:39
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 990 ms / 2,000 ms
コード長 782 bytes
コンパイル時間 151 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 96,900 KB
最終ジャッジ日時 2024-09-14 18:30:57
合計ジャッジ時間 17,762 ms
ジャッジサーバーID
(参考情報)
judge4 / judge1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 32
権限があれば一括ダウンロードができます

ソースコード

diff #

from itertools import product
N, K = map(int, input().split())
MOD = 10**9 + 7

fact = [1]*(N+1)
rfact = [1]*(N+1)
r = 1
for i in range(1, N+1):
  fact[i] = r = r * i % MOD
rfact[N] = r = pow(fact[N], MOD-2, MOD)
for i in range(N, 0, -1):
  rfact[i-1] = r = r * i % MOD
def comb(n, k):
  return fact[n] * rfact[k] * rfact[n-k] % MOD

p = [1]*(N+1)
p[0] = p[1] = 0

vs = []
ans = 0
for x in range(2, N+1):
    if p[x] and N % x == 0 and K % x == 0:
        for y in range(x*x, N+1, x):
            p[y] = 0
        vs.append(x)

L = len(vs)
for ps in product([0, 1], repeat=L):
    e = 1
    c = 0
    for p, v in zip(ps, vs):
        if p:
            c ^= 1
            e *= v
    if e == 1:
        continue
    ans += comb(N//e, K//e) if c else -comb(N//e, K//e)
print(ans % MOD)
0