結果
| 問題 | 
                            No.890 移調の限られた旋法
                             | 
                    
| コンテスト | |
| ユーザー | 
                             leaf_1415
                         | 
                    
| 提出日時 | 2019-09-20 22:23:59 | 
| 言語 | C++11(廃止可能性あり)  (gcc 13.3.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 35 ms / 2,000 ms | 
| コード長 | 1,356 bytes | 
| コンパイル時間 | 773 ms | 
| コンパイル使用メモリ | 66,336 KB | 
| 実行使用メモリ | 19,200 KB | 
| 最終ジャッジ日時 | 2024-09-14 18:13:13 | 
| 合計ジャッジ時間 | 2,777 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 32 | 
ソースコード
#include <iostream>
#include <map>
#include <vector>
#define llint long long
#define mod 1000000007
using namespace std;
const int FACT_MAX = 1000005;
llint fact[FACT_MAX], fact_inv[FACT_MAX];
llint modpow(llint a, llint n)
{
	if(n == 0) return 1;
	if(n % 2){
		return ((a%mod) * (modpow(a, n-1)%mod)) % mod;
	}
	else{
		return modpow((a*a)%mod, n/2) % mod;
	}
}
void make_fact()
{
	llint val = 1;
	fact[0] = 1;
	for(int i = 1; i < FACT_MAX; i++){
		val *= i;
		val %= mod;
		fact[i] = val;
	}
	fact_inv[FACT_MAX-1] = modpow(fact[FACT_MAX-1], mod-2);
	for(int i = FACT_MAX-2; i >= 0; i--){
		fact_inv[i] = fact_inv[i+1] * (i+1) % mod;
	}
}
llint comb(llint n, llint k)
{
	llint ret = 1;
	ret *= fact[n];
	ret *= fact_inv[k], ret %= mod;
	ret *= fact_inv[n-k], ret %= mod;
	return ret;
}
llint n, k;
vector<int> vec;
llint dp[1000005];
int main(void)
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	cin >> n >> k;
	make_fact();
	
	for(int i = 1; i <= n; i++){
		if(n % i == 0) vec.push_back(i);
	}
	
	for(int x = 0; x < vec.size(); x++){
		int i = vec[x];
		if(k % (n/i)) continue;
		dp[i] = comb(i, k/(n/i));
		for(int j = 0; j < vec.size(); j++){
			if(vec[j] == i) break;
			if(i % vec[j] == 0) dp[i] += mod - dp[vec[j]], dp[i] %= mod;
		}
	}
	
	llint ans = 0;
	for(int i = 1; i < n; i++) ans += dp[i], ans %= mod;
	cout << ans << endl;
	
	return 0;
}
            
            
            
        
            
leaf_1415