AT_agc056_c [AGC056C] 01 Balanced

不难设 \(d_i\) 为前缀 \(i\) 中 \(0/1\) 数量的差值，显然有两个限制：

• \(d_{l - 1} = d_r\)
• \(|d_{i - 1} - d_i| \le 1\)

可以差分约束，事实上，直接跑差分约束就可以得到字典序最小的构造了，这也算本题的价值之一。