AT_abc227_g [ABC227G] Divisors of Binomial Coefficient

思路

首先需要知道一个事情,对于一个数 x=picix = \prod{p_i^{c_i}},它的约数个数是:

(ci+1)\prod{(c_i + 1)}

那么先将 (kn)\binom{k}{n} 展开:

i=nk+1nik!\frac{\prod_{i = n - k + 1}^{n}i}{k!}

发现一个数的约数个数只与其唯一分解后的指数有关,考虑统计每一个质数所对应的指数。

因为一个数 xx,大于 n\sqrt{n} 的质因子只会有一个。证明很简单,考虑反证法,如果有两个大于 n\sqrt{n} 的质因子,二者相乘一定大于 nn

那么,我们直接筛出 1n1 \sim \sqrt{n} 的质数。对于 k!k! 的处理我们可以直接在筛质数的过程中处理掉,时间复杂度 Θ(nlnnlogn)\Theta(\sqrt{n} \ln n \log n)

接着处理分子。考虑枚举质数,暴力将 [nk+1,n][n - k + 1,n] 的数去除掉当前枚举的质数,时间复杂度是 Θ(klnklogn)\Theta(k \ln k \log n) 的。

然后去除掉小于 n\sqrt{n} 的约数,就最多剩下一个约数了。暴力加入即可。

因为值域较大,需要开 umap 存储。

Code

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
#include <bits/stdc++.h>
#define re register
#define int long long
#define Mul(a,b) (((a) % mod) * ((b) % mod) % mod)

using namespace std;

const int N = 1e6 + 10,mod = 998244353;
int n,k,ans = 1;
int cnt[N];
bool vis[N];
vector<int> v,p;
unordered_map<int,int> num;

inline int read(){
int r = 0,w = 1;
char c = getchar();
while (c < '0' || c > '9'){
if (c == '-') w = -1;
c = getchar();
}
while (c >= '0' && c <= '9'){
r = (r << 3) + (r << 1) + (c ^ 48);
c = getchar();
}
return r * w;
}

inline void init(){
vis[1] = true;
for (re int i = 2;i <= 1e6;i++){
if (!vis[i]){
p.push_back(i);
if (i <= k) cnt[i]--;
for (re int j = 2;i * j <= 1e6;j++){
vis[i * j] = true;
int x = i * j,tot = 0;
if (x <= k){
while (x % i == 0) x /= i,tot++;
cnt[i] -= tot;
}
}
}
}
}

signed main(){
n = read(),k = read();
init();
for (re int i = 1;i <= k;i++) v.push_back(n - i + 1);
if (v.empty()) goto End;// 特判,不然会 RE
for (auto x:p){
int t = n - (n / x) * x;
for (re int i = t;i < v.size();i += x){
int tot = 0;
while (v[i] % x == 0) v[i] /= x,tot++;
cnt[x] += tot;
}
}
for (auto x:v){
if (x != 1) num[x]++;
}
for (auto x:v){
ans = Mul(ans,num[x] + 1); num[x] = 0;
}
End:;
for (re int i = 1;i <= 1e6;i++) ans = Mul(ans,cnt[i] + 1);
printf("%lld",ans);
return 0;
}

AT_abc227_g [ABC227G] Divisors of Binomial Coefficient
http://watersun.top/[题解]AT_abc227_g [ABC227G] Divisors of Binomial Coefficient/
作者
WaterSun
发布于
2024年3月23日
许可协议