OpenAI reports the strong thin spanning-tree bound
- Mathematics
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.