StaroForgin的博客

天天被卷爷吊打有没有意思嘛，但凡卷爷稍微弱一点也好！(`皿´)

然而LCT什么的就是魔鬼。

星系探索题解一道ETT板子题笔者最开始用FHQ_Treap打的ETT，忘记可以沿fafafa算出它的欧拉序，一直没调出来，于是就改用splay了。ETT的模板。其实我觉得叫它平衡树板子就可以了我们可以先通过欧拉序建出一颗平衡树来，令inxin_{x}inx​为点xxx的入欧拉序，outxout_{x}outx​为点xxx的出欧拉序。容易发现，inrootin_{root}inroot​到invin_{v}inv​的区间中删去既有出又有入的点，得到的就是从根到点vvv的入点的路径。于是，第一个操

魔法森林题解看到这道题应该是很容易想到贪心，我们可以先将所有边根据值排序，再当前基础上找到所需值最小的一条路径。但是由于边会产生改变，于是每次都要跑一遍最短路，明显是会T飞的。很容易发现，当前加入的一条边只对部分的路径产生影响，而这些路径都是在已有路径的最小生成树上构成一个环的。由于当前到每个点的最优路径都会对以后的答案产生影响，所以我们要实时维护当前最小生成树的形态。每次加入边时如果这个环上最劣的边比加入的这条边值更大，就将其删去，再加入当前边。于是我们就需要用LCT来维护这棵最小生成

Tree题解一道LCT板题。看样子就像是一道LCT的板题，只需要将乘与加的懒标记分别传下去即可。‘-’就是简单的树上加边与删边‘/'就是查询和，update时更新即可。不过需要注意一下在乘与加时懒标记与总数的变化。mul是乘的懒标记，add是加的懒标记，sum是当前和，siz是子树大小。公式其实很好推的，关键是别直接乘与加，笔者就因为这个WA了源码...