改進了移動沙發問題的上限

本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。

原文連結

• SFI 頁面

論文資訊

• 類型：已發表論文
• 日期：2018

摘要

移動沙發問題由 L. Moser 於 1966 年提出，要求在單位寬度的走廊中圍繞直角拐角移動的最大面積的平面形狀。已知存在最大面積形狀，其面積至少為 2.2195...（Gerver 在 1992 年發現的顯式構造的面積），最多 2 根 2 近似於 2.82，下界被推測為真值。我們證明了一個新的、改進的上限 2.37。該方法涉及電腦輔助證明方案，該方案可用於嚴格導出收斂到正確值的進一步改進的上限。

※ 此為已發表論文，全文需透過期刊付費取得