theoretical-computer-science / Graph algorithms; matching

Maximum-cardinality matching in general graphs in almost-linear time

Theorem 1.1: a single uniform randomized algorithm finds a maximum-cardinality matching of any simple graph in (n+m)1+o(1)(n+m)^{1+o(1)} word operations on every path, with success probability at least 2/32/3 and explicit output. Corollary: the same guarantees for deciding and constructing ff-factors (prescribed-degree spanning subgraphs). It is randomized (no deterministic version), unweighted (maximum-weight general matching is not addressed), and the o(1)o(1) is not made explicit.

48Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

theoretical-computer-scienceSep 24, 2026Significance 48/100Registry: unreviewed

Maximum-cardinality matching in general graphs in almost-linear time

Prior state unknown→proved

Theorem 1.1: a single uniform randomized algorithm finds a maximum-cardinality matching of any simple graph in (n+m)1+o(1)(n+m)^{1+o(1)} word operations on every path, with success probability at least 2/32/3 and explicit output. Corollary: the same guarantees for deciding and constructing ff-factors (prescribed-degree spanning subgraphs). It is randomized (no deterministic version), unweighted (maximum-weight general matchi…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: a single uniform randomized algorithm finds a maximum-cardinality matching of any simple graph in (n+m)1+o(1)(n+m)^{1+o(1)} word operations on every path, with success probability at least 2/32/3 and explicit output. Corollary: the same guarantees for deciding and constructing ff-factors (prescribed-degree spanning subgraphs). It is randomized (no deterministic version), unweighted (maximum-weight general matching is not addressed), and the o(1)o(1) is not made explicit.

Theorem 1.1: a single uniform randomized algorithm finds a maximum-cardinality matching of any simple graph in (n+m)1+o(1)(n+m)^{1+o(1)} word operations on every path, with success probability at least 2/32/3 and explicit output. Corollary: the same guarantees for deciding and constructing ff-factors (prescribed-degree spanning subgraphs). It is randomized (no deterministic version), unweighted (maximum-weight general matching is not addressed), and the o(1)o(1) is not made explicit.

Recorded attempts

Evidence graph

Connected research record