摘要：现已完成: [7/91] TWOCOMP 关于图论的一些定义: 匹配 点覆盖 独立集 边覆盖 团 对于二分图有 $|最大匹配|\ =\ |最小点覆盖|$ 对于不存在孤立点的图，$|最大匹配|\ +\ |最小边覆盖|\ =\ |V|$ $|最大独立集|\ +\ |最小点覆盖|\ =\ |V|$ $|最 阅读全文

摘要：BZOJ1152 单纯形 border tree "学习" "学习" 阅读全文

摘要："一种筛法" "洲鸽筛" "阶梯nim" "威佐夫博奕" "K短路" "左偏树" "容斥" 有两种形式 一种是枚举约束的子集的容斥，这时候就是对于满足恰好$x$个约束的每一个事件有$\sum_{i\ =\ 1}^x\ \binom{x}{i}\cdot f(i)\ =\ g(x)$,其中$g(x)$ 阅读全文

摘要：UOJ317 对于每个 $x$ 要么是 $a$ 要么是 $b$，爆搜即可 AGC023D 逆向思维，考虑最后一个visit哪个点 CF913F 考虑第一个scc后，将与第一个scc里的点有关的边全部计入ans，不计算其余点之间的连边，这样其余scc就可以变成子问题了 LOJ2504 $P(x)$ 表 阅读全文