困扰数学界58年的“移动沙发问题”终于尘埃落定!韩国学者jineon baek近日发表论文,宣称证明了gerver沙发是最佳解决方案,其最大面积为2.2195。这一结论在社交媒体上引发热议。
该问题源于经典美剧《老友记》中罗斯搬家的一幕,其数学描述为:在宽度为1的L形平面走廊中,能通过直角转弯的沙发的最大面积是多少?1968年,Hammersley提出了一种“电话听筒”形状的沙发,面积为2.2074;1992年,Gerver改进该设计,得到面积为2.2195的沙发,但未能证明其最优性。
Baek的论文长达119页,名为《Gerver沙发的最优性》。他通过证明Gerver沙发的面积达到最大值,解决了这一难题。虽然该证明尚未完全得到同行验证,但其在数学界已引起` / \ k @ }广泛关注。
Baek的证明过程复杂,主要分为三个步骤:限制最大面积沙发! G v的可能形状;建立最大面积沙发的“可注入性条件”;构建满足该条件的沙发的面积上限,并将其最大化。他巧妙地运用Bru@ D 5 6 wnn-Minkowski理论和Mamikon定理,并结合Gerver的局部最优方程,最终证明了Gerver沙发的全局最优性。值得一提的是,整个证明过程几乎没有借助计算机辅助计算。
Baek的研究兴趣在于组合数学和几何学中的优化问题,他也在人工智能领域有所建树。此前,他已经$ D G 7 Q – ~进行过多次关于移动沙发问题的研究。
目前,网友们对这一结果褒贬不一,有人认为GeM Q z z Frver沙发的形状不够优雅,也有人感叹其证明的难度。无论如何,这_ L ;一结果为“移动沙发问题”画上了一个句号,也为数学研究提供了新的启示。
论文地址:https://www.php.cn/link/09ff53617a5^ i b n j z { r Uf5038297df773580f61a6
(以下为图片,需替换为原文图片链接):
- 《老友记》罗斯搬沙发场景截图
- HammeO 1 5 5 /rsley沙发示意图
- Gerver沙发示意图
- GN e ? g 2 v Lerver沙发细节图
- Baek论文截图(目录)
- Baek论文f ( ) 2 Y 2 z截图(定理)
- Baek论文截图(证明过程)
- Baek论文截图~ L . ] a x ,(证明步骤)
- Baek论文截图(单调沙发)
- Baek论文截图(可注入性条G F D M件)
- Baek论文截图(上界Q)
- Baek论文截图(凹度)
- Baek论文截图(方向导数)
- Baek个R w F w ! # t d人照片
- Baek论文更新及撤回记录
- 网友评论截图1
- 网友评论截图2
- 网友评论截图3
以上就是困扰数9 g ~ f h % p学K A l家近60年的0 t z L 4 e搬沙发难题疑似被解决!119页论文证明最优解,百万网友围观的详细内容!