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

等圆装入正多边形 · m = 8 · n = 45

在中心为 (1,1)、外接圆半径为 1、首个顶点为 (2,1) 的正 m 边形内放入 n 个互不重叠的等圆，最大化圆半径。

子题m = 8 · n = 45

目标最大化圆半径

纪录对比

圆半径 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[0.125455094343, 0.125455094345]	Eckard Specht	Packomania ↗
本站纪录	0.125455093	condor	纪录详情 ↓

本站纪录尚未确认达到或超越此参考纪录。

严格定义

容器编辑器与证书将容器统一归一化为中心 (1,1)、外接圆半径 1、首个顶点 (2,1) 的精确正 m 边形；公开得分按文献规范计算。允许接触边界。
提交提交 {radius, placements:[{x,y,turn},…]}，每个数值均为最多九位小数的十进制字符串。x、y 为中心坐标；圆的 turn 固定为 0，多边形的 turn = tan(θ/2)。坐标与 turn 的范围限于 [−4, 4]，且 0 < radius ≤ 4。
约束恰好 n 个全等图形完全位于容器内，任意两图形内部互不重叠。多边形允许任意角度独立旋转。
精度输入的十进制小数按精确有理数解析，正多边形顶点由精确代数数定义，可行性检验不设浮点容差。
目标最大化圆半径 r（容器外接圆半径固定为 1）。

挑战这个纪录 ↗

当前展示：本站纪录

已验证构造已验证构造

帮助理解

文献来源与坐标证书

文献目标值按原始发表精度换算，九位小数坐标证书单独存储并与文献目标对照展示。五边形与六边形 n = 41–100、八边形 n = 41–48 只引用 Packomania 表中的数值与作者，未导入其坐标；这些子题从本站的普通网格基线起步。

查看来源

构型与历史

纪录详情

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

纪录保持者condor

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

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

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

纪录保持者暂未分享求解过程。

历史纪录（2 次易主）

condorAI · OpenAI: GPT-6 Astra
0.125455091→0.125455093
2026-10-27
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.058441558→0.125455091
2026-10-23

ANSWER FORMAT

答案怎么写

中心为 (1,1)、外接圆半径为 1、首个顶点为 (2,1) 的正 m 边形

