决，其中 m 是原图中的边数。
匹配.一个图的匹配是这个图中一些边所形成的集合，满足任意集合中的两条边都没有公共的顶点。许多关于匹配的问题都有可以被多项式时间的演算法解决，例如最大匹配问题 (寻找一个匹配包含最多的边)，，和稳定婚姻问题。在大部分的情况，如果已知原图是二分图，匹配问题会变得单纯很多，而且许多演算法只能处理二分图上的情况，例如专门用来计算最大匹配的边数的霍普克洛夫特－卡普演算法。举个简单的例子，假设有一些人想要找寻工作，他们形成集合 P，此外还有一些职缺，它们形成