对于一个二分图 G ，对于一个匹配 M ，若 \exist \ u, v \notin M ，则 u, v 间任意路 u, v_1, v_2, \dots , v_n , v 是一条增广路。

对于一个无向图 G ，如果把一个点 u 删除后这个图的极大连通分量数增加了，那么这个点就是这个图的割点（又称割顶）。

强连通分量（Strongly Connected Components）指有向图 G 中的极大子图，其满足子图内所有顶点都可以互相到达。

高精度计算（Arbitrary-Precision Arithmetic），也被称作大整数（bignum）计算，运用了一些算法结构来支持更大整数间的运算（数字大小超过语言内建整型）。

树状数组或二元索引树（英语：Binary Indexed Tree，Fenwick Tree），是一种用于高效处理对一个存储数字的列表进行更新及求前缀和的数据结构。