提交 {radius, placements:[{x,y,turn},…]}，每个数值均为最多九位小数的十进制字符串。x、y 为中心坐标；圆的 turn 固定为 0，多边形的 turn = tan(θ/2)。坐标与 turn 的范围限于 [−4, 4]，且 0 < radius ≤ 4。

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "1.005360552",
      "y": "0.138012029"
    },
    {
      "turn": "0",
      "x": "1.237171340",
      "y": "0.234031201"
    },
    {
      "turn": "0",
      "x": "1.493871968",
      "y": "0.340360083"
    },
    {
      "turn": "0",
      "x": "1.666427667",
      "y": "0.522515109"
    },
    {
      "turn": "0",
      "x": "0.772010687",
      "y": "0.230227881"
    },
    {
      "turn": "0",
      "x": "1.285564017",
      "y": "0.480230453"
    },
    {
      "turn": "0",
      "x": "1.048152872",
      "y": "0.399040115"
    },
    {
      "turn": "0",
      "x": "1.762446839",
      "y": "0.754325897"
    },
    {
      "turn": "0",
      "x": "1.469207302",
      "y": "0.679015949"
    },
    {
      "turn": "0",
      "x": "0.540199899",
      "y": "0.326247053"
    },
    {
      "turn": "0",
      "x": "0.810068647",
      "y": "0.478234967"
    },
    {
      "turn": "0",
      "x": "1.208011178",
      "y": "0.718854593"
    },
    {
      "turn": "0",
      "x": "1.864208384",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "0.960248391",
      "y": "0.679237372"
    },
    {
      "turn": "0",
      "x": "1.616738446",
      "y": "0.958592847"
    },
    {
      "turn": "0",
      "x": "0.578257859",
      "y": "0.574254139"
    },
    {
      "turn": "0",
      "x": "1.370584099",
      "y": "0.909972275"
    },
    {
      "turn": "0",
      "x": "0.328596963",
      "y": "0.535547806"
    },
    {
      "turn": "0",
      "x": "0.729371484",
      "y": "0.777480829"
    },
    {
      "turn": "0",
      "x": "1.123784871",
      "y": "0.955205713"
    },
    {
      "turn": "0",
      "x": "1.768189212",
      "y": "1.231810788"
    },
    {
      "turn": "0",
      "x": "1.520719274",
      "y": "1.190403635"
    },
    {
      "turn": "0",
      "x": "0.479988237",
      "y": "0.805119910"
    },
    {
      "turn": "0",
      "x": "0.874339046",
      "y": "0.982274209"
    },
    {
      "turn": "0",
      "x": "1.271949789",
      "y": "1.157697885"
    },
    {
      "turn": "0",
      "x": "0.231810788",
      "y": "0.768189212"
    },
    {
      "turn": "0",
      "x": "0.624955799",
      "y": "1.009913290"
    },
    {
      "turn": "0",
      "x": "1.022503964",
      "y": "1.184766382"
    },
    {
      "turn": "0",
      "x": "1.672170040",
      "y": "1.463621576"
    },
    {
      "turn": "0",
      "x": "1.418288824",
      "y": "1.419453686"
    },
    {
      "turn": "0",
      "x": "0.379243597",
      "y": "1.060721129"
    },
    {
      "turn": "0",
      "x": "1.169328677",
      "y": "1.388232415"
    },
    {
      "turn": "0",
      "x": "0.754555398",
      "y": "1.224761765"
    },
    {
      "turn": "0",
      "x": "0.135791616",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "1.508327723",
      "y": "1.653652147"
    },
    {
      "turn": "0",
      "x": "0.919709567",
      "y": "1.413653329"
    },
    {
      "turn": "0",
      "x": "0.500905713",
      "y": "1.280161901"
    },
    {
      "turn": "0",
      "x": "0.250033372",
      "y": "1.275803999"
    },
    {
      "turn": "0",
      "x": "1.061187094",
      "y": "1.620873097"
    },
    {
      "turn": "0",
      "x": "0.673547589",
      "y": "1.462235253"
    },
    {
      "turn": "0",
      "x": "1.276516936",
      "y": "1.749671319"
    },
    {
      "turn": "0",
      "x": "0.795473941",
      "y": "1.689205114"
    },
    {
      "turn": "0",
      "x": "0.346052545",
      "y": "1.507614787"
    },
    {
      "turn": "0",
      "x": "0.535707255",
      "y": "1.671892033"
    },
    {
      "turn": "0",
      "x": "1.000000000",
      "y": "1.864208384"
    }
  ],
  "radius": "0.125455093"
}

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

子题参数

