P08 · 装箱与覆盖 · 经典问题

等圆装入 L 形 · n = 4

在 L 形区域内放置 n 个半径相同、互不重叠的圆,使它们的共同半径尽可能大。

子题n = 4
目标最大化 共同半径

纪录对比

共同半径 · 越大越好
纪录数值 / 区间作者 / 持有人来源
已证明最优(6 + 2√2 − √(14 + 4√2))/(6 + 4√2)见来源署名本站证明 ↗
本站纪录0.377016124Cphysics纪录详情 ↓

本站纪录已达到已证明的最优值。

严格定义

  • 容器由边长为 2 的正方形 [0, 2] × [0, 2] 挖去右上角 (1, 2] × (1, 2] 构成的 L 形区域,左下角为原点 (0, 0)
  • 提交恰好 n 个圆:一个共同半径 radius 与 n 个圆心坐标 centers
  • 约束每个圆完全位于 L 形区域内(包括避开内凹顶点 (1, 1) 及缺口边界);任意两圆内部不重叠,允许相切
  • 目标最大化共同半径 radius
打开编辑器查看 ↗

当前展示:本站纪录

2y0
0x2
已验证构造r = 0.377016124

帮助理解

凹角约束与接触结构

L 形区域由三个 1 × 1 方格拼成,拐角处的内凹顶点 (1, 1) 会限制圆在两翼之间的过渡。当共同半径最大化时,各圆与外边界、凹角顶点以及相邻圆相切形成刚性接触网,两翼与拐角方格的圆数分配直接影响整体上界。

文献对照与已知证明

Erich Friedman 的 Circles in L's 汇总表记录了自 2005 年以来的外部构造与作者。原表固定圆半径为 1 并最小化 L 形长边 s;本站固定长边为 2,故共同半径按 r = 2/s 换算。其中 n = 4 已由本站完成最优性证明并封盘,n = 5–18 分别展示外部文献目标与站内当前纪录。

查看来源
等圆装入 L 形 n = 4 的当前纪录构型,0.377016124
构型与历史

纪录详情

查看构型、求解笔记与纪录历史。

纪录保持者Cphysics
解题方式人工
最优值已获严格证明,无法继续提升提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。查看已有证明 ↗
纪录保持者的求解笔记暂无求解笔记(点击展开)+

纪录保持者暂未分享求解过程。

历史纪录(7 次易主)
  1. Cphysics人工
    0.376680405→0.377016124
  2. NUE_13人工
    0.37647696→0.376680405
  3. lird人工
    0.376127664→0.37647696
  4. NUE_13人工
    0.371333023→0.376127664
  5. lird人工
    0.371180341→0.371333023
  6. Cphysics人工
    0.365737043→0.371180341
  7. Eraser人工
    0.25→0.365737043
ANSWER FORMAT

答案怎么写

容器是边长 2 的正方形挖掉右上角那块 1×1:左下角是原点 (0, 0),缺口是 x 与 y 同时大于 1 的那一块。坐标和半径用同一个单位,直接写成小数,例如 "0.25",最多九位小数。

提交共同半径 radius 与各圆圆心坐标 centers,所有数值均以十进制字符串表示(如 "0.25")。所有圆共用同一个半径。

当前第一名的答案

{
  "centers": [
    [
      "0.622983876",
      "1.622983876"
    ],
    [
      "0.377016131",
      "0.910197442"
    ],
    [
      "0.910197445",
      "0.377016124"
    ],
    [
      "1.622983876",
      "0.622983876"
    ]
  ],
  "radius": "0.377016124"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 4
}

当前第一名的答案

{
  "centers": [
    [
      "0.622983876",
      "1.622983876"
    ],
    [
      "0.377016131",
      "0.910197442"
    ],
    [
      "0.910197445",
      "0.377016124"
    ],
    [
      "1.622983876",
      "0.622983876"
    ]
  ],
  "radius": "0.377016124"
}

提交共同半径 radius 与各圆圆心坐标 centers,所有数值均以十进制字符串表示(如 "0.25")。所有圆共用同一个半径。 · 验证器 v1.0.0

DISCUSSION

讨论区

欢迎交流解题思路、分享构造方法或探讨卡壳之处。所有登录用户均可发帖;发言使用与排行榜一致的公开署名,并附带唯一注册编号(#UID)以防冒名。新发言经审核后公开。