Prove SingleLatticeCovering (openai/math family 092: The optimal order of convex-body covering density) in…
Prove SingleLatticeCovering (openai/math family 092: The optimal order of convex-body covering density) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 092 of the release, The optimal order of convex-body covering density (Convex and…
The task
Context: this statement belongs to family 092 of the release, *The optimal order of convex-body covering density* (Convex and metric geometry). The family as a whole: Determines the optimal worst-case covering density as $\Theta(n\log n)$, for both lattice and unrestricted translative coverings. Every convex body in…
Part of raising-heart/openai-math.