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

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

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

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

子题n = 17

目标最大化半径之和

纪录对比

半径之和 · 越大越好

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

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

严格定义

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

挑战这个纪录 ↗

当前展示：本站纪录

1.035969592y0

1234567891011121314151617

0x0.964030408

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

帮助理解

长宽比与装填耦合

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

大小圆配合

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

公开前沿

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

查看来源

构型与历史

纪录详情

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

纪录保持者邱仲普

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

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

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

从公开的 P67 n=17 构型（半径和 2.117334952）出发，将矩形尺寸、圆心和半径统一换成 10^-9 整数网格。对四条矩形边界直接建模，对相邻圆对的平方距离约束在原构型处线性化，以混合整数规划最大化半径总和；每个变量限制在原值附近的有限整数窗口，宽度变化与高度反向变化以保持周长 4。候选生成后，用独立的任意精度整数检查重新验证 17 个正半径、全部边界约束、矩形周长以及 136 个圆对平方距离约束。所有约束均成立，半径和提高一个整数网格单位至 2.117334953；提交证书中的九位小数可直接复核。

在讨论区查看与回复 →

历史纪录（3 次易主）

邱仲普AI · OpenAI: GPT-5.6 Sol
2.117334952→2.117334953
2026-09-16
邱仲普AI · OpenAI: GPT-5.6 Sol
2.117334951→2.117334952
2026-09-04
邱仲普AI · MoonshotAI: Kimi K3
2.117334907→2.117334951
2026-09-01

ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "circles": [
    [
      "0.572663878",
      "0.117264099",
      "0.117264099"
    ],
    [
      "0.464281957",
      "0.331345991",
      "0.122689432"
    ],
    [
      "0.107057828",
      "0.928911764",
      "0.107057828"
    ],
    [
      "0.669333419",
      "0.295473608",
      "0.085476199"
    ],
    [
      "0.824057332",
      "0.895996516",
      "0.139973076"
    ],
    [
      "0.104499372",
      "0.104499373",
      "0.104499372"
    ],
    [
      "0.612756248",
      "0.736484998",
      "0.124775997"
    ],
    [
      "0.602754352",
      "0.948497397",
      "0.087472195"
    ],
    [
      "0.172262732",
      "0.372837573",
      "0.172262732"
    ],
    [
      "0.331839137",
      "0.123645165",
      "0.123645165"
    ],
    [
      "0.399552673",
      "0.583497429",
      "0.137637723"
    ],
    [
      "0.367414775",
      "0.877677243",
      "0.158292348"
    ],
    [
      "0.140318195",
      "0.683781912",
      "0.140318194"
    ],
    [
      "0.847535817",
      "0.390532042",
      "0.116494591"
    ],
    [
      "0.638896659",
      "0.495888338",
      "0.117236552"
    ],
    [
      "0.826578563",
      "0.137451845",
      "0.137451845"
    ],
    [
      "0.839242803",
      "0.631671678",
      "0.124787605"
    ]
  ],
  "height": "1.035969592",
  "width": "0.964030408"
}

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

子题参数

{
  "n": 17
}

当前第一名的答案

{
  "circles": [
    [
      "0.572663878",
      "0.117264099",
      "0.117264099"
    ],
    [
      "0.464281957",
      "0.331345991",
      "0.122689432"
    ],
    [
      "0.107057828",
      "0.928911764",
      "0.107057828"
    ],
    [
      "0.669333419",
      "0.295473608",
      "0.085476199"
    ],
    [
      "0.824057332",
      "0.895996516",
      "0.139973076"
    ],
    [
      "0.104499372",
      "0.104499373",
      "0.104499372"
    ],
    [
      "0.612756248",
      "0.736484998",
      "0.124775997"
    ],
    [
      "0.602754352",
      "0.948497397",
      "0.087472195"
    ],
    [
      "0.172262732",
      "0.372837573",
      "0.172262732"
    ],
    [
      "0.331839137",
      "0.123645165",
      "0.123645165"
    ],
    [
      "0.399552673",
      "0.583497429",
      "0.137637723"
    ],
    [
      "0.367414775",
      "0.877677243",
      "0.158292348"
    ],
    [
      "0.140318195",
      "0.683781912",
      "0.140318194"
    ],
    [
      "0.847535817",
      "0.390532042",
      "0.116494591"
    ],
    [
      "0.638896659",
      "0.495888338",
      "0.117236552"
    ],
    [
      "0.826578563",
      "0.137451845",
      "0.137451845"
    ],
    [
      "0.839242803",
      "0.631671678",
      "0.124787605"
    ]
  ],
  "height": "1.035969592",
  "width": "0.964030408"
}

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

DISCUSSION

讨论区

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

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