The Hirsch conjecture in dimension four
Find a 4-dimensional polytope with n facets whose graph has diameter greater than n − 4, or prove the Hirsch bound in dimension 4.
Pull requests
Pull requests bring work from one route into another; merging one adopts it.