Codeforces Round #735 (Div. 2) 题解

Solutions

A

最优区间 $[l,r]$ 必然满足 $l+1=r$。

因此答案为

max ⁡ i = 1 n { a i × a i + 1 } \max_{i=1}^n \{a_i \times a_{i+1}\} i=1maxn​{ai​×ai+1​}

可以通过反证法来证明。复杂度 $O(\sum n)$。

B

考虑枚举 $a_i|a_j=x$。此时，$a_i,a_j$ 均为 $x$ 的子集，即 $a_i\in x,a_j\in x$。

此时，我们只需要保证 $a_i\in x,a_j\in x$ 而不需保证 $a_i|a_j=x$。这是因为，$a_i,a_j$ 只会在恰好枚举到 $x=a_i|a_j$ 时产生最大的候选值，不会影响答案。

因此，我们只需要对于每一个 $x$，求出所有 $a_i$ 是 $x$ 子集的最大 $i$ 以及严格次大 $i$。

考虑 $\text{dp}$。

令 $f_S$ 为集合 $S$ 的最大值与严格次大值组成的二元组。

转移的时候，初始化 $f_S=(-\infty ,-\infty )$，枚举所有属于 $S$ 的位置 $p$，并用 f S − { p } f_{S-\{p\}} fS−{p}​ 来更新 $f_S$。最后，我们再用 $(x_S,y_S)$ 更新 $f_S$ 即可。其中 $x_S,y_S$ 表示原序列中所有值为 $S$ 的位置编号的最大值以及严格次大值。

时间复杂度 $O(\sum n\log n)$。

C

考虑二分答案。

令当前二分到了 $v$，我们需要判断 $n\oplus 0,n\oplus 1,\cdots ,n\oplus m$ 是否覆盖了 $[0,v]$ 中的所有数。答案即为最终的 $v$ 加上 $1$。

根据 $\oplus$ 的运算法则，我们只需要判断

max ⁡ i = 0 v { n ⊕ i } ≤ m \max_{i=0}^v \{n \oplus i\} \le m i=0maxv​{n⊕i}≤m

我们只需要按位试填即可。时间复杂度 $O(\sum {\log }^{2}n)$。

将二分改为倍增即可做到 $O(\sum \log n)$，二者都可以通过。

D

这道构造题已经被我喷死了。

• 若 $n=1$，$ans=$ A。
• 若 $n\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}2)$，先输出 $\frac{n}{2}$ 个 a，然后输出 b，然后再输出 $\frac{n}{2}-1$ 的 a。
• 若 $n\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}2)$，先输出 $\frac{n-1}{2}$ 个 a，然后输出b,c，最后再输出 $\frac{n-3}{2}$ 个 b。

E

好题，性质非常强，缺了最后一步只会 $O(n^2)$ 算法。

看到 $\gcd$，不难想到容斥。即，令 $f_i$ 表示满足 $i|a_1,i|a_2,\cdots ,i|a_n$ 的可达 $a$ 的数量，那么可以在调和级别的复杂度内递推出答案。所以关键在于求出每一个 $f$。

首先考虑求出 $f_1$。为方便叙述，令第 $x$ 个被删去的节点 $y$ 的权值为 $x$，记做 $w_y=x$。不难发现，只要钦定了每一条边的两端的权值大小，就唯一确定了序列 $a$。具体来说，$a_i$ 就是所有与 $i$ 相邻且权值比 $i$ 大的节点数量。因此，不难得到，不同的序列 $a$ 共有 $2^{n-1}$ 个。即，$f_1=2^{n-1}$。

再考虑对于每一个超过 $1$ 的 $i$ 求出 $f_i$。我们先不考虑计数，先考虑构造出一个合法解。可以得到下面的算法——对树进行一遍 $\text{dfs}$。当搜索完了以 $u$ 为根的子树后，我们考虑钦定 $w_u$ 与 $w_p$ 的大小关系，其中 $p$ 为 $u$ 的父亲。于是有：

• 若当前 $u$ 的度数为 $i$ 的倍数，则须 $w_p<w_u$。
• 若当前 $u$ 的度数模 $i$ 等于 $-1$，则须 $w_p>w_u$。
• 否则无法构造出一组合法解。

仔细观察我们的构造方案，发现只要树的形态固定，每一个 $u$ 对应的情况也是固定的。从而得到，对于所有 $[2,n]$ 中的 $f_i$ 均为 $0$ 或 $1$。总而言之，我们只需要对于 $f[2,n]$ 分别尝试构造，并令 $f_1=2^{n-1}$ 即可得到 $f$。

然而，这样的时间复杂度是 $O(n^2)$ 的，无法接受。

此时此刻，就非常容易跑偏了；比如我就在用各种各样的神仙数据结构来尝试维护这些 $f$ 的转移。我们需要跳出这些性质以及做法，直接着眼于最终的答案中，有哪些位置是无效的，是不需要跑的。

观察到，树上所有的边均会让恰好一端的 $a$ 加上 $1$。换言之，${\sum }_{i=1}^n$ 就是边数，即 $n-1$。因此，对于那些无法整除 $n-1$ 的 $i$ 而言，$f_i$ 的值总是 $0$。

综上所述，我们只需要考虑那些是 $n-1$ 约数的 $i$。

总复杂度 $O(mn+n\ln n)$，其中 $m$ 为 $n-1$ 的约数个数。