Codeforces Round #754 (Div. 2) 部分题解

前言

神迹: 模拟赛切掉 A,C,E，但不会 B,D,F。

真就涉及到一丢丢构造和贪心就不会做呗，我是真的菜。

Solutions

A

不难发现，每次操作可以将 $a_1+a_3-2a_2$ 减小或增大 $3$。

若令 $p$ 为初始时的 $a_1+a_3-2a_2$，那么：

• 若 $p\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)$，则答案为 $0$。
• 若 $p\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$，则答案为 $1$。
• 若 $p\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}3)$，则可以使 $a_1+a_3-2a_2=-1$，从而答案为 $1$。

B

个人主观感觉这是一道神仙题，比 E 难很多倍。

注意到，若存在一个 $i$ 使 $[1,i]$ 中 $1$ 的个数与 $[i+1,n]$ 中 $0$ 的个数相等，那么一步就可以解决问题了。

那若不存在这样的 $i$ 呢？对不起，这样的 $i$ 永远都是存在的。下面是简要证明：

• 令 $x_i={\sum }_{j=1}^i[a_j=1]-{\sum }_{j=i+1}^n[a_j=0]$。
• 不难发现，$x_n\ge 0$，$x_1\le 0$ 且 $x_i=x_{i+1}-1$ 或 $x_i=x_{i+1}+1$。
• 这等价于一个青蛙从某个属于 $x$ 轴正半轴（及原点）的点出发，每次将自己的横坐标加 $1$ 或减 $1$，最终到达某个属于 $x$ 轴负半轴（及原点）的点。
• 不难发现，这只青蛙必定会在某个时刻经过原点，因此这样的 $i$ 必定存在。

特别的，若初始序列已经有序，则只要输出 $0$ 就足够了。方案构造十分容易，这里不再质数。

总复杂度 $O(\sum n)$。

C

为方便叙述，令 $[l,r]$ 优秀，当且仅当 $r>l$ 且其中 a 的个数大于 b 和 c 的个数；令区间 $[l,r]$ 为极小优秀区间，当且仅当 $\forall l\le l^{\prime }\le r^{\prime }\le r$ 满足 $[l^{\prime },r^{\prime }]$ 不优秀且 $[l,r]$ 优秀。

通过手玩不难猜出，极短优秀区间的长度不会很大，随便设 $k=50$ 就过了。官方题解说极短优秀区间的长度最大是 $7$。

时间复杂度 $O(\sum kn)$，其中 $k$ 为常数，可以通过本题。

D

Observation 1

若 $x\oplus y\le \min (x,y)$，当且仅当 $x,y$ 在二进制表示下的数位相等，即 $\lfloor \log x\rfloor =\lfloor \log y\rfloor$。

Observation 2

令 $x,y$ 属于同一个等价类，当且仅当 $x\oplus y\le \min (x,y)$。

则等价类共有 $\lceil \log n\rceil$ 个，每个等价类的大小分别为 $1,2,4,8,\cdots$（最后一个等价类的大小较为特殊）。

Solution

不难发现，只要我们将两端属于不同等价类的边删去，那么每个分裂出的连通块中的合法起点总和就是答案。

思考一个极端情况: 对于树上每条边 $(u,v)$，$u,v$ 均属于不同的等价类。这样合法起点数就是 $n$，达到上界。

那能否构造出来呢？永远都可以！下面以构造方案证明这个性质。

考虑将树上的点按深度的奇偶性分为两类，则每条树边都连接了两个不同类别的点。令第一类的节点个数为 $cnt$，那么我们可以将 $cnt$ 表示为若干个 $2$ 的幂次之和，并对于每个拆分出来的 $2^r$，在属于该类的节点中填入所有二进制表示下长度为 $r+1$ 的数。第二类的节点填上剩余未填的值即可。

总复杂度 $O(\sum n)$。

E

可以发现，当固定了 $a,b$ 之后，答案就是

$$\sum _{i=1}^n\left|\sum _{j|i}\mu (\frac{i}{j})(b_j-a_j)\right|$$

构造多项式 $F(x),G(x)$，其中 $F_i(x)=\mu (i)$，$G_i(x)=b_i-a_i$，且 $H=F\cdot G$，则式子可以被写作：

$$\sum _{i=1}^n|H_i(x)|$$

不难发现，当 $b$ 变大 $1$ 后，$G_1(x)$ 变大了 $1$，对于每个 $[1,n]$ 中的 $i$ 同时 $H_i(x)$ 也变大了 $\mu (i)$。

先设定 $b_1=0$。定义一次函数 $f_i(x)=h_i+\mu (i)x$，那么一次查询的答案就是

$$\sum _{i=1}^n|f_i(x)|$$

不难想到将询问离线下来并按 $x$ 从小到大排序，然后考虑 $1,2,3,\cdots ,n$ 对各个询问的贡献，每次先二分找到 $f_i(x)<0$ 和 $f_i(x)\ge 0$ 的分界点并差分进行贡献。

总复杂度 $O((n+q)\log q)$，可以通过本题。

F

咕咕咕

Code

不想放了，自己写吧 /kel