CF1139D Steps to One 题解
一道莫反好题。
先证个式子:,也就是最终长度为 的期望是所有最终长度小于等于 的概率之和。
证明:。
考虑容斥,最终长度大于等于 等价于长度为 的序列 大于 1,这个可以用 1 减去 的概率,注意这里的 。
概率用满足条件方案数 / 总方案数计算,总方案数 ,因此只需要计算 时 的方案数即可。
推 的式子:
莫比乌斯反演,得到
换个枚举顺序,顺便处理一下求和符号得到
然后开始计算答案式子,为 。
太丑,令 ,得到 。
注意到 时 ,因此将这一部分提出来与 消掉。
然后交换求和符号,得到 。
因为 ,根据 (貌似是用生成函数推的),得到 ,然后整除分块即可。
GitHub:CodeBase-of-Plozia
Code:
/*
========= Plozia =========
Author:Plozia
Problem:CF1139D Steps to One
Date:2022/3/1
========= Plozia =========
*/
#include <bits/stdc++.h>
typedef long long LL;
const int MAXN = 1e5 + 5;
const LL P = 1e9 + 7;
int t, n, cntPrime, Prime[MAXN];
LL mu[MAXN], inv[MAXN];
bool book[MAXN];
int Read()
{
int sum = 0, fh = 1; char ch = getchar();
for (; ch < '0' || ch > '9'; ch = getchar()) fh -= (ch == '-') << 1;
for (; ch >= '0' && ch <= '9'; ch = getchar()) sum = sum * 10 + (ch ^ 48);
return sum * fh;
}
int Max(int fir, int sec) { return (fir > sec) ? fir : sec; }
int Min(int fir, int sec) { return (fir < sec) ? fir : sec; }
LL ksm(LL a, LL b = P - 2, LL p = P)
{
LL s = 1 % p;
for (; b; b >>= 1, a = a * a % p)
if (b & 1) s = s * a % p;
return s;
}
void init()
{
book[1] = mu[1] = 1;
for (int i = 2; i <= n; ++i)
{
if (!book[i]) { Prime[++cntPrime] = i; mu[i] = -1; }
for (int j = 1; j <= cntPrime; ++j)
{
if (i * Prime[j] > n) break ;
book[i * Prime[j]] = 1;
if(i % Prime[j] == 0) { mu[i * Prime[j]] = 0; break ; }
mu[i * Prime[j]] = -mu[i];
}
}
for (int i = 2; i <= n; ++i) mu[i] = mu[i - 1] + mu[i];
}
int main()
{
n = Read(); init(); LL ans = 0;
for (int i = 1; i <= n; ++i) inv[i] = ksm(i);
for (int l = 2, r; l <= n; l = r + 1)
{
r = Min(n / (n / l), n);
ans = (ans + (mu[r] - mu[l - 1]) * (n / l) % P * inv[n - (n / l)] % P) % P;
}
ans = ((1 - ans) % P + P) % P;
printf("%lld\n", ans);
return 0;
}
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· 单线程的Redis速度为什么快?
· SQL Server 2025 AI相关能力初探
· AI编程工具终极对决:字节Trae VS Cursor,谁才是开发者新宠?
· 展开说说关于C#中ORM框架的用法!