A survey of the best known bounds before the algorithms are developed 8:51.
Strongly polynomial
O(mn)— Orlin, STOC 2013. Recent, after roughly 30 years with no improvement8:51,9:21.- The previous champion
O(mn log n)dates to 1983; the whole 30-year gain was shaving that singlelog n9:21,9:45. - In between, the
log nwas improved to a factor never larger thanlog nbut better on dense graphs — the lecturer recalls the log base becoming something liken²/m9:45. - The lecture's own target: reach
O(mn log n), and at least showO(mn log² n)9:21. - The lecturer has not read Orlin's paper and says it looks complicated
50:57,51:19.
Weakly polynomial — two incomparable bounds
- Goldberg–Rao:
O(m · min(m^{1/2}, n^{2/3}) · log(n²/m) · log U)10:17,10:55. The lecturer first wrotem^{1/3}, was corrected by students, and settled onmin(1/2, 2/3)powers, promising to fix it in the scribe notes13:27,15:32,16:09. - Lee–Sidford, via the interior point method, published less than a month before the lecture:
Õ(m √n log² U)10:55,11:41. - Neither dominates: on dense graphs (
m ≈ n²) Goldberg–Rao behaves likem·n^{2/3}versus Lee–Sidford'sm√n, so Lee–Sidford wins; whenm ≪ n^{3/2}them^{1/2}term makes Goldberg–Rao smaller11:41,12:10,12:33.