P
Initializing...
Naddef: a $0/1$ polytope has graph diameter at most its dimension · Prove2Me