NOIP Practice Recordings O

Other

luogu1102 数对

  (2022.4 8)

  给你一个长度为 $n\in [1,2e5]$ 的数列（数列中的数 $a_i\in [1,2^{30}]$）和一个整数 $C$，然后让你找出这个数列中所有位置不同的两个数 $A,B$。并统计满足 $A-B=C$ 的数对的个数。

  挺水的一道题。我们把条件转化一下，把 $A-B=C$ 转化成 $A-C=B$。然后我们只用建立一个 $map$，$m[a[i]]$ 表示 $a[i]$ 在 { a } \{a\} {a} 中出现的次数。然后 $ans=\sum _{i=1}^{n}m[a[i]-C]$。就搞定了。

luogu2671 求和

  (2022.4.9)

  现在有一个数组，每个数三个值 $(x,y,c)$。分别表示下标，值和颜色。如果我们找到一个三元组 $(i,j,k)$ 满足 $j$ 是 $i,k$ 的等差中项且下标分别为 $i$ 和 $k$ 的所对应的颜色相同，那么这个三元组就对答案有 $(x_i+x_k)\times (y_i+y_k)$ 的贡献。求总答案。

  首先我们发现 $j$ 其实没啥用，这里只是规定了 $i$ 和 $k$ 必须奇偶性相同。所以我们考虑单独把能对答案产生贡献的块放到一起。也就是按颜色为第一关键字，$x$ 的奇偶性按第二关键字排序。然后分别处理每一块对答案的贡献，然后再加起来就可以了。

  这里以处理第一块对答案的贡献为例（假设第一块的长度为 $k$）。那么这块的贡献就是：

$$\begin{array}{rl}& \sum _{i=1}^k\sum _{j=i+1}^k(x_i+x_j)(y_i+y_j)\\ =& \sum _{i=1}^k\sum _{j=i+1}^k(x_i{y}_i+x_j{y}_j+x_i{y}_j+x_j{y}_i)\\ =& \sum _{i=1}^k\left(\sum _{j=i+1}^k{x}_i{y}_i+\sum _{j=i+1}^k{x}_j{y}_j+\sum _{j=i+1}^k{x}_i{y}_j+\sum _{j=i+1}^k{x}_j{y}_i\right)\\ =& \sum _{i=1}^k\left((k-i)x_i{y}_i+\sum _{j=i+1}^k{x}_j{y}_j+x_i\sum _{j=i+1}^k{y}_j+y_i\sum _{j=i+1}^k{x}_j\right)\end{array}$$

  然后我们发现只要我们预处理出 $x_i$、$y_i$ 和 $x_i{y}_i$ 的前缀和，我们就能 $O(1)$ 处理我们用很大的括号括起来的那一坨式子。这样整个的复杂度就是 $O(k)$ 的。

单调队列

WOJ4744 最佳序列

  (2022.4.3)

  给定一个长度为 $n$ 的数组 $a$。给定 $L,R$，求所有满足长度大于等于 $L$ 小于等于 $R$ 的 $a$ 的子区间的平均值的最大。

  先二分答案，也就是二分平均值，然后每个数减去这个平均值，这个时候所有和大于 $0$ 的区间的平均值就肯定大于二分的值。

  统计减去平均值的后序列的前缀和，问题就变成了前缀和在 $[i-R,i-L]$ 区间内是否存在一个数 $s_j$ 使得 $s_i>s_j$，然后就是单调队列优化就能做到 $O(n)$。

luogu2216 理想正方形

  (2022.4.9)

  给你一个 $a\times b$ 的二维数组（$a,b\in [2,1e3]$）。然后再给你一个 $n\le a,b$，让你在这个二维数组中找到一个 $n\times n$ 的矩形使得这个矩形中的最大值减这个矩形中的最小值是最小的。

  很显然这是一个 $RMQ$ 的问题，因为 $a$ 和 $b$ 不大，而且 $n$ 是确定的，所以我们考虑跑 $a+b$ 遍单调队列来处理这道题，具体做法如下：

  我们以 $luogu$ 上的样例为例 $n=2$，我们先横着跑单调队列求出每一行连续 $n$ 个中的最大值。

$$\begin{array}{cccc}1& 2& 5& 6\\ 0& 17& 16& 0\\ 16& 17& 2& 1\\ 2& 10& 2& 1\\ 1& 2& 2& 2\end{array}\to \begin{array}{ccc}2& 5& 6\\ 17& 17& 16\\ 17& 17& 2\\ 10& 10& 2\\ 2& 2& 2\end{array}$$

  然后再竖着跑单调队列求出每一列中连续 $n$ 个数的最大值：

$$\begin{array}{ccc}2& 5& 6\\ 17& 17& 16\\ 17& 17& 2\\ 10& 10& 2\\ 2& 2& 2\end{array}\to \begin{array}{ccc}17& 17& 16\\ 17& 17& 16\\ 17& 17& 2\\ 10& 10& 2\end{array}$$

  同理，我们对最小值也这样处理：

$$\begin{array}{cccc}1& 2& 5& 6\\ 0& 17& 16& 0\\ 16& 17& 2& 1\\ 2& 10& 2& 1\\ 1& 2& 2& 2\end{array}\to \begin{array}{ccc}1& 2& 5\\ 0& 16& 0\\ 16& 2& 1\\ 2& 2& 1\\ 1& 2& 2\end{array}\to \begin{array}{ccc}0& 2& 0\\ 0& 2& 0\\ 2& 2& 1\\ 1& 2& 1\end{array}$$

  然后将跑出来的两个矩阵相减，找到差矩阵中的最小值即为所求：

$$\begin{array}{ccc}17& 17& 16\\ 17& 17& 16\\ 17& 17& 2\\ 10& 10& 2\end{array}-\begin{array}{ccc}0& 2& 0\\ 0& 2& 0\\ 2& 2& 1\\ 1& 2& 1\end{array}=\begin{array}{ccc}17& 15& 16\\ 17& 15& 16\\ 15& 15& 1\\ 9& 8& 1\end{array}$$

  答案就是 $1$

启发式合并

luogu3201 HNOI2009 梦幻布丁

  (2022.4.11)

  初始给以一个长度为 $n$ 的数列，这个数列的每个数表示一个颜色，然后给你 $m$ 个操作，每次操作或是查询现在颜色的总段数（例如 $1,2,2,1$ 就是有 $3$ 段颜色）或是给定 $x,y$ 表示将颜色 $x$ 的数全部变为 $y$ 颜色。

  显然这道题就是一个链表的启发式合并，我们维护很多链表，每个链表中存出同一种颜色的数。然后每一次修改就是一次启发式合并，对于询问我们可以在修改的时候处理出来，具体来说就是：如果（假设 $x$ 是元素较少的那个集合） $x$ 中的一个元素旁边有有 $y$ 中的元素的话那么 $ans$ 就应该减 $1$。

  这样虽然看起来很暴力，但是时间复杂度就是启发式合并的时间复杂度也就是 $O(n\log n)$ 的。