10.31总结

10.31总结

A. 路径

题目大意

给定一个 $n$ 个节点，$m$ 条边的有向无环连通图，其中有 $k$ 个点是关键点。问图上是否存在一条简单路径，使得所有关键点都在路径上。

多组数据

$1\le n,m\le 10^6,k\le n$

考场思路

设 $s_i$ 为以 $i$ 为终点的路径中最多可以有多少个关键点。

注意到题目规定了无环。

考虑用一个拓扑排序来处理。

如果 $i$ 为关键点，预处理 $fl{g}_i=1$

处理点 $x$ 时，有一条边 $x\to y$ ，那么直接更新 $s_y=\max (s_y,s_x+fl{g}_y)$

最后看一下有没有一个 $s_i$ 等于 $k$ 就好了

考试时想到了正解，但是有一部分的数组没有清空，但是把大样例全过了，最后没有没有检查出来。

还以为不是正解

B. 异或

题目大意

给定一长度为 $n$ 的由非负整数组成的数组 $a$ ，你需要进行一系列操作，每次操作选择一个区间 $[l,r]$，将 $a_i,i\in [l,r]$ 异或上 $w$ 。你需要将 $a$ 全部变为 $0$。

求最小操作次数。

$1\le n\le 17,0\le a_i\le 10^{18}$

考场思路

考试时只想到了 $n,a_i\le 3$ 的做法。

暴力枚举 $l,r,w$

正解

先搞个差分， $d_i=a_i\oplus a_{i-1}$

我们可以发现把前 $i$ 个 $d$ 异或起来就等于 $a_i$

那么我们就可以把区间异或操作变成一种类似于差分的双点修改操作：如果想把区间 $[l,r]$ 异或 $w$ 那么就等价于 $d_l\oplus w,d_{r+1}\oplus w$

我们可以把 $n$ 个数抽象为 $n$ 个点，将修改操作抽象为两个点之间连无向边，这样的一组操作方案就是可以把整个序列分成若干个连通块的图。

那么每个连通块的操作次数就是边数。

一个大小为 $x$ 的连通块的的边数为 $x$ 或 $x-1$ ，只有当序列中所有 $d$ 的异或和为 $0$ 时边数才为 $x-1$ ，否则都是 $x$

所以一个子序列 $s$ 的答案就是把 $s$ 的大小减去 $s$ 划成最多的异或和为 $0$ 的数量。

设 $f_s$ 为能够把 $s$ 划分成最多的异或和为 $0$ 的数量
$$f_s=\max f_t+f_{s\oplus t},(s\&t=0)$$
考试时想不到这个差分的操作

C. 距离

给一颗 $n$ 个节点的无根树，边有边权。令 $dis(x,y)$ 为点 $x$ 到点 $y$ 的距离。

你需要维护一个初始为空的点对集合 $S$ 。每次有两种操作：

• 1 a b 往 中插入一个点对 。

• 2 x y 查询下面式子的结果并输出：
  $$\min dis(x,a)+dis(y,b)$$

若查询时 $S$ 为空，则输出 $-1$

考场思路

只会 $n,m\le 2\ast 10^3$

暴力模拟

正解

还不会

D. 花之舞

题目大意

在一个二维平面上有 $n$ 个点。

$Q$ 个询问，第 $i$ 个询问为一个区间 $[l,r]$ ，最大化：删掉一朵花后，区间里的花之间的距离的最小值。

这里的距离是切比雪夫距离

$n,q,\le 3\ast 10^5$

考场思路

看到了有一个性质是 $x_i,y_i$ 单调递增。

我以为这样满足一个点 $i$ 对答案的贡献只会在 $i-1,i+1$ 中选出。

然后求一下相邻两朵花之间的距离。

但好像是错的

正解

还不会

总结

多组数据记得初始化数组。

遇到 $T1$ 这种情况时自己造一些数据看看，坚定自己的猜想

$T2$ 这种区间修改的问题就应该考虑一下差分。

$T4$ 其实猜错了也没有关系，但是要敢于去猜