摘要：
给定n个数，值域范围1~n，每个数都不同，求满足所有相邻数不同的排列数。$n\le 30$。 状压DP很好想，然而我考试时没写出来。对于排列还是有很多转化方法。另外要注意数据范围。 阅读全文
摘要：
I'm facing the major enemy. The information. I don't know when I've been crazy about seeking information. online. Taking my all day and not except any 阅读全文
摘要：
对于任意连续区间的限制，可以转化为以i结尾的所有区间的限制。这个转换在昨天的后缀自动机题也有用到，因此将其命名为 区后变换 。稍加分析后，我们记录以i结尾任意区间最大差即可进行DP转移。这个转换同时也创造了增量的性质，即i++时每个区间相当与在后面添加一个数，方便统计。用极值来约束DP条件也是好的想 阅读全文
摘要：
当你设计的算法的时间复杂度无法承受时，一定有某个性质没有被完全利用。你可以先排除一定已被完全利用的性质，剩下的就是还需要挖掘的性质。 阅读全文
摘要：
“线i点j”——最终化成的式子$y=kx+b$中，$x$和$y$只与$j$有关，$k$和$b$只与$i$有关。 凸包由j点构成，然后用i线去截。 阅读全文
摘要：
算法分级 1. 简单的模拟，简单的模板，极为简单的数据结构，极为简单的技巧。 2. 简单的贪心/动态规划，简单的技巧，计算几何题，倍增，01分数规划，一般的背包，一般的期望题，一般的动态规划优化，简单的数论/矩阵，矩阵树定理，一般的莫比乌斯反演，量产数据结构，简单的分块/莫队，一般的字符串，简单的网 阅读全文
摘要：
2 SAT算法用于求出满足一系列形如“若选x，则必（不）选y”的限制条件的解。将每个元素拆为x1与x2两个点，表示选与不选。用有向边来表示“推出”，这样每个限制条件对应连两条边。建完图后跑一遍Tarjan。此时若x1与x2在同一个强连通分量中，则问题无解（矛盾）。否则选择强连通分量编号较小的点作为最 阅读全文
摘要：
卡特兰数 卡特兰数是一类特殊的数，形如1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900, 2674440, 9694845, 35357670, 129644790, 477638700, 176726319 阅读全文
摘要：
两个串，考虑一建一跑。枚举模式串的位置$i$，考虑每次统计以$i$结尾的所有符合要求的串。在后缀自动机上走时记录当前匹配长度$curlen$，则当前节点的贡献是$(curlen len[f[o]]) rgtsiz[o]$。由蛋糕性质，这个结点在parent树上到根的链也要统计答案，其贡献为$(len 阅读全文
摘要：
李超线段树用于维护一些单调上升序列。 问题：给定一些线段，多次询问对于一个x，在其上的所有线段中在这个位置的最高的y坐标。 对于线段树的每个结点，维护一条线段表示这个区间的“最优线段”。 插入一条线段时，更新其所对应的所有结点。求出这个节点的最优线段与当前插入线段的交点，将交点与边界的距离较大的在上 阅读全文