【Atcoder】AGC006 B-F简要题解

B.Median Pyramid Easy

构造题。

$x=1,2N-1$必然无解。

否则把$x$放中间，$x-1,x+1$放左右，一定有解。

---

C.Rabbit Exercise

线性的期望可以拆开逐次算：

单独考虑每次操作：
跳跃后$a_j$的期望位置：$a_{j+1}+a_{j-1}-a_j$，发现：

$a_{j+1}-a_j^{\prime }=a_j-a_{j-1},a_j^{\prime }-a_{j-1}=a_{j+1}-a_j$

原数列差分得到$b_j=a_{j+1}-a_j$，$a_j$的一次跳跃相当于$swap(b_j,b_{j-1})$

那么执行一次$set$后相当于对$b$进行了一次轮换。

求出所有轮换组。轮换组里找$M$次轮换后的位置是$O(1)$的。

---

D.Median Pyramid Hard

二分答案，将$<mid$的数看作$0$，$\ge mid$的数看作$1$。

考虑从中间位置不断向两端拓展，若先遇到连续的2个0/1，则最后顶端必然为0/1，否则比较01的个数即可。

---

E.Rotate 3x3

一些性质：

• 任何一列的三个数字不会被拆开到不同列中
• 第二行的数字不会去其他行，第一行和第三行的数字也不会到第二行
• 原来的奇数列操作后也应该在奇数列，原来的偶数列操作后也应该在偶数列。

发现可以构造操作(记大写字母与小写字母为两种正反状态)：

1. abcde -> CBAde -> CBEDa -> ebcDa -> ebAdC -> aBEdC -> aBcDe
2. CBAde->abcde -> aDCBe -> cdABe -> cbaDe -> ABCDe -> AbCde(执行上面那串操作）

（懒于构造，直接贴题解）

2操作也就是说交换相邻两个奇偶性相同的列且保持正反状态不变时，必然会使得一个奇偶性不同的列正反状态改变。

那么模拟冒泡排序的过程(BIT维护)，计算奇数列和偶数列是否能达到目标矩阵的正反状态。
（只需要反的列个数与目标矩阵反的列个数差为偶，因为可以通过1操作达到目标状态）

---

F.Blackout

把格点$(x,y)$看做点$x\to$点$y$的一条有向边。

则原图的染色相当于由$x\to y,y\to z$得到$z\to x$。

发现只有每个弱连通图内的点可能会增加连边。

所以先把边看成无向的，在划分出的每个弱连通图内计算贡献：

基于对图论题目本质的理解，题解中套用一个很妙的方案——三染色：使得红点连向黄点，黄点连向蓝点，蓝点连向红点。

若无法染色，显然图会被连成完全图，贡献为$n^2$。

若只能染出$\le 2$种颜色，则不会有新连边，贡献为$m$。

否则设三种颜色点数分别为$c_1,c_2,c_3$，相应颜色之间的点均可以连边，贡献为$c_1{c}_2+c_2{c}_3+c_3{c}_1$