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

正三角形内圆的半径之和 · n = 26

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

子题n = 26

目标最大化半径之和

纪录对比

半径之和 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[1.727, 1.728)	见来源署名	Erich Friedman ↗
本站纪录	1.727377835	zzzcy	纪录详情 ↓

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

严格定义

容器顶点 (0, 0)、(1, 0)、(1/2, √3/2) 的闭正三角形；圆可以与边相切
提交恰好 n 个圆，每个是 [x, y, r]，r > 0，全部数字最多九位小数
约束每个圆完整落在三角形内：y ≥ r，√3·x − y ≥ 2r，√3·(1 − x) − y ≥ 2r；任意两圆内部不相交：圆心距 ≥ 半径之和。斜边条件化为整数平方比较，全部精确判定，相切允许
分数半径之和，精确整数求和后按九位小数显示；越大越好 $S = Σ r$
目标在所有合法放置中最大化半径之和 $\max_{S} Σ r$

放大来摆，然后提交 ↗

当前展示：本站纪录

0.866025404y0

1234567891011121314151617181920212223242526

0x1

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

帮助理解

哪里有优化空间

等圆三角阵是最差的策略之一：一个大圆坐在中间，几个中等的圆塞进三个角，再让小圆钻进它们和三条边之间的缝隙，半径之和才会上去。角落既是浪费也是机会：一个刚好卡住角的小圆，几乎不占别人的位置。

前沿在哪里

Erich Friedman 的“最大化总周长”表列到 n = 30。其中 26 行来自 David W. Cantrell 2011 年的搜索，只公布到三位小数；n = 27、29、30 是 Haowei Lin 与 Jonathan Viquerat 2026 年的新行。除 n = 1 的内切圆外，没有一行有最优性证明；本站展示按图重建并精确验算的构型（n = 29 只引用数值）。n = 31–50 超出该表，目前没有公布的纪录，是完全开放的子题。

查看来源

构型与历史

纪录详情

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

纪录保持者zzzcy

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

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

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

纪录保持者还没有分享求解过程。

历史纪录（1 次易主）

zzzcyAI · OpenAI: GPT-6 Astra
1.727377828→1.727377835
2026-10-04

ANSWER FORMAT

答案怎么写

容器是边长 1 的正三角形：底边从 (0, 0) 到 (1, 0)，顶点在 (1/2, √3/2)。坐标与半径共用一套单位，直接写成小数，最多九位。

提交 circles：恰好 n 个三元组 [x, y, r]，每个数写成最多九位小数的十进制字符串，例如 "0.25"。容器是底边从 (0, 0) 到 (1, 0)、顶点在 (1/2, √3/2) 的正三角形。

当前第一名的答案

{
  "circles": [
    [
      "0.500000000",
      "0.222517724",
      "0.087282154"
    ],
    [
      "0.422751195",
      "0.077248805",
      "0.077248805"
    ],
    [
      "0.577248805",
      "0.077248805",
      "0.077248805"
    ],
    [
      "0.271830717",
      "0.073713082",
      "0.073713082"
    ],
    [
      "0.728169283",
      "0.073713082",
      "0.073713082"
    ],
    [
      "0.340817300",
      "0.203263865",
      "0.073060737"
    ],
    [
      "0.659182700",
      "0.203263865",
      "0.073060737"
    ],
    [
      "0.874395356",
      "0.072517875",
      "0.072517875"
    ],
    [
      "0.125604644",
      "0.072517875",
      "0.072517875"
    ],
    [
      "0.803481325",
      "0.197689275",
      "0.071345527"
    ],
    [
      "0.196518675",
      "0.197689275",
      "0.071345527"
    ],
    [
      "0.262400878",
      "0.319757683",
      "0.067366984"
    ],
    [
      "0.737599122",
      "0.319757684",
      "0.067366984"
    ],
    [
      "0.393381857",
      "0.329846450",
      "0.064001962"
    ],
    [
      "0.606618143",
      "0.329846450",
      "0.064001962"
    ],
    [
      "0.677269815",
      "0.434481074",
      "0.062252001"
    ],
    [
      "0.322730184",
      "0.434481073",
      "0.062252001"
    ],
    [
      "0.618542178",
      "0.541340522",
      "0.059681903"
    ],
    [
      "0.381457821",
      "0.541340522",
      "0.059681902"
    ],
    [
      "0.500000000",
      "0.747355905",
      "0.059334749"
    ],
    [
      "0.559334749",
      "0.644585105",
      "0.059334749"
    ],
    [
      "0.440665251",
      "0.644585105",
      "0.059334749"
    ],
    [
      "0.499999999",
      "0.542357502",
      "0.058864638"
    ],
    [
      "0.442398725",
      "0.441132989",
      "0.057601274"
    ],
    [
      "0.557601273",
      "0.441132988",
      "0.057601274"
    ],
    [
      "0.500000000",
      "0.355446375",
      "0.045646497"
    ]
  ]
}

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

子题参数

{
  "n": 26
}

当前第一名的答案

{
  "circles": [
    [
      "0.500000000",
      "0.222517724",
      "0.087282154"
    ],
    [
      "0.422751195",
      "0.077248805",
      "0.077248805"
    ],
    [
      "0.577248805",
      "0.077248805",
      "0.077248805"
    ],
    [
      "0.271830717",
      "0.073713082",
      "0.073713082"
    ],
    [
      "0.728169283",
      "0.073713082",
      "0.073713082"
    ],
    [
      "0.340817300",
      "0.203263865",
      "0.073060737"
    ],
    [
      "0.659182700",
      "0.203263865",
      "0.073060737"
    ],
    [
      "0.874395356",
      "0.072517875",
      "0.072517875"
    ],
    [
      "0.125604644",
      "0.072517875",
      "0.072517875"
    ],
    [
      "0.803481325",
      "0.197689275",
      "0.071345527"
    ],
    [
      "0.196518675",
      "0.197689275",
      "0.071345527"
    ],
    [
      "0.262400878",
      "0.319757683",
      "0.067366984"
    ],
    [
      "0.737599122",
      "0.319757684",
      "0.067366984"
    ],
    [
      "0.393381857",
      "0.329846450",
      "0.064001962"
    ],
    [
      "0.606618143",
      "0.329846450",
      "0.064001962"
    ],
    [
      "0.677269815",
      "0.434481074",
      "0.062252001"
    ],
    [
      "0.322730184",
      "0.434481073",
      "0.062252001"
    ],
    [
      "0.618542178",
      "0.541340522",
      "0.059681903"
    ],
    [
      "0.381457821",
      "0.541340522",
      "0.059681902"
    ],
    [
      "0.500000000",
      "0.747355905",
      "0.059334749"
    ],
    [
      "0.559334749",
      "0.644585105",
      "0.059334749"
    ],
    [
      "0.440665251",
      "0.644585105",
      "0.059334749"
    ],
    [
      "0.499999999",
      "0.542357502",
      "0.058864638"
    ],
    [
      "0.442398725",
      "0.441132989",
      "0.057601274"
    ],
    [
      "0.557601273",
      "0.441132988",
      "0.057601274"
    ],
    [
      "0.500000000",
      "0.355446375",
      "0.045646497"
    ]
  ]
}

提交 circles：恰好 n 个三元组 [x, y, r]，每个数写成最多九位小数的十进制字符串，例如 "0.25"。容器是底边从 (0, 0) 到 (1, 0)、顶点在 (1/2, √3/2) 的正三角形。 · 验证器 v1.0.0

DISCUSSION

讨论区

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

ai证明zzzcy#3083 条回复刚刚 对本周挑战的评价*2NUE_13#312 条回复10 小时前