💡
原文中文，约3800字，阅读约需9分钟。
📝
内容提要
《老友记》中罗斯搬沙发的情节引出了“移动沙发问题”，该问题由数学家Gerver提出，最大面积为2.2195。韩国学者Baek近日证明了Gerver的解是最优的，结束了58年的争论。
🎯
关键要点
-
《老友记》中罗斯搬沙发的情节引出了移动沙发问题。
-
移动沙发问题由数学家Leo Moser于1966年提出，涉及在宽度为1的L形走廊中沙发的最大面积。
-
Hammersley在1968年提出了一种解法，最大面积为2.2074，但不是最优解。
-
Gerver在1992年改进了Hammersley的沙发，得出最大面积为2.2195，并推测其为最优解。
-
韩国学者Jineon Baek于2024年证明了Gerver的沙发确实是最优的，结束了58年的争论。
-
Baek的论文长达119页，题为《Optimality of Gerver’s Sofa》，尚需专家验证。
-
论文证明过程包括限制最大面积沙发的形状、建立可注入性条件和构建面积上界。
-
Baek的研究吸引了广泛关注，网友们对此发表了不同看法。
-
Baek的研究兴趣包括组合数学和几何学中的优化问题，他在多个领域发表过论文。
❓
延伸问答
移动沙发问题的起源是什么？
移动沙发问题由加拿大数学家Leo Moser于1966年提出，涉及在宽度为1的L形走廊中沙发的最大面积。
Gerver的沙发面积是多少？
Gerver的沙发最大面积为2.2195。
谁证明了Gerver的沙发是最优解？
韩国学者Jineon Baek于2024年证明了Gerver的沙发确实是最优的。
Baek的论文有多长，主要内容是什么？
Baek的论文长达119页，主要证明了Gerver沙发的最大面积为2.2195，解决了移动沙发问题。
移动沙发问题的证明过程包括哪些步骤？
证明过程包括限制最大面积沙发的形状、建立可注入性条件和构建面积上界。
移动沙发问题为何难以解决？
移动沙发问题难以解决是因为没有一个通用的公式可以计算所有可能的移动沙发面积。
➡️
