前几天看人搬家，大件沙发卡在楼道拐角死活转不过去，几个人龇牙咧嘴地挪。我当时就乐了——这事儿正经是个至今没解开的数学题，叫"移动沙发问题"。
说得严谨点：单位宽度的L形走廊，能拐过直角弯的二维形状，最大面积是多少？这个数被叫作"沙发常数"，到现在没人算准。
emmm
下界挺有戏，1992年Gerver鼓捣出一个带圆弧带凹槽的怪形状，面积约2.2195，是目前已知最大的。上界也有人收紧过，大概2.37出头。中间那一大段空白，几十年没人填上。
好家伙
最迷的是，你以为这只是脑筋急转弯？它牵扯凸几何和优化，还和"能同时拐左右两个弯的双向沙发"缠在一起。数学家们一本正经地推导，图的居然是搬家时那点破事。
太！
说真的，下次再被沙发卡住，别光骂走廊窄了，你正卡在一个世界级未解难题上呢。
看到你说"卡在拐角其实卡在一个世界级难题"，我脑子里一下子冒出好多年前帮亲戚挪衣柜的情形。那柜子也是差不多卡死在楼道转角，我们几个折腾了快一个小时，最后是把柜门拆了、斜着一点一点蹭过去的。当时只觉得这破楼道该挨骂，没想到背后还藏着这么漂亮的未解之谜。
你给的那两个数我特意记了一下，下界2.2195、上界2.37出头，中间那截空白几十年没人填，想想还挺浪漫的。不过我有个小小的补充想法，不一定对啊，咱们真搬家的时候，其实根本不按那个二维刚性形状的规矩来。沙发能拆腿、能卸靠垫，墙角往往带点弧、地面也有点余量，人还能歪着身子挤过去。加油呀数学家把生活压成一个干净模型，反而把最容易求解的那部分，人的灵活，给抽走了。理解的所以沙发常数一直悬着，说不定正是因为真实世界里我们早用笨办法绕过去了，模型太老实，生活太狡猾。
再说Gerver那个带圆弧带凹槽的怪形状，我虽然看不懂推导，但光想象一群特别严肃的人对着一个坑坑洼洼的图形较劲，就觉得挺暖的。他们认真对待的，分明是普通人骂句这走廊真窄就翻篇的小事。
所以我倒不太着急那块空白被填上。有些问题留着比解开更可爱，像楼道拐角那点转不过去的倔强，提醒人生活没那么精确，也挺好。你当时看的那帮人最后怎么弄过去的，硬挤还是拆了？
Gerver 那个 2.2195 不是凑出来的，是由 18 条曲线段拼出来的，每段都要满足一组微分方程的边界条件。本质是变分问题，不是几何直觉。这点挺反直觉——最优解长那样，是被约束"逼"出来的，没人能凭空想出那个带凹槽的形状。
简单说
几个能补的料：
下界这块，Gerver 之前 Hammersley 在 1968 年给过更朴素的沙发，面积 π/2 + 2/π ≈ 2.2074。Gerver 花了 24 年才把这个数往上推了约 0.012（不到 0.5%）。几十年人类只多"抠"出这么点面积，反过来说明这个优化空间的地形有多平、多难爬。
上界 2.37 和下界 2.2195 之间的空当，看着大，其实也就 ~7%。优化到 Gerver 这步已经很接近理论上限了，但就是没人能封口。也别指望沙发常数会是个漂亮的 closed form，大概率是某个超越数的数值解。
双向沙发（同时能拐左弯和右弯）是另一道题。Romik 2018 年构造的那个面积约 1.645，约束比单向狠得多——Gerver 沙发一扭身就废了。
说回搬家：真让人卡住的往往不是二维拐角，是三维的天花板高度和门框。移动沙发问题把世界削成了干净的平面几何，可现实里你骂走廊窄的时候，真正卡住你的是高度。数学解的那道难题，和让你龇牙咧嘴的那道，其实不是同一道。其实
简单说
这题最磨人的地方在于，"能拐弯"这个条件没法写成一个好用的解析约束，只能把形状离散成无数小段去数值搜。所以至今没解，部分是工具问题，不全是人不够聪明。
研究这题图啥？跟你说的差不多
我之前在reddit刷到过这题，当时就觉得离谱，一个搬家的破事能缠住数学家几十年。看到Gerver那个带凹槽的怪形状我还愣了一下，literally就长那样？
2.2195到2.37中间那块空白也太难受了，几十年填不上。嗯btw双向沙发那个我还真去瞄了眼，能同时拐左右两个弯的形状更离谱，图都看不太懂。
想起之前帮人搬过一回，楼道窄得要命，三个人硬抬一个柜子卡了二十分钟，汗顺着脖子往下淌。那会儿哪懂什么沙发常数，光想着这破走廊是不是跟我们过不去。
说真的真搬的时候谁care常数，塞得进去就谢天谢地。下次我要卡楼道里估计直接瘫那了，顺手给Gerver发封邮件问问他那形状哪买的哈哈
前阵子帮朋友搬家也撞上过一模一样的事，一个衣柜卡在楼梯拐角，我们三个人龇牙咧嘴挪了快一小时。当时光顾着骂户型反人类了，哪想得到这背后还藏着个世界级难题（小声）
楼主这么一写，我反而觉得挺治愈的。平时总想把生活里的事都理顺、都搬进该去的地方，可有些弯就是拐不过去，连数学家都算不准呢。这么一想，偶尔被日子卡住的时候，好像也没那么慌了。
抱抱像这种几十年都没人能往前推进一步的题，进展慢得让人安心。不是什么东西都非得争分夺秒地赶，有些弯慢慢拐，也挺好的。
好家伙，我一直以为卡沙发纯属自己手笨，合着全世界数学家也卡在这道题上几十年了。
最让我上头的是上下界之间那道缝——下界2.2195，上界2.37出头，中间就差0.15左右，硬是几十年填不上。"差一点点就到顶了但就是到不了"这种憋屈劲儿太熟了，我复读那年就这感觉，题都会做，分数就差那几分够不着线，干瞪眼。
想补充个角度。原帖全程在二维平面里转，可真搬沙发哪有纯二维的？沙发有高有矮有软包，楼道也不是笔直的单位宽度走廊，拐弯之后直段长短、墙上挂没挂电箱全不一样。现实里的变量比建模多太多了。我甚至觉得数学家是故意"降维"的，不然三维一加进去更难收场。
哈哈
双向沙发那个也离谱又好笑，能左右两个弯都拐过去的，真有人把它算明白，搬家公司高低得给发面锦旗（｀Δ´）
Gerver鼓捣那形状图上看着像被啃了一口的甜甜圈，真照着做个沙发估计没人敢坐哈哈 不过这种"拿正经推导去抠生活破事"的劲头真招人喜欢，明儿我去Reddit翻翻有没有人拿这题整活
被世界级难题卡住的烦躁居然有点浪漫。我之前搬东西卡拐角只会骂走廊窄，现在倒想谢谢那个凹槽形状了~
想当年我也给朋友当过免费的搬家苦力，楼道那个拐角，三个人抬一张桌子硬是耗了半小时。那时候哪懂什么沙发常数，只觉得这走廊设计师怕是跟住户有仇。怎么说呢
不过话说回来，这事儿我倒觉得它"算不准"本身就挺好。人总想给每件事一个精确答案，可世界上好多东西就卡在中间那段空白里，急也没用。C’est la vie，有些弯拐不过去，先歇会儿，未必是坏事。怎么说呢
楼主提的那个双向沙发我倒有点好奇，能同时拐两个弯的形状，听着比单向的还较劲。
我前年搬家就撞上过这种事。旧冰箱卡在楼梯转角，几个人吭哧吭哧硬拽了半小时没动弹，最后退回来斜着走才进去。当时只当自己运气背，没想到背后还挂着个世界级难题，连数学家都算不准。
2.2195记下来了，下次谁跟我抱怨走廊窄我就甩这个数过去，理直气壮哈哈
想起去年帮室友搬宿舍，他那张组装沙发也是死活转不过楼梯转角，四个人龇牙咧嘴挪了快半小时。当时光觉得这楼道设计反人类，现在知道是卡在了世界级未解难题上，突然觉得骂走廊窄都骂得理直气壮了。
不过那个Gerver的形状还挺打动我的，带圆弧带凹槽，怪是怪了点，却是目前能找到的最优解。会好的就像生活里好多事，不是硬扛就能过的，得绕点弯、换个法子慢慢来。下次再被卡住，我就当自己在给数学史添砖加瓦好了。抱抱
你们搬过最离谱的东西是啥呀？