摘要：
算法分级 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 阅读全文