摘要：ARC106F Figures（Prüfer 序列，组合数学） 用 图联通方案计数公式 加上组合意义推导。 AGC036D Negative Cycle 不存在负环的充要条件是存在任意源点的最短路，存在任意源点最短路的充要条件是存在一组差分约束。 阅读全文

摘要：记录一些 DP 里常用的优化方法。 CF1453F Even Harder 可以对最后的路径 DP，\(i \to j\) 的代价是他们俩之间之间 \(p + a_p \leq j\) 的 \(p\) 的个数，且对于 \(i \to j \to k\) 要满足 \(i + a_i < k\)，那么 阅读全文