众所周知，2-SAT即二元适配性问题，用于解决一类布尔方程的求值问题……

“完全”的三分图的存在性判定问题……

一道比较简单的分类讨论题……

树链剖分是一种针对树上问题的很优秀的处理想法。准确的说，它就是一种把“树”映射成“链”的想法。而对于“链”，我们能进行很多处理，诸如挂上线段树，维护前缀和之类。通过这些优秀的数据结构，我们就可以很好的解决有关树上路径的诸多问题……

明天自招考试！
花点时间把一些老博客上的一些板子转移过来，顺便也复习一下。

最小费用最大流（Min Cost Max Flow，MCMF，也称费用流）问题，是指在网络流图中，对于每条边在原有的基础上再增加一个限制——单位流量的费用……

两只$\mathbf{Tarjan}$，两只$\mathbf{Tarjan}$，跑得快，跑得快……

欧拉跑过的七桥古塘，让你，心驰神往……

给定若干组形如$x_i - x_j \leqslant k_a$（$k$为常数）的不等式，询问该不等式组的一组解。
解是指一组$x$，使得$x_1,x_2,…x_n$均满足上述不等式组的限制……

任意一条网络流边可以描述为$x=(u,v,cap,flow)$。其中$u$为边的起点，$v$为边的终点，$cap$为流量限制，$flow$为当前流量……