P92 · 装箱与覆盖 · 经典问题 · 难

单位圆内圆的半径之和 · n = 17

在半径为 1 的圆内放置 n 个互不重叠的圆，每个圆的半径各自随意，使所有半径之和尽可能大。

子题n = 17

目标最大化半径之和

纪录对比

半径之和 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[3.730, 3.731]	见来源署名	Erich Friedman ↗
本站纪录	暂无选手纪录	—	—

严格定义

容器圆心 (1, 1)、半径 1 的闭圆盘；圆可以与容器边界相切
提交恰好 n 个圆，每个是 [x, y, r]，r > 0，全部数字最多九位小数
约束每个圆完整落在圆盘内：(x − 1)² + (y − 1)² ≤ (1 − r)²；任意两圆内部不相交：圆心距 ≥ 半径之和。全部按整数精确判定，相切允许
分数半径之和，精确整数求和后按九位小数显示；越大越好 $S = Σ r$
目标在所有合法放置中最大化半径之和 $\max_{S} Σ r$

放大来摆，然后提交 ↗

当前展示：起步布局

2y0

1234567891011121314151617

0x2

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

帮助理解

哪里有优化空间

和正方形里一样，等圆是最差的策略之一：一个大圆压在圆心附近，或者几个大圆围成一圈，再让小圆钻进它们和圆周之间的缝隙。圆盘没有角，所以“靠墙的大圆”换成了“沿圆周的一圈”，大小的取舍换了一种几何。

前沿在哪里

Erich Friedman 的“最大化总周长”表列到 n = 50：n ≤ 4 和 6–10 是 Elser 与 Cantrell 的闭式构型，n = 5 是 Haowei Lin 2026 年 7 月的改进，n = 33–50 是 Jonathan Viquerat 2026 年 9 月新加的行。表还在被改写，没有一行有最优性证明；本站展示的是按图重建并精确验算的构型。

查看来源

构型与历史

起步布局

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

挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享证明或思路，审核采纳后可获得证明分。

ANSWER FORMAT

答案怎么写

容器是圆心 (1, 1)、半径 1 的圆盘，所以坐标都在 [0, 2] 之内，不会出现负数。坐标与半径共用一套单位，直接写成小数，最多九位。

提交 circles：恰好 n 个三元组 [x, y, r]，每个数写成最多九位小数的十进制字符串，例如 "0.25"。容器是圆心 (1, 1)、半径 1 的闭圆盘。

起步布局答案

{
  "circles": [
    [
      "0.999922820",
      "0.607129478",
      "0.270922900"
    ],
    [
      "0.483140444",
      "0.474180070",
      "0.262687040"
    ],
    [
      "1.516652900",
      "0.473976999",
      "0.262687029"
    ],
    [
      "1.679456159",
      "1.300555927",
      "0.257036651"
    ],
    [
      "0.320662039",
      "1.300822957",
      "0.257036665"
    ],
    [
      "1.000147616",
      "1.751041068",
      "0.248958917"
    ],
    [
      "0.632017213",
      "0.936028832",
      "0.222563999"
    ],
    [
      "1.367957650",
      "0.935884216",
      "0.222563992"
    ],
    [
      "0.787989879",
      "1.341720313",
      "0.212077290"
    ],
    [
      "1.212144447",
      "1.341636958",
      "0.212077286"
    ],
    [
      "1.784483803",
      "0.853704458",
      "0.201991715"
    ],
    [
      "0.215458776",
      "0.854012774",
      "0.201991727"
    ],
    [
      "0.564125914",
      "1.679240517",
      "0.192935009"
    ],
    [
      "1.436141054",
      "1.679069136",
      "0.192935002"
    ],
    [
      "1.176528057",
      "0.195833529",
      "0.176686044"
    ],
    [
      "0.823155972",
      "0.195902957",
      "0.176686047"
    ],
    [
      "1.000007312",
      "1.037108303",
      "0.159055932"
    ]
  ]
}

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

子题参数

{
  "n": 17
}

起步布局答案

{
  "circles": [
    [
      "0.999922820",
      "0.607129478",
      "0.270922900"
    ],
    [
      "0.483140444",
      "0.474180070",
      "0.262687040"
    ],
    [
      "1.516652900",
      "0.473976999",
      "0.262687029"
    ],
    [
      "1.679456159",
      "1.300555927",
      "0.257036651"
    ],
    [
      "0.320662039",
      "1.300822957",
      "0.257036665"
    ],
    [
      "1.000147616",
      "1.751041068",
      "0.248958917"
    ],
    [
      "0.632017213",
      "0.936028832",
      "0.222563999"
    ],
    [
      "1.367957650",
      "0.935884216",
      "0.222563992"
    ],
    [
      "0.787989879",
      "1.341720313",
      "0.212077290"
    ],
    [
      "1.212144447",
      "1.341636958",
      "0.212077286"
    ],
    [
      "1.784483803",
      "0.853704458",
      "0.201991715"
    ],
    [
      "0.215458776",
      "0.854012774",
      "0.201991727"
    ],
    [
      "0.564125914",
      "1.679240517",
      "0.192935009"
    ],
    [
      "1.436141054",
      "1.679069136",
      "0.192935002"
    ],
    [
      "1.176528057",
      "0.195833529",
      "0.176686044"
    ],
    [
      "0.823155972",
      "0.195902957",
      "0.176686047"
    ],
    [
      "1.000007312",
      "1.037108303",
      "0.159055932"
    ]
  ]
}

提交 circles：恰好 n 个三元组 [x, y, r]，每个数写成最多九位小数的十进制字符串，例如 "0.25"。容器是圆心 (1, 1)、半径 1 的闭圆盘。 · 验证器 v1.0.0

DISCUSSION

讨论区

聊思路、贴方法、问为什么卡住。所有登录用户都可以发帖；发言公开署名，与纪录使用同一个名字，署名后的 #编号是账号注册序号，冒不了名。新发言经自动审核后公开。

对本周挑战的评价NUE_13#311 条回复1 小时前