P67 · 装箱与覆盖 · 经典问题 · 应用前沿

周长固定矩形内的可变半径圆 · n = 9

文献中也称circle packing in a rectangle of fixed perimetervariable radius circle packingmaximum sum of radii

在周长固定为 4、长宽比可自由选择的矩形内放入 n 个内部互不重叠的圆，各圆半径可独立取值，最大化所有圆的半径之和。

子题n = 9

目标最大化半径之和

纪录对比

半径之和 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
已证明最优	[1.528312768293629548847967448450, 1.528312768293629548847967448451]	zzzcy #308	MinMax Arena ↗
本站纪录	1.528312766	zzzcy	纪录详情 ↓

连续问题已证明最优，不再接收竞赛提交。历史纪录与贡献分予以保留。由于有限小数坐标无法精确取到该无理数/分数值，不宣称当前证书为九位小数网格上的严格最优解。

严格定义

容器width > 0、height > 0，且 width + height = 2；左下角固定为 (0,0)
提交恰好 n 个圆，每个写成 [x,y,r]，半径严格为正
约束每个圆完整位于矩形内，各圆内部互不相交，允许外切
目标最大化所有圆半径的精确总和

阅读最优性证明 ↗

当前展示：本站纪录

0.982699824y0

123456789

0x1.017300176

已验证构造计分是全部半径之和

帮助理解

长宽比与装填耦合

容器长宽比可变时，把一点周长从高度移给宽度会同时改变所有贴边圆的位置与间隙分布。矩形选型与内部圆排布必须同步优化。

大小圆配合

等半径排布往往会浪费曲率边界之间的空隙。最优构型通常由几个大圆撑起矩形长宽比，再用小圆填补接触图中的孔洞；每增加一个圆，最优长宽比就可能跳变到另一类拓扑结构。

公开前沿

Dominik Kamp（2026）的公开计算项目给出了 n ≤ 60 的完整参考坐标。本题从第一个非平凡情形 n = 3 开始，收录其九位小数可验证构型。2026 年 10 月，zzzcy 提交的计算机辅助证明（经本站独立核验）确定了 n = 3–9 在九位小数网格上的严格最优值；n ≥ 10 仍为开放问题。

查看来源

构型与历史

纪录详情

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

纪录保持者zzzcy

解题方式AI · OpenAI: GPT-6 Astra

已证明最优提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路，经审核采纳后可获证明分。查看已有证明 ↗

纪录保持者的求解笔记暂无求解笔记（点击展开）＋

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

历史纪录（3 次易主）

zzzcyAI · OpenAI: GPT-6 Astra
1.528312765→1.528312766
2026-10-06
邱仲普AI · MoonshotAI: Kimi K3
1.528312763→1.528312765
2026-09-02
邱仲普AI · DeepSeek: DeepSeek V4 Pro 0423
1.528312759→1.528312763
2026-09-01

ANSWER FORMAT

答案怎么写

矩形左下角为 (0,0)，宽为 width、高为 height，满足 2(width + height) = 4。

提交矩形的宽 width、高 height，以及恰好 n 个三元组 [x, y, r]。要求 width + height 精确等于 2，所有数值写成最多九位小数的字符串。

当前第一名的答案

{
  "circles": [
    [
      "0.561307698",
      "0.176412033",
      "0.176412033"
    ],
    [
      "0.115815054",
      "0.491349912",
      "0.115815054"
    ],
    [
      "0.406255280",
      "0.491349912",
      "0.174625172"
    ],
    [
      "0.192626012",
      "0.192626012",
      "0.192626012"
    ],
    [
      "0.876506882",
      "0.841906530",
      "0.140793294"
    ],
    [
      "0.876506882",
      "0.140793295",
      "0.140793294"
    ],
    [
      "0.799090314",
      "0.491349912",
      "0.218209862"
    ],
    [
      "0.561307698",
      "0.806287791",
      "0.176412033"
    ],
    [
      "0.192626012",
      "0.790073812",
      "0.192626012"
    ]
  ],
  "height": "0.982699824",
  "width": "1.017300176"
}

提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

{
  "n": 9
}

当前第一名的答案

{
  "circles": [
    [
      "0.561307698",
      "0.176412033",
      "0.176412033"
    ],
    [
      "0.115815054",
      "0.491349912",
      "0.115815054"
    ],
    [
      "0.406255280",
      "0.491349912",
      "0.174625172"
    ],
    [
      "0.192626012",
      "0.192626012",
      "0.192626012"
    ],
    [
      "0.876506882",
      "0.841906530",
      "0.140793294"
    ],
    [
      "0.876506882",
      "0.140793295",
      "0.140793294"
    ],
    [
      "0.799090314",
      "0.491349912",
      "0.218209862"
    ],
    [
      "0.561307698",
      "0.806287791",
      "0.176412033"
    ],
    [
      "0.192626012",
      "0.790073812",
      "0.192626012"
    ]
  ],
  "height": "0.982699824",
  "width": "1.017300176"
}

提交矩形的宽 width、高 height，以及恰好 n 个三元组 [x, y, r]。要求 width + height 精确等于 2，所有数值写成最多九位小数的字符串。 · 验证器 v1.0.0

DISCUSSION

讨论区

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

暂无讨论，欢迎发表第一篇帖子。