摘要：
ARC106F Figures（Prüfer 序列，组合数学） 用 图联通方案计数公式 加上组合意义推导。 AGC036D Negative Cycle 不存在负环的充要条件是存在任意源点的最短路，存在任意源点最短路的充要条件是存在一组差分约束。 阅读全文
摘要：
AGC031E Snuke the Phantom Thief 解法 1 核心思想：一类把前后缀限制转化为对单点限制的优化。 比如我们做范德蒙德卷积时，需要计算
摘要：
AGC030C Coloring Torus AGC059D Distinct Elements on Subsegments 设位置
摘要：
我们在做构造或者最优化题目的时候，经常会看到以下的文字： 可以证明，在该约束下问题一定有至少一个解。 这句话在有些题目中确实仅仅是为了打消做题者的疑虑，但是在另一些题目中则是不可多得的珍贵条件。若学会使用此类性质，对此类题目的做题速度将大大提升。因此，我在这里总结了几道要用到这个性质的题目，以及他们 阅读全文
