∑math20

Theoretical computer science · Result 120

Almost-linear-time exact matching and prescribed-degree factors in general graphs

1 paper

Gives a randomized algorithm finding an exact maximum-cardinality matching in any simple undirected graph in \((n+m)^{1+o(1)}\) word time, with success probability at least 2/3. The time bound holds on every computation path. The same guarantees apply to finding a spanning subgraph with prescribed admissible vertex degrees, or deciding that none exists.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Almost-Linear-Time Maximum-Cardinality Matching in General Graphs

Almost-Linear-Time Maximum-Cardinality Matching in General Graphs

OpenAI · September 24, 2026

We prove that maximum-cardinality matching in a simple undirected graph with n vertices and m edges can be found by one uniform randomized algorithm in \((n+m)^{1+o(1)}\) time. The bound holds on every computation path in a logarithmic-word model, and the algorithm returns an explicit maximum matching with probability at least 2/3. An explicit reduction gives the same time and probability guarantees for deciding whether a simple host graph has a spanning subgraph with prescribed valid vertex degrees, and for finding one when it exists.

Read PDF Download Source

Cite
@misc{OAI:Almost-Linear-Time-Maximum-Cardinality-Matching-in-Sparse-General-Graphs-September-24-2026,
  author = {{OpenAI}},
  title = {{Almost-Linear-Time Maximum-Cardinality Matching in General Graphs}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Almost-Linear-Time-Maximum-Cardinality-Matching-in-Sparse-General-Graphs-September-24-2026/main.pdf}{OAI:Almost-Linear-Time-Maximum-Cardinality-Matching-in-Sparse-General-Graphs-September-24-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.