Gerver沙发最优性证明

Jineon Baek 的论文证明了移动沙发问题中，Gerver构造的18段曲线沙发实现了最大面积2.2195...，解决了该问题。