聖塔非研究所
摘要 移動沙發問題由 L. Moser 於 1966 年提出，要求在單位寬度的走廊中圍繞直角拐角移動的最
2022-09-02 · 已發表論文 · 更新 2026/03/19 上午01:16
摘要 移動沙發問題由 L. Moser 於 1966 年提出，要求在單位寬度的走廊中圍繞直角拐角移動的最大面積的平面形狀。已知存在最大面積形狀，其面積至少為 2.2195...（Gerver 在 1992 年發現的顯式構造的面積），最多 2 根 2 近似於 2.82，下界被推測為真值。我們證明了新的改進的上限 2.37。此方法涉及電腦輔助證明方案，該方案可用於嚴格導出收斂到正確…
本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。
原文連結
論文資訊
摘要
移動沙發問題由 L. Moser 於 1966 年提出，要求在單位寬度的走廊中圍繞直角拐角移動的最大面積的平面形狀。已知存在最大面積形狀，其面積至少為 2.2195...（Gerver 在 1992 年發現的顯式構造的面積），最多 2 根 2 近似於 2.82，下界被推測為真值。我們證明了新的改進的上限 2.37。此方法涉及電腦輔助證明方案，該方案可用於嚴格導出收斂到正確值的進一步改進的上限。