二分匹配

二分图：给定一个图G=（V, E），其中V是该图的顶点集合，E为该图的边集。如果该图的所有顶点能够分成两个集合X，Y，并且这两个集合内的任意两个点之间都没有边相连，则可称这样的图为二分图。
最大匹配：
在一个二分图中找出尽量多的边，使得这些边中任意两条边之间都没有公共点，找出来的最多的边数就是该二分图的最大匹配。

最大独立集：
在一个二分图中找出尽量多的点，使得这些点中任意两个点之间都不相连，找出来的最多的点数就是该二分图的最大独立集。最大独立集=顶点数-最大匹配。

最小顶点覆盖：
在一个二分图中找出尽量少的点，使得该图的所有边都至少和其中一个顶点相连，找出来的最少的点数就是最小顶点覆盖数。最小顶点覆盖=最大匹配。

最小路径覆盖：
在一个二分图中找出尽量少的路径，使这些路径能够覆盖图中的所用顶点，并且图中的每一个顶点有且只有一条路径与之关联。最小路径覆盖=最大独立集。