小池定理：最大匹配数等于最小点覆盖数（一个二分图的最大匹配数等于其最小点覆盖数）

小池定理，又称为K?nig's Theorem，是图论中的一个重要定理。该定理的主要内容是：一个二分图的最大匹配数等于其最小点覆盖数。在介绍小池定理之前，我们需要先了解一下什么是二分图。一个二分图是指一个图中的所有节点可以被分成两个...