【NOI Online 2022 提高组 B】【洛谷 P8252】讨论 题解

一口气写了 2700 多字，然而代码只有 1500 B（

Description

传送门

Solution

显然，我们所要做的事，就是构造出一对 $(i,j)$，使得编号为 $i,j$ 的人会讨论。

算法一

考虑枚举位置 $p$，接着再枚举包含位置 $p$ 的 $(S_i,S_j)$。这样一来，条件 $S_i\cap S_j$ 就得到了满足，接下来还要判定 $S_i,S_j$ 是否存在互相包含的关系。

不妨设 $|S_i|\le |S_j|$。那么不难得到下面的判定方法: 开一个桶，先对于每个属于 $S_j$ 的位置 $p$ 在桶中打上一个标记。接着，我们再扫描 $S_i$ 中的每一个位置 $q$，若桶中的第 $q$ 位上没有标记，那么 $S_i,S_j$ 就不存在互相包含的关系。反之，若对于每个 $q$ 都有标记，那么 $S_i\in S_j$，存在互相包含的关系。

于是我们得到了一个暴力做法。接下来考虑正解。

算法二

根据算法一的启示，我们考虑将各个 $S$ 先从大到小排序，然后再依次扫描并维护标记数组 $v$。初始时 $v$ 中所有元素均为 $0$。

考虑下面的贪心算法：

• 假设目前扫描到了 $S_i$。
• $\forall x\in S_i$，若 $v_x$ 全部相等，那么我们将这些 $v_x$ 全部改为 $i$。否则，我们找到所有满足 $v_x\ne 0$ 的 $x$，选出其中满足 $|S_x|$ 最小的 $x$，那么就得到了一组答案 $(S_x,S_i)$。
• 若经过上述流程始终没有找到任何一组答案，则输出 NO。

本算法来自 ix35 聚聚，这里献上对祂虔诚的膜拜。不过祂并没有写证明以及是如何想到了，于是我来补一个证明及思维导航叭。

Prove

首先，该算法找到的答案必然满足题面所述的条件。所以，下面我们需要只证明，如果答案不是 NO，那么一定能找到答案就相当于证明了算法的正确性

考虑使用归纳法予以证明。对于 $n=2$ 的情况，上述做法显然正确。下面，我们将尝试证明算法于 $n=k$ 时正确的前提下，在 $n=k+1$ 时依然正确。

我们假设在 $n=k$ 时并没有找到答案，但在加入一个集合 $S_{n+1}$ 补在原先的 $n$ 个集合之后的时候首次存在了满足要求的数对。

假设能与 $n+1$ 共同构成合法数对的众多集合中最靠后（即size 最小）的集合为 $S_j(j\le n)$。那么，我们需要证明，$S_j$ 会被该算法找到。

首先，一个很明显的性质是，由于加入 $S_j$ 的时候没有找到合法的数对，所以在处理完 $S_j$ 之后，$\forall x\in S_j$，$p_x$ 均被赋值为了 $j$。注意到原算法中是从桶中拉出来一个数与当前的集合编号组成了数对，所以我们需要证明，在扫描完 $(j,n]$ 过后， ∀ x ∈ { S j ∪ S n + 1 } \forall x \in \{S_j \cup S_{n+1}\} ∀x∈{Sj​∪Sn+1​} 的 $p_x$ 中至少有一个等于 $j$。

考虑反证法。假设在扫描完 $(j,n]$ 后， ∀ x ∈ { S j ∪ S n + 1 } \forall x \in \{S_j \cup S_{n+1}\} ∀x∈{Sj​∪Sn+1​} 的 $p_x$ 均已被改动为一个不等于 $j$ 的数。

由于 $S_j$ 与 $S_{n+1}$ 有交，所以 $(j,n]$ 中必然存在一个 $S_i$ 使得 $S_i\cup S_{n+1}\ne \varnothing ,S_i\cup S_j\ne \varnothing$ 有交，否则不可能覆盖掉任何同时属于 $S_j$ 和 $S_{n+1}$ 的位置。

