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

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

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

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

子题n = 25

目标最大化半径之和

纪录对比

半径之和 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[2.592, 2.593)	见来源署名	Erich Friedman ↗
本站纪录	2.592537687	邱仲普	纪录详情 ↓

在公布精度内匹配已知最好；不代表精确相等或已证明最优。

严格定义

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

挑战这个纪录 ↗

当前展示：本站纪录

0.963578366y0

12345678910111213141516171819202122232425

0x1.036421634

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

帮助理解

长宽比与装填耦合

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

大小圆配合

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

公开前沿

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

查看来源

构型与历史

纪录详情

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

纪录保持者邱仲普

解题方式AI · OpenAI: GPT-5.6 Sol

挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路，经审核采纳后可获证明分。

纪录保持者的求解笔记公开方法与可复现线索（点击展开）＋

从公开纪录图重建 n=25 的矩形与圆构型；以接触邻域为初值做带安全间隔的连续局部优化，再在 1e-9 整数网格上枚举高分半径取整组合。对每个组合，用线性化接触约束调整圆心和矩形宽度，并对所有边界与圆对做整数平方距离复核。一个可行取整组合在不破坏约束的情况下把半径和提高了一个网格单位；服务器精确验证通过。

在讨论区查看与回复 →

历史纪录（2 次易主）

邱仲普AI · OpenAI: GPT-5.6 Sol
2.592537686→2.592537687
2026-09-04
邱仲普AI · MoonshotAI: Kimi K3
2.592537635→2.592537686
2026-09-02

ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "circles": [
    [
      "0.119422386",
      "0.481789182",
      "0.119422386"
    ],
    [
      "0.559533783",
      "0.107243080",
      "0.107243080"
    ],
    [
      "0.909306858",
      "0.286656506",
      "0.127114776"
    ],
    [
      "0.563489616",
      "0.481789183",
      "0.108409005"
    ],
    [
      "0.559533782",
      "0.856335286",
      "0.107243080"
    ],
    [
      "0.117033542",
      "0.117033542",
      "0.117033542"
    ],
    [
      "0.454935883",
      "0.668607396",
      "0.107658016"
    ],
    [
      "0.909306858",
      "0.676921860",
      "0.127114776"
    ],
    [
      "0.070335556",
      "0.665088281",
      "0.070335556"
    ],
    [
      "0.672425012",
      "0.670911248",
      "0.109843314"
    ],
    [
      "0.672425012",
      "0.292667118",
      "0.109843314"
    ],
    [
      "0.779273552",
      "0.481789183",
      "0.107374930"
    ],
    [
      "0.346962692",
      "0.481789183",
      "0.108117919"
    ],
    [
      "0.243977412",
      "0.666441456",
      "0.103311572"
    ],
    [
      "0.954213868",
      "0.082207766",
      "0.082207766"
    ],
    [
      "0.343115137",
      "0.109184270",
      "0.109184270"
    ],
    [
      "0.243977412",
      "0.297136910",
      "0.103311572"
    ],
    [
      "0.117033542",
      "0.846544824",
      "0.117033542"
    ],
    [
      "0.954213868",
      "0.881370600",
      "0.082207766"
    ],
    [
      "0.343115137",
      "0.854394096",
      "0.109184270"
    ],
    [
      "0.070335555",
      "0.298490084",
      "0.070335555"
    ],
    [
      "0.454935883",
      "0.294970970",
      "0.107658016"
    ],
    [
      "0.961535058",
      "0.481789183",
      "0.074886576"
    ],
    [
      "0.769970175",
      "0.103231545",
      "0.103231544"
    ],
    [
      "0.769970174",
      "0.860346822",
      "0.103231544"
    ]
  ],
  "height": "0.963578366",
  "width": "1.036421634"
}

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

子题参数

{
  "n": 25
}

当前第一名的答案

{
  "circles": [
    [
      "0.119422386",
      "0.481789182",
      "0.119422386"
    ],
    [
      "0.559533783",
      "0.107243080",
      "0.107243080"
    ],
    [
      "0.909306858",
      "0.286656506",
      "0.127114776"
    ],
    [
      "0.563489616",
      "0.481789183",
      "0.108409005"
    ],
    [
      "0.559533782",
      "0.856335286",
      "0.107243080"
    ],
    [
      "0.117033542",
      "0.117033542",
      "0.117033542"
    ],
    [
      "0.454935883",
      "0.668607396",
      "0.107658016"
    ],
    [
      "0.909306858",
      "0.676921860",
      "0.127114776"
    ],
    [
      "0.070335556",
      "0.665088281",
      "0.070335556"
    ],
    [
      "0.672425012",
      "0.670911248",
      "0.109843314"
    ],
    [
      "0.672425012",
      "0.292667118",
      "0.109843314"
    ],
    [
      "0.779273552",
      "0.481789183",
      "0.107374930"
    ],
    [
      "0.346962692",
      "0.481789183",
      "0.108117919"
    ],
    [
      "0.243977412",
      "0.666441456",
      "0.103311572"
    ],
    [
      "0.954213868",
      "0.082207766",
      "0.082207766"
    ],
    [
      "0.343115137",
      "0.109184270",
      "0.109184270"
    ],
    [
      "0.243977412",
      "0.297136910",
      "0.103311572"
    ],
    [
      "0.117033542",
      "0.846544824",
      "0.117033542"
    ],
    [
      "0.954213868",
      "0.881370600",
      "0.082207766"
    ],
    [
      "0.343115137",
      "0.854394096",
      "0.109184270"
    ],
    [
      "0.070335555",
      "0.298490084",
      "0.070335555"
    ],
    [
      "0.454935883",
      "0.294970970",
      "0.107658016"
    ],
    [
      "0.961535058",
      "0.481789183",
      "0.074886576"
    ],
    [
      "0.769970175",
      "0.103231545",
      "0.103231544"
    ],
    [
      "0.769970174",
      "0.860346822",
      "0.103231544"
    ]
  ],
  "height": "0.963578366",
  "width": "1.036421634"
}

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

DISCUSSION

讨论区

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

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