09-12-2020发表09-20-2020更新信息学5 分钟读完 (大约701个字)严格次小生成树发现一个性质，严格次小生成树和最小生成树一定只相差了一条边。 依次枚举加入的边即可。维护次大值比较麻烦。阅读更多
09-06-2020发表09-20-2020更新信息学2 分钟读完 (大约318个字)跳树跳树考虑将3种操作转化为二进制上的左移 右移 往上跳。 在这里用到了虚拟的思想（并非虚树），假装这个树高度无限。然后线段树即可。阅读更多
08-27-2020发表09-20-2020更新信息学4 分钟读完 (大约537个字)2-SAT$\rm 2-SAT$ 描述的是这样一类问题: 算法概论通常采用图论建模,然后 Tarjan 解决. 考虑拆点,将一个变量 $x$ 拆成 $x_1,x_2$,分别对应真假两个状态 如果选了状态$x_1$后,必须要选状态$y_1$,那么我们就连一条 $(x_1,y_1)$的有向边.阅读更多
