二分图是一种特殊的图，其顶点可分为两个独立集，边连接不同集中的点。最小点覆盖是选取最少的点以覆盖所有边。König定理表明，二分图的最小顶点覆盖数等于最大匹配的边数。通过染色法可以判断二分图是否存在奇环，增广路径用于寻找更大的匹配。