该猜想是在1973年提出的,它描述了:如果一个单位球面被几个长条完全覆盖,则它们的宽度总和至少是π。
其证明发表在《Geometric and Functional Analysis》杂志上,该证明对离散几何以及其新问题得以形成非常重要。
Tarski证明了半径为1的圆不能完全被宽度小于2(圆的直径)的长条所覆盖。图像中的每一长条都有自己的长度和颜色。
离散几何研究点、线、圆、多边形和其他几何体的组合性质。
例如,它处理的问题有:在一个球的周围最多能放多少个体积相同的球?或者,如何以最密集的方式放置最多的圆在某一平面,或相同大小的球在某一空间?
这些问题的解决方案有着实际的应用。
因此,最密堆积问题有助于优化编码和修正数据传输中的错误。
另一个例子是四色定理,它的内容是:四种颜色足以绘制任何
...