LOJ 3160: 「NOI2019」斗主地
题目传送门:LOJ #3160。
简要题意:
有一个长度为 \(n\) 的序列 \(a\),初始时 \(a_i=i\) 或 \(a_i=i^2\),这取决于 \(\mathrm{type}\) 的值。
对这个序列进行 \(m\) 次操作,每次操作给定一个值 \(A_i\),把这个序列分为两部分:\(a[1:A_i]\) 和 \(a[A_i+1:n]\),然后在不改变两个序列内部相对顺序的限制下,均匀地将这两个序列混合,形成新的序列,则新的序列 \(a\) 即为这个混合而成的新序列。
\(Q\) 次询问经过了这 \(m\) 次操作后,某个位置上的值 \(a_{c_i}\) 的期望。
题解:
因为是均匀的混合,所以在所有 \(\displaystyle\binom{n}{A_i}\) 种混合方式中,所有方式出现的概率均是相等的。
首先打一个 \(30\) 分的 \(\mathcal{O}(m\cdot n^2)\) 的暴力,或观察样例可以发现:做任意多次操作后,序列 \(\mathbb{E}[a_i]\) 仍然是一次函数或二次函数。
这个结论可以这样感性理解:
- 首先,初始时是一次函数或者二次函数,只需证明一个一次函数或二次函数经过一次操作后次数仍然不变即可。
- 考虑 \(\mathbb{E}[a_i]=f(i)\),其中 \(f(x)\) 是关于 \(x\) 的一个一次函数或二次函数。
- 经过一次给定的值为 \(k\) 的操作后,左边的第 \(i\) 项等于 \(f(i)\),右边的第 \(i\) 项等于 \(f(k+i)\),左右两边也是次数相同的函数。
- 两个一次函数或二次函数形成的序列均匀混合后对应的函数,次数是不应当增加的,而因为最高次项系数符号相同,最高次项也不会被抵消,所以次数也不会减少。
那么每次只需求出前三项的值即可,前三项只有可能由左边序列的前三项(这已经求出)和右边序列的前三项(需要插值求出)组合而成,只要推一些简单的式子就可以求出新的前三项的值了。
以下是代码,复杂度 \(\mathcal{O}(m)\):
#include <cstdio>
typedef long long LL;
const int Mod = 998244353;
const int Inv2 = (Mod + 1) / 2;
inline int qPow(int b, int e) {
int a = 1;
for (; e; e >>= 1, b = (LL)b * b % Mod)
if (e & 1) a = (LL)a * b % Mod;
return a;
}
inline int gInv(int x) { return qPow(x, Mod - 2); }
int N, M, A, Q, Typ;
LL iN0, iN1, iN2;
int E1, E2, E3;
inline int GetX(int i) {
if (i == 1) return E1;
if (i == 2) return E2;
if (i == 3) return E3;
int SE1 = (LL)E1 * (i - 2) % Mod * (i - 3) % Mod;
int SE2 = (LL)E2 * (2 - i - i + Mod) % Mod * (i - 3) % Mod;
int SE3 = (LL)E3 * (i - 1) % Mod * (i - 2) % Mod;
return ((LL)SE1 + SE2 + SE3) * Inv2 % Mod;
}
int main() {
freopen("landlords.in", "r", stdin);
freopen("landlords.out", "w", stdout);
scanf("%d%d%d", &N, &M, &Typ), --Typ;
iN0 = gInv(N), iN1 = gInv((LL)N * (N - 1) % Mod), iN2 = gInv((LL)N * (N - 1) % Mod * (N - 2) % Mod);
E1 = 1, E2 = Typ ? 4 : 2, E3 = Typ ? 9 : 3;
while (M--) {
scanf("%d", &A);
LL F1 = E1, F2 = E2, F3 = E3;
LL F4 = GetX(A + 1), F5 = GetX(A + 2), F6 = GetX(A + 3);
E1 = (F1 * A + F4 * (N - A)) % Mod * iN0 % Mod;
E2 = (F2 * A % Mod * (A - 1) + (F1 + F4) * A % Mod * (N - A) + F5 * (N - A) % Mod * (N - A - 1)) % Mod * iN1 % Mod;
E3 = (F3 * A % Mod * (A - 1) % Mod * (A - 2) + (F4 + F2 + F2) * A % Mod * (A - 1) % Mod * (N - A) + (F5 + F5 + F1) * A % Mod * (N - A) % Mod * (N - A - 1) % Mod + F6 * (N - A) % Mod * (N - A - 1) % Mod * (N - A - 2)) % Mod * iN2 % Mod;
}
scanf("%d", &Q);
for (int X; Q--; ) {
scanf("%d", &X);
printf("%d\n", GetX(X));
}
return 0;
}
LOJ 3160: 「NOI2019」斗主地的更多相关文章
- LOJ 3158: 「NOI2019」序列
题目传送门:LOJ #3158. 题意简述: 给定两个长度为 \(n\) 的正整数序列 \(a,b\),要求在每个序列中都选中 \(K\) 个下标,并且要保证同时在两个序列中都被选中的下标至少有 \( ...
- LOJ 3159: 「NOI2019」弹跳
题目传送门:LOJ #3159. 题意简述: 二维平面上有 \(n\) 个整点,给定每个整点的坐标 \((x_i,y_i)\). 有 \(m\) 种边,第 \(i\) 种边从 \(p_i\) 号点连向 ...
- LOJ 3156: 「NOI2019」回家路线
题目传送门:LOJ #3156. 题意简述: 有一张 \(n\) 个点 \(m\) 条边的有向图,边有两个权值 \(p_i\) 和 \(q_i\)(\(p_i<q_i\))表示若 \(p_i\) ...
- @loj - 3157@「NOI2019」机器人
目录 @description@ @solution@ @accepted code@ @details@ @description@ 小 R 喜欢研究机器人. 最近,小 R 新研制出了两种机器人,分 ...
- loj3161「NOI2019」I 君的探险(随机化,整体二分)
loj3161「NOI2019」I 君的探险(随机化,整体二分) loj Luogu 题解时间 对于 $ N \le 500 $ 的点,毫无疑问可以直接 $ O(n^2) $ 暴力询问解决. 考虑看起 ...
- Loj #2192. 「SHOI2014」概率充电器
Loj #2192. 「SHOI2014」概率充电器 题目描述 著名的电子产品品牌 SHOI 刚刚发布了引领世界潮流的下一代电子产品--概率充电器: 「采用全新纳米级加工技术,实现元件与导线能否通电完 ...
- Loj #3096. 「SNOI2019」数论
Loj #3096. 「SNOI2019」数论 题目描述 给出正整数 \(P, Q, T\),大小为 \(n\) 的整数集 \(A\) 和大小为 \(m\) 的整数集 \(B\),请你求出: \[ \ ...
- Loj #3093. 「BJOI2019」光线
Loj #3093. 「BJOI2019」光线 题目描述 当一束光打到一层玻璃上时,有一定比例的光会穿过这层玻璃,一定比例的光会被反射回去,剩下的光被玻璃吸收. 设对于任意 \(x\),有 \(x\t ...
- Loj #3089. 「BJOI2019」奥术神杖
Loj #3089. 「BJOI2019」奥术神杖 题目描述 Bezorath 大陆抵抗地灾军团入侵的战争进入了僵持的阶段,世世代代生活在 Bezorath 这片大陆的精灵们开始寻找远古时代诸神遗留的 ...
随机推荐
- [LeetCode] 208. Implement Trie (Prefix Tree) 实现字典树(前缀树)
Implement a trie with insert, search, and startsWith methods. Example: Trie trie = new Trie(); trie. ...
- idea无法识别maven项目
右击pom文件,Add即可
- iOS依赖库管理工具之CocoaPods
CocoaPods 是开发 OS X 和 iOS 应用程序的一个第三方库的依赖管理工具.利用 CocoaPods,可以定义自己的依赖关系库 (称作 pods),并且随着时间的变化,在整个开发环境中对第 ...
- odoo action
动作的加载: 刷新视图页面执行load_views方法 /web/dataset/call_kw/model_name/load_views 在odoo/models.py的BaseModel中有一个 ...
- [转帖]SQL Server 10分钟理解游标
SQL Server 10分钟理解游标 https://www.cnblogs.com/VicLiu/p/11671776.html 概述 游标是邪恶的! 在关系数据库中,我们对于查询的思考是面向集合 ...
- Appium+python自动化(七)- 初识琵琶女Appium(千呼万唤始出来,犹抱琵琶半遮面)- 上(超详解)
简介 “千呼万唤始出来,犹抱琵琶半遮面”,经过前边的各项准备工作,终于才把appium这位琵琶女请出来.那么下边就由宏哥给各位看官.小伙伴们和童鞋们来引荐这位美女(帅哥).这一篇主要是对前边的内容做一 ...
- 查看索引在哪些ES集群节点上的命令
用途:迁移数据到其他节点上的时候需要用这个 GET /_cat/shards GET /_cat/shards?h=n
- .net 将base64转为图片
1.base64的格式为: data:image/jpeg;base64,sandkansncquiueui3jk 2.ajax传输会把+转为空格 3.后台处理的代码: string imgPath ...
- 关于使用PreApplicationStartMethod实现module注册问题
在使用PreApplicationStartMethod实现module注册问题发现一个问题: //用PreApplicationStartMethod实现自注册模块 [assembly: PreAp ...
- vue中如果在页面中v-model的是字典,那么在定义字典的时候,需要明确定义键值为''或者[],否则给字典的键值赋值后页面不显示
如题 在template模板中 {{}} {{form_temp.blOwnerMemberList}} #是字典的形式哦 {{}} 在return的属性中 form_temp: { blOwnerM ...