Problem of the Week
BUGCAT
Zassenhaus Conference
Hilton Memorial Lecture
BingAWM
Math Club
Given a polytope S, a polytope P containing S, and a number k, the Nested Polytope problem asks whether there is a polytope Q with at most k vertices that contains S and is contained in P. We show that the Nested Polytope problem is ETR-complete.
This is joint work with Andreas Holmsen and Tillmann Miltzow.