Abstract:The challenge for graph matching algorithms is to extend known time bounds for bipartite graphs to general graphs. We discuss combinatorial algorithms for finding a maximum weight f -factor on an arbitrary multigraph, for given integral weights of magnitude at most W . (An f -factor is a subgraph whose degree function is the given function .) For simple bipartite graphs the best-known time bound for combinatorial algorithms is [Gabow and Tarjan, SIAM J Comput 18(5):1013–1036, 1989; n and m are respectively the number of vertices and edges.] A recent algorithm of Duan et al. [in: Proc. of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 2020] for f -factors of simple general graphs comes within logarithmic factors of this bound, . The best-known bound for bipartite multigraphs is ( is the size of the f -factor, ). This bound is more general than the restriction to simple graphs, and is even superior on "small" simple graphs, i.e., . We present an algorithm that comes within a factor of this bound, i.e., . The algorithm is a direct generalization of the algorithm of Gabow and Tarjan [J ACM 38(4):815–853, 1991] for the special case of ordinary matching ( ). We present that algorithm first. Our analysis is a simplified and more concrete version of Gabow and Tarjan [J ACM 38(4):815–853, 1991] and has independent interest. Furthermore the algorithm and analysis are both incorporated, without modification, into the f -factor algorithm. To extend these ideas to f -factors, the first step is "expanding" edges (i.e., replacing an edge by a length 3 alternating path). Duan et al. [in: Proc. of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 2020] uses a one-time expansion of the entire graph. In contrast, our algorithm keeps the graph small by only expanding selected edges (edges incident to blossoms, in " I ( B ) sets"). Expanded edges get "compressed" back to their source when no longer needed. Expansion necessitates using an alternate graph model for blossoms (we call them "e-blossoms"). Compression requires coordinating e-blossoms with standard blossoms.

Finding triangle‐free 2‐factors in general graphs

Factoring complete graphs and hypergraphs into factors with few maximal cliques

The Independence Number Conditions for 2-Factors of a Claw-Free Graph

Conditions for a graph to have a connected even [2, 2s]-factor

The existence of tree-connected $\{g,f\}$-factors in edge-connected graphs and tough graphs

On directed 2-factors in digraphs and 2-factors containing perfect matchings in bipartite graphs

On 2-factors with long cycles in 3-connected claw-free graphs

Toughness and existence of $2$-factors

Some sufficient conditions for graphs to have component factors

Sufficient conditions for component factors in a graph

Two Sufficient Conditions for Graphs to Admit Path Factors

On degree sum conditions for 2-factors with a prescribed number of cycles

Finding Triangles or Independent Sets; and Other Dual Pair Approximations

Sufficient conditions on the existence of factors in graphs involving minimum degree

On Factorable Extensions and Subgraphs of Prime Graphs

Sharp Thresholds for Factors in Random Graphs

A Degree Condition for Graphs to Have Connected (G, F)-Factors

A Weight-Scaling Algorithm for f-Factors of Multigraphs

On the existence of factors intersecting sets of cycles in regular graphs

Equitable factorizations of highly edge-connected graphs: complete characterizations

An Asymptotic Version of the Multigraph 1-Factorization Conjecture