专栏文章

IOI2026 集训队互测 D1T3 题解

P14252题解参与者 2已保存评论 1

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
1 条
当前快照
1 份
快照标识符
@minkp4cm
此快照首次捕获于
2025/12/02 03:59
3 个月前
此快照最后确认于
2025/12/02 03:59
3 个月前
查看原文
给定一张 nn 个点 mm 条边的无向带权图 GG,定义 (w1,w2,,wn)(w_1, w_2, \dots, w_n)收集-free 的当且仅当可以无限次做以下操作:
  • 选择一个点 uu,满足所有 uu 的出边 (u,v,x)(u, v, x) 均满足 wvxw_v \geq x,然后对于每条出边 (u,v,x)(u, v, x) 都执行 wvwvx,wuwu+xw_v \leftarrow w_v - x, w_u \leftarrow w_u + x
有两种询问:
  • o=1o = 1:构造一组 收集-free(w1,w2,,wn)(w_1, w_2, \dots, w_n),并且最小化 i=1nwi\displaystyle \sum_{i = 1}^{n}w_i
  • o=2o = 2:给定 (w1,w2,,wn)(w_1, w_2, \dots, w_n),判断其是否是 收集-free 的。
o{1,2},1n3×105,0mmin(n(n1)2,106)o \in \{1, 2\}, 1 \leq n \leq 3 \times 10^5, 0 \leq m \leq \min\left(\dfrac{n(n-1)}{2}, 10^6\right),保证 GG 无重边自环,保证 GG 中每条边的权值均 [1,109]Z\in [1, 10^9] \cap \mathbb{Z}

不失一般性的,假设 GG 连通。
Observation 1:若 (w1,w2,,wn)(w_1, w_2, \dots, w_n)收集-free 的,那么 GG 中的每个点都一定被操作了无穷多次。
证明:任取一个无穷长度的操作序列,若观察不成立则一定存在一条边 (u,v,x)(u, v, x) 使得 uu 被操作了无穷多次,vv 被操作了有限次,显然 wvw_v 一定是在每次操作 uu 的时候都要减去 xx,最终 wvw_v 一定会被减至 <0< 0
Observation 2:不失一般性的,设 i(1i<n)i(1 \leq i < n) 第一次操作的时间早于 i+1i + 1,则一定有 wij=1i1W(i,j)w_i \geq \displaystyle \sum_{j = 1}^{i - 1}W(i, j),其中 W(i,j)W(i, j)i,ji, j 之间边的边权,若无边则为 00
证明:显然 ii 操作之前 1i11 \sim i - 1 都被操作了至少一次,wiw_i 至少要被减掉 j=1i1W(i,j)\displaystyle \sum_{j = 1}^{i - 1}W(i, j)
Observation 3Observation 2 中提到的必要条件是充分的。
证明:将 GG1,2,,n1, 2, \dots, n 的拓扑序定向为一张 DAG,每次任取 DAG 中一个入度为 00 的点进行操作即可,最终将原来的拓扑序 1,2,,n1, 2, \dots, n 旋转一位变成 n,1,2,,n1n, 1, 2, \dots, n - 1(即对应接下来的操作顺序)并将图 GG 重新定向,容易发现 Observation 2 中提到的条件仍然成立。
基于这三个观察我们可以发现 i=1nwi\displaystyle \sum_{i = 1}^{n}w_i 的下界为 GG 的所有边权之和,并且可以通过将图定向为一个 DAG 之后将每个点的点权赋值为其入边的边权之和来构造 o=1o = 1 的答案。
对于 o=2o = 2,可以考虑图 GG 按上述观察定向后的任意一个出度为 00 的点 uu,显然该点满足 wu(u,v,x)Exw_u \geq \displaystyle\sum_{(u, v, x) \in E}{x},将 uu 删掉递归判定即可,若 GG 最终被删空则有解,否则无解。
对于 GG 不连通的情况,可以分开考虑每个连通块的构造 / 判定。

评论

1 条评论,欢迎与作者交流。

正在加载评论...