博客探讨了CF1421E问题，即如何构造满足特定条件的序列。核心结论是：若(op=-1)的个数为x，且(n+x)%3==1，不呈现1,-1,1,-1...模式，一定能构造出相应序列。证明涉及序列合并性质和模3运算。解决此类问题的方法是使用受限的线性动态规划。"
104351763,4557471,Mybatis执行SQL的内部机制探秘,"['Mybatis框架', '数据库操作', '源码分析', 'JDBC']
很容易发现：最终结果为：
![\sum_{i=1}^n{ a[i]*op}\ \ \ \ \ op=1,-1;](https://i-blog.csdnimg.cn/blog_migrate/0ff95abd58abc18059ece1e9382542d9.gif)
仔细观察，大胆猜测结论：
设op=-1的个数为x， 只要满足:(n+x)%3==1，且op序列不等于1，-1，1，-1，1…… ，则一定能通过一种方法构造得到这种op序列。
证明：
首先：若两个序列均满足 (n+x)%3==1 则他们合并后一定也满足(n+x)%3==1.
证：显然n=1时成立(x=0).
设其中一个序列长度n1，op=-1的个数为: x1, 另一个序列的长度为n2，op=-1的个数为x2.
合并后的序列长度为n=n1+n2，op=-1的个数为x=n1+n2-x1-x2;
(n1+x1)%3==1
(n2+x2)%3==1
(n1+n2+x1+x2)%3=2 ----- 1
(n1+n2-x1-x2+n1+n2)%3= y ------2
合并1、2 有:
(n1+n2+x1+x2+n1+n2-x1-x2+n1+n2)%3=(3*n1+3*n2)%3 =0
所以y=1&#
156
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
最低0.47元/天 解锁文章
