八面体的同时格 packing-covering 常数

本文证明了八面体的同时格packing-covering常数为$7/6$。换言之，$7/6$是最小正数$r$，使得对于每个以原点为中心的八面体$O$，存在一个格$\Lambda$，满足$O+\Lambda$是$\mathbb{E}^3$中的packing，且$rO+\Lambda$是$\mathbb{E}^3$的covering。