解题思路

• 先将原序列排序为 $s_1 \le s_2 \le \cdots \le s_n$，一次形变等价于：从 multiset 中删去某个 $s_k$，再向 $[1,m]$ 中插入一个自由数 $x$，最后排序得到长度为 $n$ 的序列。
• 对固定的目标值 $G$，判定「最小间隔能否 $\ge G$」：若 $G=0$ 恒可行；若 $G>0$，则最终序列中相邻差均 $\ge G$，等价于排序后相邻元素间距至少为 $G$。
• 对固定的 $k$（删去 $s_k$），得到长度 $n-1$ 的有序数组 $t$。在 $t$ 中尚未插入 $x$ 时，$t$ 内部的相邻对若出现间距 $<G$，则必须在最终序列里由 $x$ 插入到该相邻对之间 才能同时把左右两侧都拉开到 $\ge G$；因此 $t$ 中「坏间隔」的个数必须 $\le 1$，否则一次插入无法同时修复。
• 若 $t$ 内坏间隔数为 $0$：只需存在某个插入位置，使 $x$ 与左右邻居（或边界与 $[1,m]$）满足间距 $\ge G$。这等价于：可把 $x$ 放在最左（需 $s_{\text{首}}\ge G+1$ 以容纳 $x=1$）、最右（需 $s_{\text{尾}}\le m-G$ 以容纳 $x=m$），或夹在 $t$ 的某个足够宽的内部缝隙里（需该缝隙长度 $\ge 2G$）。
• 若 $t$ 内恰有 $1$ 个坏间隔 $(u,v)$：必须把 $x$ 放在 $u$ 与 $v$ 之间，且需 $v-u\ge 2G$，并存在整数 $x\in[\max(1,u+G),\min(m,v-G)]$。
• 对所有 $k$ 做一次 $O(n)$ 判定，配合对 $G$ 的二分（上界取 $m$），单组复杂度 $O(n\log m)$；全文件 $\sum n \le 4\times 10^5$ 可过。