二分图中最大匹配与最小顶点覆盖的等值极限（Kőnig定理）.docVIP

二分图中最大匹配与最小顶点覆盖的等值极限（K?nig定理）

一、二分图的基础概念框架

在图论的体系中，二分图是一类结构特殊且应用广泛的图模型。其核心定义为：若一个无向图(G=(V,E))的顶点集合(V)可被划分为两个互不相交的子集(X)和(Y)，使得图中任意一条边的两个端点分别属于(X)和(Y)，即图中不存在边连接同一子集内的顶点，则称该图为二分图。这种划分方式((X,Y))被称为图的二分划。

从直观结构来看，二分图呈现出明显的“双边”特征，两个顶点子集如同两个独立的阵营，所有的边都扮演着“桥梁”的角色，连接着不同阵营的顶点。例如，在人员任务分配场景中，可将人员划分为子集(X)，任务划分为子集(Y)，人员与可执行任务之间的关联便构成了二分图中的边；在电商平台的用户-商品推荐系统中，用户和商品分别作为两个顶点子集，用户对商品的浏览、收藏等行为可抽象为二分图的边。

匹配是二分图研究中的核心概念之一。给定二分图(G=(X,Y,E))，匹配(M)是边集(E)的一个子集，且(M)中任意两条边都没有公共顶点。简单来说，匹配就是图中一组互不相交的边集合。例如，在人员任务分配中，一个匹配就代表了一组不冲突的任务分配方案，即每个人员最多被分配一个任务，每个任务也最多被一个人员执行。

最大匹配则是指在二分图的