AGC001D
很早之前看到一度怀疑是错题,然后今天发现我看错题了,原来是说这个序列只包含一种元素啊……
一个 \(l\) 长的回文串定下了 \(\frac{l}{2}\) 的等价关系,可以视作连边,于是转化出图论模型。
考虑无解是为什么,注意到奇数长度的回文串很影响我们,拉出来分析,发现一个奇数长度的回文串为了让它联通,我们会空出一个位置,如果再来一个奇数长度的就能把这个位置拼上,但我们就填满了,无法再扩展了。
于是合法的构造形式也有了:把奇数长度的串放首尾,然后 \(b\) 把连通块串起来即可。
需要特判 \(m=1\)。
AGC002D
这个唐人看到之后只能想到什么可持久化并查集或者整体二分撤销并查集。
其实完全不对,考虑单次二分的时候,我们要查两个的连通块,这其实是个经典问题。
你把重构树建出来在上面二分不就完了!
早期 AGC belike。