2020 函数调用 · 方案二 拓扑序乘子回推
两遍拓扑:正向求乘子,反向回推每次调用的贡献
正文
// CSP-S 2020 复赛 T3 · 函数调用(方案二:拓扑序 + 乘子回推,满分)
// 原题:https://oj.yecheng.tv/p/CSPS2020C
// 题意:同方案一(n, m, Q ≤ 2e5 / ΣC ≤ 2e6,需满分)。
// 思路(两遍拓扑,把 Q 次执行合并成一遍计算):
// 最终 a_i = 初始 a_i × M + addAll[i],其中 M 是全部执行的乘子之积。
// 关键在 addAll:加法会被"它之后发生的乘法"放大。
// 第一步(逆拓扑):mul[v] = v 执行一次带来的总乘子——
// 类型 2:val;类型 1:1;类型 3:各子调用 mul 之积。
// 第二步(正拓扑):W[v] = "v 执行一次时,v 内部的加法发生之后,
// 还会经历的乘子之积"(按 v 的每个调用位置分别累计后求和——同一
// 函数被多处调用时 W 是各处贡献之和,因为加法贡献对乘子线性):
// 对调用边 u → g(g 是 u 的第 idx 个子调用):
// W[g] += W[u] × (g 之后的兄弟 mul 之积)。
// 从虚拟根 W=1 出发沿 Q 次调用序列正拓扑传播一遍。
// 答案:addAll[pos_v] = Σ val_v × W[v](对每个类型 1 函数 v)。
// 复杂度:O(n + m + Q + ΣC)。
// 易错点:
// 1. mul 逆拓扑、W 正拓扑,顺序不能反;
// 2. "g 之后的兄弟乘积"要从右往左扫子列表维护后缀积;
// 3. 同一函数多个调用点:W 累加(线性性),不是取最大;
// 4. Q 次调用串成虚拟根的孩子序列;全部取模。
#include <cstdio>
#include <vector>
using namespace std;
const int MOD = 998244353;
int n, m, q;
long long a0[100005];
int typ[100005];
long long pos1[100005], val1[100005];
vector<int> sons[100005];
long long mulF[100005];
long long W[100005];
long long addAll[100005];
int deg[100005], topo[400005], tn = 0;
int main() {
freopen("call.in", "r", stdin);
freopen("call.out", "w", stdout);
scanf("%d%d", &n, &m);
for (int i = 1; i <= n; i++) scanf("%lld", &a0[i]);
for (int f = 1; f <= m; f++) {
scanf("%d", &typ[f]);
if (typ[f] == 1) scanf("%lld%lld", &pos1[f], &val1[f]);
else if (typ[f] == 2) scanf("%lld", &val1[f]);
else {
int c;
scanf("%d", &c);
for (int j = 0; j < c; j++) {
int g;
scanf("%d", &g);
sons[f].push_back(g);
deg[g]++;
}
}
}
// Q 次调用:串成链 root(前一次调用完才下一次,等价虚拟根孩子序列)
vector<int> calls;
scanf("%d", &q);
for (int i = 0; i < q; i++) {
int f;
scanf("%d", &f);
calls.push_back(f);
}
// 拓扑序(函数图)
{
vector<int> st;
for (int f = 1; f <= m; f++) if (deg[f] == 0) st.push_back(f);
while (!st.empty()) {
int u = st.back();
st.pop_back();
topo[tn++] = u;
for (int v : sons[u]) if (--deg[v] == 0) st.push_back(v);
}
}
// 逆拓扑求 mulF
for (int f = 1; f <= m; f++) mulF[f] = (typ[f] == 2) ? val1[f] % MOD : 1;
for (int i = tn - 1; i >= 0; i--) {
int u = topo[i];
for (int v : sons[u]) mulF[u] = mulF[u] * mulF[v] % MOD;
}
// 正拓扑求 W:从调用序列出发(虚拟根 W=1)
{
// 调用序列是"多源"起点:每个 calls[i] 的 W += Π_{calls[j], j>i} mulF
{
long long sufMul = 1;
vector<long long> edge(q);
for (int i = q - 1; i >= 0; i--) {
edge[i] = sufMul;
sufMul = sufMul * mulF[calls[i]] % MOD;
}
for (int i = 0; i < q; i++) W[calls[i]] = (W[calls[i]] + edge[i]) % MOD;
}
// 总乘子 M = Π calls 的 mulF
long long M = 1;
for (int i = 0; i < q; i++) M = M * mulF[calls[i]] % MOD;
// 沿拓扑向内传播 W(函数图上正序)
for (int i = 0; i < tn; i++) {
int u = topo[i];
if (!W[u]) continue;
if (typ[u] == 1) {
addAll[pos1[u]] = (addAll[pos1[u]] + val1[u] % MOD * W[u]) % MOD;
}
long long suf = 1;
vector<long long> edge(sons[u].size());
for (int idx = (int)sons[u].size() - 1; idx >= 0; idx--) {
edge[idx] = suf;
suf = suf * mulF[sons[u][idx]] % MOD;
}
for (int idx = 0; idx < (int)sons[u].size(); idx++) {
int g = sons[u][idx];
W[g] = (W[g] + W[u] * edge[idx]) % MOD;
}
}
// 输出
for (int i = 1; i <= n; i++)
printf("%lld ", (a0[i] * M + addAll[i]) % MOD);
printf("\n");
}
return 0;
}
CSP-S 标程 · 复赛真题的其它内容
- 2019 格雷码 · 方案一 递归构造
- 2019 格雷码 · 方案二 异或公式
- 2020 儒略日 · 方案一 逐天模拟
- 2020 儒略日 · 方案二 分段整块跳
- 2021 廊桥分配 · 方案一 枚举分配数模拟
- 2021 廊桥分配 · 方案二 预处理归属加前缀和
- 2022 假期计划 · 方案一 BFS 加平方枚举
- 2022 假期计划 · 方案二 预处理最佳中转
- 2023 密码锁 · 方案一 全域枚举
- 2023 密码锁 · 方案二 基准候选收敛
- 2024 决斗 · 方案一 排序贪心模拟
- 2024 决斗 · 方案二 桶计数线性扫描
- 2025 社团招新 · 方案一 状态计数DP
- 2025 社团招新 · 方案二 超额排序移人
- 2019 括号树 · 方案一 逐点重算
- 2019 括号树 · 方案二 栈加 DFS 递推
- 2020 动物园 · 方案一 子集枚举
- 2020 动物园 · 方案二 位或统计加计数公式
- 2021 括号序列 · 方案一 立方区间 DP
- 2021 括号序列 · 方案二 平方递推
- 2022 策略游戏 · 方案一 暴力扫描
- 2022 策略游戏 · 方案二 ST 表区间极值
- 2023 消消乐 · 方案一 枚举区间加栈
- 2023 消消乐 · 方案二 记忆化递归
- 2024 超速检测 · 方案一 暴力判定
- 2024 超速检测 · 方案二 区间转化加贪心选点
- 2025 道路修复 · 方案一 逐子集重建MST
- 2025 道路修复 · 方案二 预筛MST全局排序
- 2019 树上的数 · 方案一 全排列暴力
- 2019 树上的数 · 方案二 贪心定序加时刻链
- 2020 函数调用 · 方案一 直接模拟
- 2021 回文 · 方案一 环形配对逆向
- 2021 回文 · 方案二 位置表逆向构造
- 2022 星战 · 方案一 重建判定
- 2022 星战 · 方案二 出度计数维护
- 2023 结构体 · 方案一 顺序模拟
- 2023 结构体 · 方案二 统一类型表封装
- 2024 染色 · 方案一 平方 DP
- 2024 染色 · 方案二 last 指针线性 DP
- 2025 谐音替换 · 方案一 逐对逐位置暴力
- 2025 谐音替换 · 方案二 叠串+AC自动机
- 2019 Emiya 家今天的饭 · 方案一 逐列容斥 DP
- 2019 Emiya 家今天的饭 · 方案二 状态折叠
- 2020 贪吃蛇 · 方案一 multiset 模拟
- 2020 贪吃蛇 · 方案二 双端队列停时规律
- 2021 交通规划 · 方案一 Dinic 最小割
- 2021 交通规划 · 方案二 对偶图最短路
- 2022 数据传输 · 方案一 k 为 1 前缀和
- 2022 数据传输 · 方案二 倍增加矩阵
- 2023 种树 · 方案一 按深度贪心
- 2023 种树 · 方案二 堆加合并贪心
- 2024 擂台游戏 · 方案一 逐 K 模拟
- 2024 擂台游戏 · 方案二 倍增分层预处理
- 2025 员工招聘 · 方案一 集合记忆化搜索
- 2025 员工招聘 · 方案二 三维计数DP