摘要：
Lengauer Tarjan算法的相关证明 0. 约定 为简单起见，下文中的路径均指简单路径（事实上非简单路径不会对结论造成影响）。 $V$代表图的点集，$E$代表图的边集，$T$代表图的DFS树。 $a \to b$代表从点$a$直接经过一条边到达点$b$（即$(a, b) \in T$）， $ 阅读全文
摘要：
一共有两种类型，我分别介绍。 类型一 先来看一道简单的题目： POJ2442 Sequence 给你$m$个序列，每个序列有$n$个非负整数，你现在要在每个序列选一个数，这一共有$n^m$种方案，一种方案的值定义为所选的数的和，要你输出值最小的$n$种方案的和。 数据范围： $0 \lt m \le 阅读全文