CF1823D

原题

翻译

首先我们发现$c_i\le x_i$一定有解，否则一定无解

因为我们考虑如果以$s_i$结尾出现了若干个回文串，则对于一个与他匹配的$s_j$，容易发现$s_j=s_i$，这会让他减去一个代价

因此可以知道$0\le p(s,m)-p(s,m-1)\le 1$

我们对于每个限制分开考虑。思考如果$c_i=x_i$的最简单的构造方案是什么，显然是$aaaaaa....$

于是我们考虑在里面添加一些无用的字符串来抵消多余的贡献，我们发现如果我们用长度$\ge 3$的，里面字母完全不同的字符串反复写，他是不会出现字符串的，如$abc$就是一个理想的情况

因此我们考虑对于第一段我们使用$abccccccc...ccabcabc...$，第二段使用$cccccccccc...ccccabcabc...$，可以发现这样一定不会构造出多余的回文串

最终复杂度$O(n)$