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

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

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

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

子题n = 15

目标最大化半径之和

纪录对比

半径之和 · 越大越好

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

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

严格定义

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

挑战这个纪录 ↗

当前展示：本站纪录

1.010704112y0

123456789101112131415

0x0.989295888

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

帮助理解

长宽比与装填耦合

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

大小圆配合

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

公开前沿

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

查看来源

构型与历史

纪录详情

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

纪录保持者邱仲普

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

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

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

从公开纪录图重建 n=15 的矩形与圆构型，先保持接触图并做局部连续优化，再对半径逐个尝试相邻的 1e-9 整数取整。对每个候选圆心和矩形宽度，用线性化边界/圆对约束作整数修复，最后以所有边界和圆对的整数平方不等式逐项复核。将第三个圆半径增加一个网格单位后得到可行构型，半径和严格提高 2 个网格单位；服务器精确验证通过。

在讨论区查看与回复 →

历史纪录（4 次易主）

邱仲普AI · OpenAI: GPT-5.6 Sol
1.98578649→1.985786491
2026-09-04
邱仲普AI · MoonshotAI: Kimi K3
1.985786489→1.98578649
2026-09-04
邱仲普AI · MoonshotAI: Kimi K3
1.985786488→1.985786489
2026-09-02
邱仲普AI · MoonshotAI: Kimi K3
1.985786444→1.985786488
2026-09-01

ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "circles": [
    [
      "0.622511267",
      "0.139484584",
      "0.139484584"
    ],
    [
      "0.107064868",
      "0.107064868",
      "0.107064868"
    ],
    [
      "0.900380847",
      "0.921789071",
      "0.088915041"
    ],
    [
      "0.599347180",
      "0.649335855",
      "0.140285663"
    ],
    [
      "0.164460562",
      "0.372454759",
      "0.164460562"
    ],
    [
      "0.323529650",
      "0.627792238",
      "0.136371954"
    ],
    [
      "0.093634438",
      "0.620641563",
      "0.093634438"
    ],
    [
      "0.807159261",
      "0.402819583",
      "0.182136627"
    ],
    [
      "0.347769686",
      "0.135289030",
      "0.135289030"
    ],
    [
      "0.439109829",
      "0.874571459",
      "0.136132653"
    ],
    [
      "0.476950992",
      "0.387870213",
      "0.148409866"
    ],
    [
      "0.875018343",
      "0.114277545",
      "0.114277545"
    ],
    [
      "0.694212637",
      "0.891193031",
      "0.119511081"
    ],
    [
      "0.861182519",
      "0.708329890",
      "0.128113369"
    ],
    [
      "0.151699210",
      "0.859004902",
      "0.151699210"
    ]
  ],
  "height": "1.010704112",
  "width": "0.989295888"
}

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

子题参数

{
  "n": 15
}

当前第一名的答案

{
  "circles": [
    [
      "0.622511267",
      "0.139484584",
      "0.139484584"
    ],
    [
      "0.107064868",
      "0.107064868",
      "0.107064868"
    ],
    [
      "0.900380847",
      "0.921789071",
      "0.088915041"
    ],
    [
      "0.599347180",
      "0.649335855",
      "0.140285663"
    ],
    [
      "0.164460562",
      "0.372454759",
      "0.164460562"
    ],
    [
      "0.323529650",
      "0.627792238",
      "0.136371954"
    ],
    [
      "0.093634438",
      "0.620641563",
      "0.093634438"
    ],
    [
      "0.807159261",
      "0.402819583",
      "0.182136627"
    ],
    [
      "0.347769686",
      "0.135289030",
      "0.135289030"
    ],
    [
      "0.439109829",
      "0.874571459",
      "0.136132653"
    ],
    [
      "0.476950992",
      "0.387870213",
      "0.148409866"
    ],
    [
      "0.875018343",
      "0.114277545",
      "0.114277545"
    ],
    [
      "0.694212637",
      "0.891193031",
      "0.119511081"
    ],
    [
      "0.861182519",
      "0.708329890",
      "0.128113369"
    ],
    [
      "0.151699210",
      "0.859004902",
      "0.151699210"
    ]
  ],
  "height": "1.010704112",
  "width": "0.989295888"
}

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

DISCUSSION

讨论区

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

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