移动沙发问题

未解决的数学问题：能通过单位宽度的L形平面通道的刚性二维形状的最大面积是多少？

移动沙发问题，又称沙发问题，是一个数学问题。这一问题来源于现实生活中推沙发过走廊情景的二维理想化，其内容为求出能通过单位宽度的L形平面通道的刚性二维形状的最大面积A。^[1]这一最大面积A被称为沙发常数。沙发常数的确切值至今尚未求出。2024年11月，Jineon Baek发布了一份arXiv预印本，声称证明了约瑟夫·热弗提出的解为最优解，如果属实，将解决移动沙发问题。^[2]

历史

1966年，奥地利裔加拿大数学家李奥·莫泽最早在正式刊物上提出这一问题。不过在此之前，这一问题已在非正式的场合被多次讨论过。^[1]

上下界

现有的研究已经给出了沙发常数的上下界。

下界

该问题的一个显而易见的下界是 $A\geq \pi /2\approx 1.57$ ，即单位半径半圆盘沙发的面积。这种形状的沙发可以在L型通道的拐角处旋转90度后通过。

数学家约翰·哈默斯利（英语：John Hammersley）根据上面这种最简单的情形推导出了一种类似形状的沙发，将下界提高到了 $A\geq \pi /2+2/\pi \approx 2.2074$ 。这种沙发状如电话听筒，由一个长为 $4/\pi$ ，宽为1的矩形的长边上挖去一个半径为 $2/\pi$ 的半圆，再在其两条短边上各接一个单位半径的四分之一圆盘得到。^[3]^[4]

1992年，罗格斯大学的约瑟夫·热弗提出了一种由18条光滑曲线围成的沙发，将沙发常数的下限增加到大约2.2195。^[5]^[6]

2014年，业余数学家菲利普·吉布斯通过计算机演算得到了一种最优沙发，其形状与热弗沙发无法区分，计算出的面积值在八位有效数字下相等。^[7]这说明热弗沙发可能是问题的最优解，不过这一点尚未得到数学上的证明。

上界

哈默斯利求得的沙发常数上界为 $2{\sqrt {2}}\approx 2.8284$ 。^[1]^[8]

2017年6月，约夫·卡卢斯和丹·鲁米克证明了沙发常数不大于2.37。^[9]

双灵活沙发

沙发问题的一个变体是：求出能够通过两个拐角均为直角的单位宽度之字形走廊的刚性二维形状的最大面积。对这个问题，丹·鲁米克设计了一种同样由18个曲线部分组成的“双灵活沙发”，得出这一问题的下界为1.64495521。^[10]^[11]

参考资料

^ ^1.0 ^1.1 ^1.2 Wagner, Neal R. The Sofa Problem (PDF). The American Mathematical Monthly. 1976, 83 (3): 188–189 [2022-04-17]. JSTOR 2977022. doi:10.2307/2977022. （原始内容 (PDF)存档于2015-04-20）.
^ Baek, Jineon. Optimality of Gerver's Sofa. 2024-11-29. arXiv:2411.19826  [math.MG].
^ Croft, Hallard T.; Falconer, Kenneth J.; Guy, Richard K. Halmos, Paul R. , 编. Unsolved Problems in Geometry. Problem Books in Mathematics; Unsolved Problems in Intuitive Mathematics II. Springer-Verlag. 1994 [2013-04-24]. ISBN 978-0-387-97506-1.
^ Finch, Steven, Moving Sofa Constant, Mathcad Library (includes a diagram of Gerver's sofa).
^ Gerver, Joseph L. On Moving a Sofa Around a Corner. Geometriae Dedicata. 1992, 42 (3): 267–283. ISSN 0046-5755. S2CID 119520847. doi:10.1007/BF02414066.
^ Weisstein, Eric W. (编). Moving sofa problem. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.
^ Gibbs, Philip, A Computational Study of Sofas and Cars. [2022-04-17]. （原始内容存档于2022-04-17）.
^ Stewart, Ian. Another Fine Math You've Got Me Into.... Mineola, N.Y.: Dover Publications. January 2004 [2013-04-24]. ISBN 0486431819. （原始内容存档于2021-06-21）.
^ Kallus, Yoav; Romik, Dan. Improved upper bounds in the moving sofa problem. Advances in Mathematics. December 2018, 340: 960–982. ISSN 0001-8708. S2CID 5844665. arXiv:1706.06630 . doi:10.1016/j.aim.2018.10.022.
^ Romik, Dan. Differential equations and exact solutions in the moving sofa problem. Experimental Mathematics. 2017, 26 (2): 316–330. S2CID 15169264. arXiv:1606.08111 . doi:10.1080/10586458.2016.1270858.
^ Romik, Dan. The moving sofa problem - Dan Romik's home page. UCDavis. [2017-03-26]. （原始内容存档于2022-01-10）.

外部链接

Romik, Dan. The Moving Sofa Problem (视频). YouTube. Brady Haran. 2017-03-23 [2017-03-24]. （原始内容存档于2021-12-21）.
SofaBounds 计算沙发移动问题边界的程序（页面存档备份，存于互联网档案馆）
鲁米克双灵活沙发的三维模型（页面存档备份，存于互联网档案馆）

[Neal_Wagner-1] 1.0 ^1.1 ^1.2 Wagner, Neal R. The Sofa Problem (PDF). The American Mathematical Monthly. 1976, 83 (3): 188–189 [2022-04-17]. JSTOR 2977022. doi:10.2307/2977022. （原始内容 (PDF)存档于2015-04-20）.

[Jineon_Baek-2] Baek, Jineon. Optimality of Gerver's Sofa. 2024-11-29. arXiv:2411.19826  [math.MG].

[3] Croft, Hallard T.; Falconer, Kenneth J.; Guy, Richard K. Halmos, Paul R. , 编. Unsolved Problems in Geometry. Problem Books in Mathematics; Unsolved Problems in Intuitive Mathematics II. Springer-Verlag. 1994 [2013-04-24]. ISBN 978-0-387-97506-1.

[4] Finch, Steven, Moving Sofa Constant, Mathcad Library (includes a diagram of Gerver's sofa).

[5] Gerver, Joseph L. On Moving a Sofa Around a Corner. Geometriae Dedicata. 1992, 42 (3): 267–283. ISSN 0046-5755. S2CID 119520847. doi:10.1007/BF02414066.

[6] Weisstein, Eric W. (编). Moving sofa problem. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.

[7] Gibbs, Philip, A Computational Study of Sofas and Cars. [2022-04-17]. （原始内容存档于2022-04-17）.

[8] Stewart, Ian. Another Fine Math You've Got Me Into.... Mineola, N.Y.: Dover Publications. January 2004 [2013-04-24]. ISBN 0486431819. （原始内容存档于2021-06-21）.

[9] Kallus, Yoav; Romik, Dan. Improved upper bounds in the moving sofa problem. Advances in Mathematics. December 2018, 340: 960–982. ISSN 0001-8708. S2CID 5844665. arXiv:1706.06630 . doi:10.1016/j.aim.2018.10.022.

[Dan_Romik-10] Romik, Dan. Differential equations and exact solutions in the moving sofa problem. Experimental Mathematics. 2017, 26 (2): 316–330. S2CID 15169264. arXiv:1606.08111 . doi:10.1080/10586458.2016.1270858.

[UCDavis-11] Romik, Dan. The moving sofa problem - Dan Romik's home page. UCDavis. [2017-03-26]. （原始内容存档于2022-01-10）.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]