由于离散数学期中过于拉跨，专门开贴记录相关知识点。

关系

三个定理

1. 如果\(A_1\subseteq A_2\)则有\(R(A_1)\subset R(A_2)\)
2. \(R(A_1\cup A_2)=R(A_1)\cup R(A_2)\)
3. 重点： \(R(A_1\cap A_2)\subseteq R(A_1)\cap R(A_2)\)

整除关系 定义整除关系\(a|b\)为：\(a\)能整除\(b\)，如\(3|6\)，画哈塞图表示（哈塞图无向），则为上面为被整除的数，下面为除数。对于定义在集合\(A=\{1,3,6,9,15,45\}\)上的哈塞图如下：

最近学离散发现网上对于最大流算法介绍的比较少，因此写个 blog 记录一下相关的知识点

最大流

定义一个有向图中的两个顶点分别为源点和汇点，源点入度为 0，汇点出度为 0，每条边有属性最大流量(maximum capacity)，表示该边能通过的流量的最大值。我们称该有向图从源点到汇点的最大的流量值即为该图的最大流。

对于如上图的一张图，想要获得从源点 1 到汇点 6 的最大流，我们可以使用如下的朴素算法：