結果

問題 No.890 移調の限られた旋法
コンテスト
ユーザー neterukun
提出日時 2019-09-20 22:53:25
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,981 bytes
コンパイル時間 516 ms
コンパイル使用メモリ 82,324 KB
実行使用メモリ 148,576 KB
最終ジャッジ日時 2024-09-14 19:05:14
合計ジャッジ時間 29,043 ms
ジャッジサーバーID
（参考情報） 		judge6 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 20 WA * 12
権限があれば一括ダウンロードができます

ソースコード

diff # 

class Combination:
    '''MOD上の
    計算量：階乗・逆元テーブルの作成O(N)
    nCkを求めるO(1)'''

    def __init__(self, n, MOD):
        self.fact = [1]
        for i in range(1, n + 1):
            self.fact.append(self.fact[-1] * i % MOD)
        self.inv_fact = [pow(self.fact[i], MOD - 2, MOD) for i in range(n + 1)]
        self.MOD = MOD

    def factorial(self, k):
        """k!を求める O(1)"""
        return self.fact[k]

    def inverse_factorial(self, k):
        """k!の逆元を求める O(1)"""
        return self.inv_fact[k]

    def permutation(self, k, r):
        """kPrを求める O(1)"""
        if k < r:
            return 0
        return (self.fact[k] * self.inv_fact[r]) % self.MOD

    def combination(self, k, r):
        """kCrを求める O(1)"""
        if k < r:
            return 0
        return (self.fact[k] * self.inv_fact[k - r] * self.inv_fact[r]) % self.MOD


def make_divisors(n):
    """自然数nの約数を列挙したリストを出力する
    計算量: O(sqrt(N))
    入出力例: 12 -> [1, 2, 3, 4, 6, 12]
    """
    divisors = []
    for k in range(1, int(n**0.5) + 1):
        if n % k == 0:
            divisors.append(k)
            if k != n // k:
                divisors.append(n // k)
    divisors = sorted(divisors)
    return divisors


def gcd(a, b):
    """a, bの最大公約数(greatest common divisor:GCD)を求める"""
    if b == 0:
        return a
    return gcd(b, a%b)


n, k = map(int, input().split())
MOD = 10**9 + 7
comb = Combination(10**6 + 10, MOD)

gcd_nk = gcd(n, k)
div_list = make_divisors(gcd_nk)

li = []
for num in div_list:
    if num == 1:
        continue
    total = n // num
    selected = k // num
    tmp = comb.combination(total, selected)
    li.append((total, tmp))

ans = 0
for i in range(len(li)):
    ans += li[i][1]
    for j in range(i):
        if li[j][0] % li[i][0] == 0:
            ans -= li[i][1]
    ans %= MOD
print(ans % MOD)
0