标签：题解 元素 插入 整块 text 操作 UPIT block 2011
题解做法：块状链表。
若只有 1、2、4 操作，即题目 P1438 无聊的数列，可以用线段树 + 差分轻松维护，也可以用分块实现，这两种做法都是在线的。
新增一个 3 操作，用线段树难以在线实现插入操作，只能离线实现。如果强制在线呢？我们考虑用分块来实现。
操作 1：区间赋值。
散块暴力修改，整块用一个数组 change 记改成了啥。由于是赋值，我们将其他整块上的相关信息清空，如区间加的标记等，并且更新区间和 sum[i]=siz[i]*c。注意在每次散块赋值前，要类似线段树的 pushdown，将标记下放，即把散块所有元素的值通过标记更新。
操作 2：区间加等差数列。
这个等差数列比较特别，它的首项等于公差。如果有个整块一直是进行操作 1 和 2 的，那么整块中的相邻两个元素差是固定的，即最后一次操作 1 后的所有操作 2 对应的公差之和。因此，我们记下公差之和，以及整块中第一个元素值的增量。
操作 3：单点插入。
找到插入点对应的块，如果插入点等于当前序列长度 +1，则归为最后一块。类似暴力，将插入点后所有元素全部后移，然后填上插入的元素。用 vector 可以实现，但常数较大。正因这一部分，我使用了块状链表。
注意插入点后所有元素全部后移只能在该块内实现，若全部更新复杂度无法接受。因此我们对链表上每个元素记录它的原编号（即按输入以及插入顺序），并记录它在当前块中的排名（从前往后数第几个），在进行操作时直接遍历当前块对应链表，将符合修改目的的元素进行修改即可。
考虑极端情况：几乎所有插入全部插入在同一点，那么单块最长可达 \(\text{block}+m\)。若所有查询都是求序列元素总和，则统计上述情况块时的复杂度不再为 \(O(\text{block})\)，而是达到了 \(O(\text{block}+m)\)。上述两种极端操作均匀出现，忽略常数，则总复杂度最高可达 \(O\big((\text{block}+m)^2\big)\)，无法承受。因此当存在一个整块大小超过 \(2\times \text{block}\) 时，我们需要重构，那么最多重构 \(m/\text{block}\) 次。
注意：插入前需要下传标记，插入后若重构，需要重新统计每块大小。
操作 4：区间求和。
这个操作就非常 naive 了，仍需注意的是统计前下传标记。
认为 \(n\) 和 \(m\) 同阶，取 \(\text{block}=\sqrt{n+m}\) 左右时，总时间复杂度约为 \(O(n\sqrt{n})\)。
如果您通过上述文字尚无法理解或不清楚如何实现，可以点击下面链接具体了解。
其中展示的代码使用语言 C++14 提交，可以在不开启 O2 优化的情况下通过。
标签：题解,元素,插入,整块,text,操作,UPIT,block,2011 来源： https://www.cnblogs.com/cyl06/p/P6707.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。