Every convex polygon with nn vertices is a linear projection of a higher-dimensional polytope with at most 147 n2/3147n2/3 facets.
生成讲解博客的中文版本
生成AI智能校验的中文版本