Skip to main content
2 of 6
typo
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327

A few more remarks, On the bright side: To determine if a given graph is the graph of a d-polytope is decidable. Tarski's algorithm for real closed fields can be used.

Regarding the escond question it is possible that the same graph can be realized as the graph of d-polytopes of various dimensions. David already mentioned K_n which is the graph of a d-polytope for every d between 4 and n-1. Another example is the graph of a d-cube which was proved to be a graph of e-polytopes for e between 4 and d.

Another fact is that there are not so many graphs of polytopes. There are only exponentially many different graphs of simple d-polytopes with n vertices. (It is not known if this extends to graphs of general d-polytopes, or to all subgraphs of simple d-polytopes.)

Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327