摘要：
子集反演 \[g(S)=\sum_{T\subseteq S}f(T) \Leftrightarrow f(S)=\sum_{T\subseteq S}g(T)\cdot (-1)^{|S|-|T|} \]\[h(S)=\sum_{T\supseteq S}f(T) \Leftrightarrow 阅读全文
摘要：
二分图最大匹配，最小点覆盖与最大独立集 二分图最大匹配 \(=\) 最小点覆盖，最大独立集 \(=\) 总点数 \(-\) 最小点覆盖。 二分图匹配可行边，必经边，可行点与必经点 先对原图跑最大匹配，在残量网络上跑 tarjan 求强连通分量。 可行边：该边为原图上的匹配边或两点属于相同的强连通分量 阅读全文
摘要：
构造题的解决方法较为丰富，感觉需要较多的人类智慧与灵感，但是一些套路的构造题通常会有以下几种构造方式。 递归/分治构造 我们能够解决一个较小规模问题的构造，而构造一个大规模的问题可以在构造完小规模的子问题后进行合并，从而完成构造。 CodeForces-1773K King’s Puzzle 题意： 阅读全文
摘要：
CF1882E2 Two Permutations (Hard Version) 好题啊，E1 的构造已经让我想了好久了，E2 的第一步转化真的很妙！ 需要最优化，首先考虑 dp，但是发现 dp 状态难以定义，所以需要对操作进行一些转化。 考虑在排列的开头加一个 \(0\)，标记整个排列的开头位置。 阅读全文