摘要：
非常好的博客：panyf 的 2-sat 学习笔记。 定义及实现 2-sat，简单的说就是给出 $n$ 个集合，每个集合有两个元素，已知若干个 $<a,b>$ ，表示 $a$ 与 $b$ 矛盾（其中 $a$ 与 $b$ 属于不同的集合）。然后从每个集合选择一个元素，判断能否一共选 $n$ 个两两不矛 阅读全文
摘要：
最小、次小生成树 如何生成最小、次小生成树？ Kruskal 就是暴力地将所有边排序，从小到大查看是否可以将两个连通块联通，复杂度为 $\mathcal{O((n+m)\log n)}$（如果用斐波那契对可以降到 $\mathcal{O(n\log n+m)}$）。 Prim？咕咕咕 Boruvka 阅读全文