OpenAI reports the strong thin spanning-tree bound

There is a universal C such that every finite loopless k-edge-connected multigraph on at least two vertices has a spanning tree meeting each nontrivial cut in at most C/k times the number of original cut edges.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

There is a universal C such that every finite loopless k-edge-connected multigraph on at least two vertices has a spanning tree meeting each nontrivial cut in at most C/k times the number of original cut edges.

Why it matters

If correct, resolves the quantitative strong thin-tree conjecture at the necessary 1/k scale.

What counts as progress

Does k-edge connectivity guarantee a spanning tree with O(1/k) occupancy on every cut?

Website timeline

Publication dates and editorial changes.