【1800】【5.29-5.30】

D. Array Differentiation

【无思路】

思路：转化为图论模型，如满足 $a_i=b_j-b_k$ 则连边 $j\leftrightarrow k$ 。详细推导见题解。

AC代码：https://codeforces.com/contest/1552/submission/263208929

C. Vasya And Array

思路：对 $t_i=1$ ，建造水平平台。空着的地方从左向右形成下降平台。这样如果 $t_i=0$ 的区间不被某个 $t_i=1$ 的区间完全包裹的话，那么一定交到了下降部分，满足限制。

AC代码：https://codeforces.com/contest/1187/submission/263209882

B. Interesting Array

思路：和上题挺像。拆位，初始序列为 $????\cdots$ ，对每个当前区间为 1 的限制覆盖一下，即 $11??1??\cdots$ ，剩下的问号换为 0 （即尽量满足 0 的限制）。最后判断即可。

AC代码：https://codeforces.com/contest/482/submission/263210448

D. Slimes

思路：注意处理 case 。首先容易想到二分思路，但长度大于 1 的话，可能会出现全相等导致不能合并的情况。并注意到性质：如果区间并不全相等，那么一定可以合并为一个。根据这个对二分边界初始化稍作处理即可。

AC代码：https://codeforces.com/contest/1923/submission/263216975

D. Binary String Sorting

思路：枚举 01 边界，并作出最优决策。

AC代码：https://codeforces.com/contest/1809/submission/263219328

C. Magic Grid

思路：憋了半天写出来的。打表观察 $0\sim n^2-1$ ，发现可以根据末尾的 4 个 0 分组（即每相邻 16 个分一组），然后填充到 $4\times 4$ 的正方形里（这个分组很关键）。然后发现，分过的组如何摆放，异或都是 0 。然后就随便构造了。

AC代码：https://codeforces.com/contest/1208/submission/263238555