Maximum Cardinality \ (f\) -Matching in Time \ (O (n^2/3m) \)

We present an algorithm that finds a maximum cardinality \ (f\) -matching of a simple graph in time \ (O (n^2/3m) \). Here \ (f: V\) is a given function and an \ (f\) -matching is a subgraph wherein each vertex \ (v V\) has degree \ (f (v) \). This result generalizes a string of algorithms that concentrate on simple bipartite graphs. The bipartite case is based on the notion of level graph, introduced by Dinic for network flow. In general graphs this notion breaks down: Vertices no longer have unique levels, and there are too many levels to analyze the corresponding level graph like bipartite graphs (\ ( (n^2) \) vs. \ (n\) ). We use “natural” levels to prove properties of shortest augmenting trails (e. g. , formulas for trail length). We use “shortened” levels to derive the algorithm's time bound. The algorithm, unmodified, is also efficient on multigraphs, achieving time \ (O (\f (V), n\ m) \) for \ (f (V) =ₕf (v) \). The special case \ (f 1\) shows the algorithm duplicates the classic time bound for maximum cardinality matching, \ (O (n m) \).