注意到 $j<i<n+1$，根据前面的假设， $S_j$ 是与 $S_{n+1}$ 构成合法集合对的 size 最小的集合，这说明了 $S_i$ 与 $S_{n+1}$ 无法构成合法的集合对。然而 $S_i$ 与 $S_{n+1}$ 有交，所以 $S_i$ 必须完全包含 $S_{n+1}$。

• 因为 $S_{n+1}$ 与 $S_j$ 有交，$S_{n+1}$ 中的每个元素都属于 $S_i$，所以 $S_j$ 与 $S_i$ 有交。
• 因为 $S_{n+1}$ 中有不属于 $S_j$ 的元素，$S_{n+1}$ 中的每个元素都属于 $S_i$，所以 $S_i$ 中存在不属于 $S_j$ 的元素。
• 因为 $S_j$ 中存在不属于 $S_i$ 的元素，所以 $|S_j|\ne |S_i|$，更进一步的有 $|S_j|>|S_i|$。所以 $S_j$ 中有不属于 $S_i$ 的元素。

综合上述三条，可以得到 $S_i,S_j$ 构成合法数对，而这与最开始的假定（$S_j$ 是 size 最小的能与 $S_{n+1}$ 构成合法集合对的集合）相矛盾。

综上所述，假设不成立。本算法正确。

关于这个算法是如何想到的

首先，暴力做法（算法一）非常显然，至少我是很轻松就想到了。

算法一给了我们一个十分关键的启示，那就是开桶维护，并且先扫描 size 较大的并在桶里打标记，再扫描 size 较小的在桶里面扫描找答案。这是通向正解大门的第一步。

于是我们就想到了排序。我们还要在排序的过程中维护一个桶。不过，当前扫描过的那么多集合中，覆盖同一个位置的集合可能有很多，所以我们到底该在桶里面打上什么样的标记呢？

不难想到，我们要记录覆盖这个位置的，并且最有可能和后面的集合构成合法集合对的集合编号。而至于哪个集合最优可能与其他集合构成答案，这需要从第二个步骤，即扫描桶找答案这一步进行思考。

假设桶里面维护的真的是最优秀的集合，那么我们只需要扫描桶里面的对应位置，判断它们是否相等就好了。如果不相等就找到了答案，但是如果相等呢？这时我们就要不得不做出一个决策，究竟是将当前的集合编号丢进去把原先的替代掉，还是保留原来的不动？

不难发现原来的集合 $S$ 完全包含了当前扫描到的集合 $T$，当接下来新加入一个集合的话，如果它和 $S$ 构成了合法集合对，那么也必然会和 $T$ 构成合法集合对，当然是这个新加入进来的集合与 $T$ 有交的前提下。于是，我们便可以枚举 $x\in T$，然后把桶里面的第 $x$ 个位置给替换成当前正在处理的集合的编号了。

于是我们得到了一个可以感性理解其正确性的做法。接着我们就会通过一组数据把它给 Hack 掉：

1
3
9 1 2 3 4 5 6 7 8 9
6 4 5 6 7 8 9
3 3 4 5

然后我们就能进一步改进这个贪心，每次选择集合的 size 最小的集合以保证能够组成合法集合对了。接着为了防止思路再一次出问题，我们就会尝试给出一个较为严谨证明。上面已经叙述过了。

该如何评价这道题呢？它不需要什么码力，是一道纯思维题。做这种题需要套路的积累吗？不得不说，需要，但是需要得不多，这道题目就考察你敏锐的洞察力，以及从暴力做法中剥丝抽茧得到暴力做法的本质，并尝试将其套用到正解上的水平。此外，这种题目还要敢想敢做，谁说桶就不能维护多个集合的信息了？其实，从本质上来讲，本题中的桶之所以能够维护多个集合的信息，就是因为如果集合 $S$ 完全包含了 $T$，那么在桶的那些属于 $T$ 位置就没有保留的必要了。

好多时候，这种集合最优包含类的题目都是贪心（其实大多数是网络流，二分图 ）。也是一种不错的选择。以后应该知道该我往什么方面思考了吧——对，greedy yyds。