【Atcoder】AGC032 B-F简要题解

B.Balanced Neighbors

构造完全图。
若$n$为偶数，删去$i+j=n+1$的边；否则删去$i+j=n$的边。

---

*C.Three Circuits

直接dfs强行求出答案上下界正确性是错的，我的瞎构造也没有发现某种特殊情况实际上可能会wa。

首先把存在度数为奇的点的图判掉。

讨论如下：

• 存在点度数$\ge 6$，必然有解(可以拆成至少三个环)
• 存在至少$3$个度数为$4$的点，也必然有解(考虑一个经过了三个度数为$4$的点的欧拉回路一定可以从中间拆成2个)
• 对于存在$2$个度数为$4$的点，下图这种情况就凉了。判断其中一个度数为$4$的点是否存在不经过另一个的欧拉回路即可即可。
  
• 否则必然无解。

---

*D.Rotation Sort

操作相当于：花费$a$的代价将某个数向右放到任意位置，花费$b$的代价将某个数向右放到任意位置。

考虑固定一个不操作的位置序列$a_1,a_2,...,a_m$:

• $p_{a_1}<p_{a_2}<...<p_{a_m}$
• 对于$a_i<x<a_{i+1}$，它的操作是固定的——一次性把$x$放到满足$p_{a_j}<p_x<p_{a_{j+1}}$的区间$(a_j,a_{j+1})$里面。

考虑按值从$1-n$DP不操作的位置，设$dp[i][j]$表示处理完$i$，上一个不操作的位置为$j$的最小代价，设$q_i$为值$i$在$p$中的下标，转移：

• 若$q_i>q_j$，$dp[i][i]=\min (dp[i][i],dp[i-1][j]),dp[i][j]=\min (dp[i][j],dp[i-1][j]+b)$
• 若$q_i<q_j$，$dp[i][j]=\min (dp[i][j],dp[i-1][j]+a)$

---

*E.Modulo Pairing

结论题，证明感性。

将$a$按升序排序，存在一个分界线$l(0\le l\le 2n)$，满足：

• 对于$1<i<l$，$a_{i-1}+a_i<M$
• 对于$l\le i<2n$，$a_i+a_{i+1}\ge M$
• 按$(l-1,l),(l-2,l+1)...$匹配，一定能得到最优答案

二分找到$l$即可

(可以感性理解为模$M$意义下，$0$~$\lfloor \frac{M}{2}\rfloor$和$-1$~$-\lfloor \frac{M}{2}\rfloor$答案最小)
(也可以理解为$l$左移右移答案都不会更优)

---

*F.One Third

概率期望题(需要求微积分的那种，一眼滚粗)

神仙模型转化

把第一刀切的位置看做$0$，把所有位置分别染成三种颜色：$[0,\frac{1}{3})$为红色，$[\frac{1}{3},\frac{2}{3})$为绿色，$[\frac{2}{3},1)$为蓝色。

位置模$\frac{1}{3}$，转化成新的等价模型：
长度为$\frac{1}{3}$的线段上，$0$处为红色，$\frac{1}{3}$处为蓝色，其它点在$(0,\frac{1}{3})$内颜色和位置均随机。

问题转化成了，任意取$n-1$个点，求最近的异色点对距离(包括两个端点)。

积分算出长度为$1$的线段，随机切成$n$段，第$k$短的段的期望长度为$\frac{1}{n^2}+\frac{1}{n(n-1)}+...+\frac{1}{(n-k+1)}$。(推导可以看这里)
如果就是最短的一段，答案是$\frac{1}{3n^2}$，否则考虑第二短的一段，答案需要$+\frac{1}{n(n-1)}$，还要乘上第一短的段两个端点颜色相同的概率$\frac{1}{3}$。

故$ans=\sum _{i=1}^n\frac{1}{3^{i}n(n-i+1)}$