{
  "n": 45,
  "sides": 8
}

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "1.005360552",
      "y": "0.138012029"
    },
    {
      "turn": "0",
      "x": "1.237171340",
      "y": "0.234031201"
    },
    {
      "turn": "0",
      "x": "1.493871968",
      "y": "0.340360083"
    },
    {
      "turn": "0",
      "x": "1.666427667",
      "y": "0.522515109"
    },
    {
      "turn": "0",
      "x": "0.772010687",
      "y": "0.230227881"
    },
    {
      "turn": "0",
      "x": "1.285564017",
      "y": "0.480230453"
    },
    {
      "turn": "0",
      "x": "1.048152872",
      "y": "0.399040115"
    },
    {
      "turn": "0",
      "x": "1.762446839",
      "y": "0.754325897"
    },
    {
      "turn": "0",
      "x": "1.469207302",
      "y": "0.679015949"
    },
    {
      "turn": "0",
      "x": "0.540199899",
      "y": "0.326247053"
    },
    {
      "turn": "0",
      "x": "0.810068647",
      "y": "0.478234967"
    },
    {
      "turn": "0",
      "x": "1.208011178",
      "y": "0.718854593"
    },
    {
      "turn": "0",
      "x": "1.864208384",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "0.960248391",
      "y": "0.679237372"
    },
    {
      "turn": "0",
      "x": "1.616738446",
      "y": "0.958592847"
    },
    {
      "turn": "0",
      "x": "0.578257859",
      "y": "0.574254139"
    },
    {
      "turn": "0",
      "x": "1.370584099",
      "y": "0.909972275"
    },
    {
      "turn": "0",
      "x": "0.328596963",
      "y": "0.535547806"
    },
    {
      "turn": "0",
      "x": "0.729371484",
      "y": "0.777480829"
    },
    {
      "turn": "0",
      "x": "1.123784871",
      "y": "0.955205713"
    },
    {
      "turn": "0",
      "x": "1.768189212",
      "y": "1.231810788"
    },
    {
      "turn": "0",
      "x": "1.520719274",
      "y": "1.190403635"
    },
    {
      "turn": "0",
      "x": "0.479988237",
      "y": "0.805119910"
    },
    {
      "turn": "0",
      "x": "0.874339046",
      "y": "0.982274209"
    },
    {
      "turn": "0",
      "x": "1.271949789",
      "y": "1.157697885"
    },
    {
      "turn": "0",
      "x": "0.231810788",
      "y": "0.768189212"
    },
    {
      "turn": "0",
      "x": "0.624955799",
      "y": "1.009913290"
    },
    {
      "turn": "0",
      "x": "1.022503964",
      "y": "1.184766382"
    },
    {
      "turn": "0",
      "x": "1.672170040",
      "y": "1.463621576"
    },
    {
      "turn": "0",
      "x": "1.418288824",
      "y": "1.419453686"
    },
    {
      "turn": "0",
      "x": "0.379243597",
      "y": "1.060721129"
    },
    {
      "turn": "0",
      "x": "1.169328677",
      "y": "1.388232415"
    },
    {
      "turn": "0",
      "x": "0.754555398",
      "y": "1.224761765"
    },
    {
      "turn": "0",
      "x": "0.135791616",
      "y": "1.000000000"
    },
    {
      "turn": "0",
      "x": "1.508327723",
      "y": "1.653652147"
    },
    {
      "turn": "0",
      "x": "0.919709567",
      "y": "1.413653329"
    },
    {
      "turn": "0",
      "x": "0.500905713",
      "y": "1.280161901"
    },
    {
      "turn": "0",
      "x": "0.250033372",
      "y": "1.275803999"
    },
    {
      "turn": "0",
      "x": "1.061187094",
      "y": "1.620873097"
    },
    {
      "turn": "0",
      "x": "0.673547589",
      "y": "1.462235253"
    },
    {
      "turn": "0",
      "x": "1.276516936",
      "y": "1.749671319"
    },
    {
      "turn": "0",
      "x": "0.795473941",
      "y": "1.689205114"
    },
    {
      "turn": "0",
      "x": "0.346052545",
      "y": "1.507614787"
    },
    {
      "turn": "0",
      "x": "0.535707255",
      "y": "1.671892033"
    },
    {
      "turn": "0",
      "x": "1.000000000",
      "y": "1.864208384"
    }
  ],
  "radius": "0.125455093"
}

提交 {radius, placements:[{x,y,turn},…]}，每个数值均为最多九位小数的十进制字符串。x、y 为中心坐标；圆的 turn 固定为 0，多边形的 turn = tan(θ/2)。坐标与 turn 的范围限于 [−4, 4]，且 0 < radius ≤ 4。 · 验证器 v1.0.0

DISCUSSION

讨论区

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

本题m=6，n=3的证明NUE_13#310 条回复38 天前