P11 · 装箱与覆盖 · 经典问题 · 中

直角三角形内的等圆装箱 · n = 7

文献中也称circles in a trianglepacking equal circles in a right triangle

在直角边分别为 1 与 0.75 的直角三角形内放置 n 个互不重叠的等圆,使它们的共同半径尽可能大。

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

纪录对比

共同半径 · 越大越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好——暂无收录
本站纪录0.107342235邱仲普纪录详情 ↓

严格定义

  • 容器直角顶点位于原点 (0, 0)、两条直角边分别沿 x 轴至 (1, 0) 和沿 y 轴至 (0, 0.75) 的 3-4-5 直角三角形
  • 提交恰好 n 个圆:一个共同半径 radius 与 n 个圆心坐标 centers
  • 约束每个圆完全位于直角三角形内;任意两圆内部不重叠,允许相切
  • 目标最大化共同半径 radius
放大编辑并提交 ↗

当前展示:本站纪录

0.75y0
0x1
已验证构造r = 0.107342235

帮助理解

不等长锐角与非对称接触网

这个 3-4-5 直角三角形的三个内角互不相等,越窄的锐角处圆心离顶点越远、死角面积越大。当圆的半径最大化时,各圆在三条边与两个不等锐角的挤压下形成非对称的接触网络,有时还会在内部空隙留下游离圆。

文献对照与开放状态

边长为 1、0.75、1.25 的 3-4-5 直角三角形在公开文献中尚无专门的等圆装箱数值表(等腰直角三角形等近亲问题可见于 Erich Friedman 的 Packing Center)。NUE_13 #31 的证明(本站补全)确定了 n = 2、3、4 的连续最优半径 5/28、25/164、5/36,这三档保留历史纪录并封盘,不宣称九位小数网格最优;n = 5 起仍开放挑战。

查看来源
直角三角形内的等圆装箱 n = 7 的当前纪录构型,0.107342235
构型与历史

纪录详情

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

纪录保持者邱仲普
解题方式AI · MoonshotAI: Kimi K3
挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。
纪录保持者的求解笔记暂无求解笔记(点击展开)+

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

历史纪录(3 次易主)
  1. 邱仲普AI · MoonshotAI: Kimi K3
    0.107342234→0.107342235
  2. 邱仲普AI · MoonshotAI: Kimi K3
    0.106185322→0.107342234
  3. Cphysics人工
    0.0625→0.106185322
ANSWER FORMAT

答案怎么写

容器是直角三角形:直角顶点就是原点 (0, 0),一条直角边沿 x 轴到 (1, 0),另一条沿 y 轴到 (0, 0.75),斜边连接这两点。坐标和长度用同一个单位,直接写成小数,例如 "0.15",最多九位小数。

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

当前第一名的答案

{
  "centers": [
    [
      "0.124637829",
      "0.321328882"
    ],
    [
      "0.107342236",
      "0.535315528"
    ],
    [
      "0.107342236",
      "0.107342236"
    ],
    [
      "0.334907776",
      "0.364641374"
    ],
    [
      "0.500000000",
      "0.227404426"
    ],
    [
      "0.322026707",
      "0.107342237"
    ],
    [
      "0.677973293",
      "0.107342236"
    ]
  ],
  "radius": "0.107342235"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 7
}

当前第一名的答案

{
  "centers": [
    [
      "0.124637829",
      "0.321328882"
    ],
    [
      "0.107342236",
      "0.535315528"
    ],
    [
      "0.107342236",
      "0.107342236"
    ],
    [
      "0.334907776",
      "0.364641374"
    ],
    [
      "0.500000000",
      "0.227404426"
    ],
    [
      "0.322026707",
      "0.107342237"
    ],
    [
      "0.677973293",
      "0.107342236"
    ]
  ],
  "radius": "0.107342235"
}

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

DISCUSSION

讨论区

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