Blog
From the frontier.
Announcements and the stories behind verified results.
The bump that shouldn't be there: an exact counterexample in selfish routing
A small, exactly checkable network where the natural quartic extension of the affine price-of-anarchy shape theorem fails — and why the proof needs exact arithmetic.