当前位置: 首页 > news >正文

【题解】P4707 重返现世

min-max 容斥入门题。

考虑记物品的集合为 \(S\),每个物品的权值为第一次抓到该物品的时间,则集合中第一次得到一个物品的期望时间为 \(E(\min(S))\),那么我们最后所求的为 \(E(\operatorname{kthmin}(S))\)

首先 \(E(\min(S))\) 是好求的,我们一次操作获得东西的概率为 \(\frac{\sum p_i}{m}\),那么期望时间就是 \(\frac{m}{\sum p_i}\)

对于 \(E(\operatorname{kthmin}(S))\) 我们可以套路地进行 min-max 容斥,首先将 \(k\) 改成 \(n - k + 1 \leq 11\),则此时所求为 \(E(\operatorname{kthmax}(S))\)

根据拓展 min-max 容斥的结论,我们有 \(E(\operatorname{kthmax}(S)) = \sum_{T \subseteq S}(-1)^{|T| - k}\binom{|T| - 1}{k - 1}E(\min(T))\)

最终的贡献只和 \(\sum p_i\)\(|T|\) 有关所以记 \(f_{i, j, k}\) 表示前 \(i\) 个物品选了 \(j\)\(\sum p_i = k\),转移是简单的,但是难以通过。

考虑优化状态,把选 \(j\) 个塞到 DP 值中(\(k\) 显然难以优化)。设 \(f_{i, s}\)\(\sum p_i = s\) 的系数和。

但是你会发现转移的时候需要用到不同的 \(k\) 的系数,所以对于每种 \(k\) 都记录一个系数,就可以转移了,有:

\[f_{i, s, k} \leftarrow f_{i - 1, s, k} + f_{i - 1, s - p_i, k - 1} - f_{i - 1, s - p_i, k} \]

上述的系数推法只需要将组合数拆开,是简单的。

考虑初值。

首先 \(f_{1, p_1, 1} = (-1)^0\binom{0}{0} = 1\),根据递推式 \(f_{1, p_1, 1} = f_{0, 0, 0} - f_{0, 0, 1}\)。并且 \(f_{1, p_1, k} = 0 = f_{0, 0, k - 1} - f_{0, 0, k}(k > 1)\)

此时我们只需要构造 \(f_{0, 0, 0} = f_{0, 0, 1} + 1, f_{0, 0, i} = f_{0, 0, i + 1} (i > 0)\) 即可。

#include <bits/stdc++.h>
using namespace std;
#define rep(i, a, b) for (int i = (a); i <= (b); i ++)
#define fro(i, a, b) for (int i = (a); i >= b; i --)
#define INF 0x3f3f3f3f
#define eps 1e-6
#define lowbit(x) (x & (-x))
#define reg register
#define IL inline
typedef long long LL;
typedef std::pair<int, int> PII;
inline int read() {int x = 0, f = 1;char ch = getchar();while (ch < '0' || ch > '9') { if (ch == '-') f = -1; ch = getchar(); }while (ch >= '0' && ch <= '9') { x = (x << 1) + (x << 3) + (ch ^ 48); ch = getchar(); }return x * f;
}
// mt19937_64 sj(chrono::steady_clock::now().time_since_epoch().count());
// uniform_int_distribution<LL> u0(0, 1ll << 60);const int N = 10010, Mod = 998244353;
int n, K, m;
int p[N], f[2][N][12];int qmi(int a, int b = Mod - 2, int p = Mod) {int res = 1;while (b) {if (b & 1) res = 1ll * res * a % p;b >>= 1; a = 1ll * a * a % p;}return res;
}int main() {n = read(), K = read(), m = read();K = n - K + 1;for (int i = 1; i <= n; i ++) p[i] = read();f[0][0][0] = 0;  for (int i = 1; i <= K; i ++) f[0][0][i] = -1;for (int i = 1; i <= n; i ++) {int a = i & 1, b = a ^ 1;memset(f[a], 0, sizeof f[a]);for (int s = 0; s < p[i]; s ++) for (int k = 0; k <= K; k ++) f[a][s][k] = f[b][s][k];for (int s = p[i]; s <= m; s ++)for (int k = 1; k <= K; k ++) f[a][s][k] = ((f[b][s][k] + f[b][s - p[i]][k - 1] - f[b][s - p[i]][k]) % Mod + Mod) % Mod;}int ans = 0;for (int i = 1; i <= m; i ++) ans = (ans + 1ll * f[n & 1][i][K] * qmi(i) % Mod) % Mod;printf("%lld\n", 1ll * ans * m % Mod);return 0;
} 
http://www.rkmt.cn/news/50530.html

相关文章:

  • 滞留卡常题
  • Cursor ai network issue workaround in Ubuntu 22.04
  • 2025 年漆渣脱水设备厂家最新推荐榜单:优质品牌厂家工艺系统装置全解析,助力企业高效环保处置漆渣脱水系统/漆渣脱水机/漆渣脱水装置厂家推荐
  • [KaibaMath]1024 丑陋的真子集符号⫋的由来
  • 安装Ubuntu
  • 2025 最新无缝钢管厂家推荐榜:国际测评认证 + 技术创新 + 全场景适配权威指南
  • 【Qt开发】多元素类控件(二)-> QTableWidget - 实践
  • 实用指南:从0开始了解kafka《第二篇 kafka的安装、管理和配置》
  • AMD Instinct MI50 通过llama.cpp 在 ROCm7.0.2上运行
  • 如何成为高级的安卓逆向工程师 glm4.6
  • PyTorch实战(9)——从零开始实现Transformer - 教程
  • 常用设计模式:职责链模式
  • 2025 最新推荐!汽车喇叭网生产厂家权威排行榜:0.01MM 精度 + 全工艺保障,靠谱品牌专业甄选
  • PlotNeutralNet使用教程
  • 2025雅思培训课程排行榜:高提分课程定制机构深度解析
  • 11.10-11.15 总结
  • 2025年芹黄素实力厂家权威推荐榜单:芹菜苷元/芹菜素/芹菜素95%源头厂家精选
  • 2025年遥控平板车厂家权威推荐榜单:平板运输车/顶升电动平车/电动地平车源头厂家精选
  • 2025 年 11 月空气电加热器,法兰电加热器,土壤修复电加热器厂家最新推荐,聚焦资质、案例、售后的七家企业深度解读
  • C# 中,依赖注入(DI)的实现方式 - 教程
  • mns 1115
  • 2025 年 11 月温州电商财税律师,温州执行律师,温州法律顾问律师最新推荐,聚焦资质、案例、售后的七家机构深度解读
  • P2966 [USACO09DEC] Cow Toll Paths G 题解
  • 【System Beats!】第八章 异常控制流
  • oracle 优化
  • 2025 年筛选机厂家推荐:深圳市恩艾斯科技有限公司,光学筛选机的专业缔造者与行业深耕者
  • 对拍程序
  • 反编译通用流程
  • 2025 年 11 月超细碳酸钙,重钙,碳酸钙厂家最新推荐,产能、专利、环保三维数据透视!
  • 从工具理性到价值共生:开源链动2+1模式、AI智能名片与S2B2C商城体系的社会连接重构研究