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

等圆装入正多边形 · m = 5 · n = 85

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

子题m = 5 · n = 85

目标最大化圆半径

纪录对比

圆半径 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[0.085105640202, 0.085105640204]	Paolo Amore	Packomania ↗
本站纪录	0.085105639	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.1 Sol

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

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

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

历史纪录（2 次易主）

condorAI · OpenAI: GPT-6.1 Sol
0.085105637→0.085105639
2026-10-27
NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
0.040909091→0.085105637
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.394709193",
      "y": "0.311679040"
    },
    {
      "turn": "0",
      "x": "1.494756873",
      "y": "0.449382858"
    },
    {
      "turn": "0",
      "x": "1.594804554",
      "y": "0.587086677"
    },
    {
      "turn": "0",
      "x": "1.694852234",
      "y": "0.724790495"
    },
    {
      "turn": "0",
      "x": "1.794899914",
      "y": "0.862494314"
    },
    {
      "turn": "0",
      "x": "1.289506876",
      "y": "0.166898319"
    },
    {
      "turn": "0",
      "x": "1.894340939",
      "y": "1.000636858"
    },
    {
      "turn": "0",
      "x": "1.225430348",
      "y": "0.329470963"
    },
    {
      "turn": "0",
      "x": "1.325478028",
      "y": "0.467174782"
    },
    {
      "turn": "0",
      "x": "1.425525708",
      "y": "0.604878600"
    },
    {
      "turn": "0",
      "x": "1.525573389",
      "y": "0.742582419"
    },
    {
      "turn": "0",
      "x": "1.625621069",
      "y": "0.880286237"
    },
    {
      "turn": "0",
      "x": "1.725062094",
      "y": "1.018428782"
    },
    {
      "turn": "0",
      "x": "1.112211878",
      "y": "0.202374708"
    },
    {
      "turn": "0",
      "x": "1.760451009",
      "y": "1.184920537"
    },
    {
      "turn": "0",
      "x": "1.156199183",
      "y": "0.484966705"
    },
    {
      "turn": "0",
      "x": "1.256246863",
      "y": "0.622670524"
    },
    {
      "turn": "0",
      "x": "1.456091576",
      "y": "0.897966323"
    },
    {
      "turn": "0",
      "x": "1.555754870",
      "y": "1.035948596"
    },
    {
      "turn": "0",
      "x": "1.351021803",
      "y": "0.764055073"
    },
    {
      "turn": "0",
      "x": "1.042980713",
      "y": "0.357870450"
    },
    {
      "turn": "0",
      "x": "1.591143785",
      "y": "1.202440352"
    },
    {
      "turn": "0",
      "x": "0.895573420",
      "y": "0.272764810"
    },
    {
      "turn": "0",
      "x": "1.626800261",
      "y": "1.368875011"
    },
    {
      "turn": "0",
      "x": "1.379783462",
      "y": "1.050114118"
    },
    {
      "turn": "0",
      "x": "1.088201013",
      "y": "0.649734747"
    },
    {
      "turn": "0",
      "x": "0.981945680",
      "y": "0.516762252"
    },
    {
      "turn": "0",
      "x": "1.211896624",
      "y": "0.862116607"
    },
    {
      "turn": "0",
      "x": "1.421408230",
      "y": "1.215157321"
    },
    {
      "turn": "0",
      "x": "0.834422980",
      "y": "0.431612233"
    },
    {
      "turn": "0",
      "x": "1.210504617",
      "y": "1.032322195"
    },
    {
      "turn": "0",
      "x": "1.048279559",
      "y": "0.815198209"
    },
    {
      "turn": "0",
      "x": "1.457064705",
      "y": "1.381591980"
    },
    {
      "turn": "0",
      "x": "0.691583062",
      "y": "0.339045295"
    },
    {
      "turn": "0",
      "x": "0.834512760",
      "y": "0.601823489"
    },
    {
      "turn": "0",
      "x": "1.252129385",
      "y": "1.197365397"
    },
    {
      "turn": "0",
      "x": "1.497421320",
      "y": "1.546949845"
    },
    {
      "turn": "0",
      "x": "1.046887552",
      "y": "0.985403798"
    },
    {
      "turn": "0",
      "x": "0.885924062",
      "y": "0.764084877"
    },
    {
      "turn": "0",
      "x": "0.681313853",
      "y": "0.510644008"
    },
    {
      "turn": "0",
      "x": "1.287785860",
      "y": "1.363800056"
    },
    {
      "turn": "0",
      "x": "1.088063560",
      "y": "1.150559531"
    },
    {
      "turn": "0",
      "x": "0.529702515",
      "y": "0.391643473"
    },
    {
      "turn": "0",
      "x": "1.328142475",
      "y": "1.529157922"
    },
    {
      "turn": "0",
      "x": "0.884532055",
      "y": "0.934290466"
    },
    {
      "turn": "0",
      "x": "0.719695927",
      "y": "0.727477677"
    },
    {
      "turn": "0",
      "x": "1.397373640",
      "y": "1.684653664"
    },
    {
      "turn": "0",
      "x": "1.124163978",
      "y": "1.316898462"
    },
    {
      "turn": "0",
      "x": "0.921444359",
      "y": "1.100451116"
    },
    {
      "turn": "0",
      "x": "0.572288634",
      "y": "0.642372037"
    },
    {
      "turn": "0",
      "x": "1.164520593",
      "y": "1.482256327"
    },
    {
      "turn": "0",
      "x": "0.718303920",
      "y": "0.897683266"
    },
    {
      "turn": "0",
      "x": "0.439446001",
      "y": "0.535954394"
    },
    {
      "turn": "0",
      "x": "0.961800974",
      "y": "1.265808981"
    },
    {
      "turn": "0",
      "x": "1.227252832",
      "y": "1.679104719"
    },
    {
      "turn": "0",
      "x": "0.570896627",
      "y": "0.812577625"
    },
    {
      "turn": "0",
      "x": "1.001138173",
      "y": "1.434527248"
    },
    {
      "turn": "0",
      "x": "0.718317128",
      "y": "1.067894546"
    },
    {
      "turn": "0",
      "x": "0.281603117",
      "y": "0.472255854"
    },
    {
      "turn": "0",
      "x": "1.276973038",
      "y": "1.850337192"
    },
    {
      "turn": "0",
      "x": "0.798418555",
      "y": "1.218079902"
    },
    {
      "turn": "0",
      "x": "0.424190268",
      "y": "0.726269318"
    },
    {
      "turn": "0",
      "x": "1.066993430",
      "y": "1.621756623"
    },
    {
      "turn": "0",
      "x": "0.570903232",
      "y": "0.982800344"
    },
    {
      "turn": "0",
      "x": "0.838775169",
      "y": "1.383437768"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "0.642377783"
    },
    {
      "turn": "0",
      "x": "1.101931797",
      "y": "1.794285091"
    },
    {
      "turn": "0",
      "x": "0.423495939",
      "y": "0.897694703"
    },
    {
      "turn": "0",
      "x": "0.903611011",
      "y": "1.574027544"
    },
    {
      "turn": "0",
      "x": "0.570903232",
      "y": "1.153011624"
    },
    {
      "turn": "0",
      "x": "0.651014756",
      "y": "1.303191595"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "0.812589063"
    },
    {
      "turn": "0",
      "x": "0.940547725",
      "y": "1.740182770"
    },
    {
      "turn": "0",
      "x": "0.423495939",
      "y": "1.067905984"
    },
    {
      "turn": "0",
      "x": "0.741248007",
      "y": "1.522938064"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "0.982800344"
    },
    {
      "turn": "0",
      "x": "0.778184721",
      "y": "1.689093290"
    },
    {
      "turn": "0",
      "x": "0.583350327",
      "y": "1.459375476"
    },
    {
      "turn": "0",
      "x": "0.427872684",
      "y": "1.245775657"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "1.153011624"
    },
    {
      "turn": "0",
      "x": "0.613701986",
      "y": "1.635649609"
    },
    {
      "turn": "0",
      "x": "0.418735737",
      "y": "1.416086715"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "1.323222904"
    },
    {
      "turn": "0",
      "x": "0.451821439",
      "y": "1.583051431"
    },
    {
      "turn": "0",
      "x": "0.276234111",
      "y": "1.523642477"
    }
  ],
  "radius": "0.085105639"
}

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

子题参数

{
  "n": 85,
  "sides": 5
}

当前第一名的答案

{
  "placements": [
    {
      "turn": "0",
      "x": "1.394709193",
      "y": "0.311679040"
    },
    {
      "turn": "0",
      "x": "1.494756873",
      "y": "0.449382858"
    },
    {
      "turn": "0",
      "x": "1.594804554",
      "y": "0.587086677"
    },
    {
      "turn": "0",
      "x": "1.694852234",
      "y": "0.724790495"
    },
    {
      "turn": "0",
      "x": "1.794899914",
      "y": "0.862494314"
    },
    {
      "turn": "0",
      "x": "1.289506876",
      "y": "0.166898319"
    },
    {
      "turn": "0",
      "x": "1.894340939",
      "y": "1.000636858"
    },
    {
      "turn": "0",
      "x": "1.225430348",
      "y": "0.329470963"
    },
    {
      "turn": "0",
      "x": "1.325478028",
      "y": "0.467174782"
    },
    {
      "turn": "0",
      "x": "1.425525708",
      "y": "0.604878600"
    },
    {
      "turn": "0",
      "x": "1.525573389",
      "y": "0.742582419"
    },
    {
      "turn": "0",
      "x": "1.625621069",
      "y": "0.880286237"
    },
    {
      "turn": "0",
      "x": "1.725062094",
      "y": "1.018428782"
    },
    {
      "turn": "0",
      "x": "1.112211878",
      "y": "0.202374708"
    },
    {
      "turn": "0",
      "x": "1.760451009",
      "y": "1.184920537"
    },
    {
      "turn": "0",
      "x": "1.156199183",
      "y": "0.484966705"
    },
    {
      "turn": "0",
      "x": "1.256246863",
      "y": "0.622670524"
    },
    {
      "turn": "0",
      "x": "1.456091576",
      "y": "0.897966323"
    },
    {
      "turn": "0",
      "x": "1.555754870",
      "y": "1.035948596"
    },
    {
      "turn": "0",
      "x": "1.351021803",
      "y": "0.764055073"
    },
    {
      "turn": "0",
      "x": "1.042980713",
      "y": "0.357870450"
    },
    {
      "turn": "0",
      "x": "1.591143785",
      "y": "1.202440352"
    },
    {
      "turn": "0",
      "x": "0.895573420",
      "y": "0.272764810"
    },
    {
      "turn": "0",
      "x": "1.626800261",
      "y": "1.368875011"
    },
    {
      "turn": "0",
      "x": "1.379783462",
      "y": "1.050114118"
    },
    {
      "turn": "0",
      "x": "1.088201013",
      "y": "0.649734747"
    },
    {
      "turn": "0",
      "x": "0.981945680",
      "y": "0.516762252"
    },
    {
      "turn": "0",
      "x": "1.211896624",
      "y": "0.862116607"
    },
    {
      "turn": "0",
      "x": "1.421408230",
      "y": "1.215157321"
    },
    {
      "turn": "0",
      "x": "0.834422980",
      "y": "0.431612233"
    },
    {
      "turn": "0",
      "x": "1.210504617",
      "y": "1.032322195"
    },
    {
      "turn": "0",
      "x": "1.048279559",
      "y": "0.815198209"
    },
    {
      "turn": "0",
      "x": "1.457064705",
      "y": "1.381591980"
    },
    {
      "turn": "0",
      "x": "0.691583062",
      "y": "0.339045295"
    },
    {
      "turn": "0",
      "x": "0.834512760",
      "y": "0.601823489"
    },
    {
      "turn": "0",
      "x": "1.252129385",
      "y": "1.197365397"
    },
    {
      "turn": "0",
      "x": "1.497421320",
      "y": "1.546949845"
    },
    {
      "turn": "0",
      "x": "1.046887552",
      "y": "0.985403798"
    },
    {
      "turn": "0",
      "x": "0.885924062",
      "y": "0.764084877"
    },
    {
      "turn": "0",
      "x": "0.681313853",
      "y": "0.510644008"
    },
    {
      "turn": "0",
      "x": "1.287785860",
      "y": "1.363800056"
    },
    {
      "turn": "0",
      "x": "1.088063560",
      "y": "1.150559531"
    },
    {
      "turn": "0",
      "x": "0.529702515",
      "y": "0.391643473"
    },
    {
      "turn": "0",
      "x": "1.328142475",
      "y": "1.529157922"
    },
    {
      "turn": "0",
      "x": "0.884532055",
      "y": "0.934290466"
    },
    {
      "turn": "0",
      "x": "0.719695927",
      "y": "0.727477677"
    },
    {
      "turn": "0",
      "x": "1.397373640",
      "y": "1.684653664"
    },
    {
      "turn": "0",
      "x": "1.124163978",
      "y": "1.316898462"
    },
    {
      "turn": "0",
      "x": "0.921444359",
      "y": "1.100451116"
    },
    {
      "turn": "0",
      "x": "0.572288634",
      "y": "0.642372037"
    },
    {
      "turn": "0",
      "x": "1.164520593",
      "y": "1.482256327"
    },
    {
      "turn": "0",
      "x": "0.718303920",
      "y": "0.897683266"
    },
    {
      "turn": "0",
      "x": "0.439446001",
      "y": "0.535954394"
    },
    {
      "turn": "0",
      "x": "0.961800974",
      "y": "1.265808981"
    },
    {
      "turn": "0",
      "x": "1.227252832",
      "y": "1.679104719"
    },
    {
      "turn": "0",
      "x": "0.570896627",
      "y": "0.812577625"
    },
    {
      "turn": "0",
      "x": "1.001138173",
      "y": "1.434527248"
    },
    {
      "turn": "0",
      "x": "0.718317128",
      "y": "1.067894546"
    },
    {
      "turn": "0",
      "x": "0.281603117",
      "y": "0.472255854"
    },
    {
      "turn": "0",
      "x": "1.276973038",
      "y": "1.850337192"
    },
    {
      "turn": "0",
      "x": "0.798418555",
      "y": "1.218079902"
    },
    {
      "turn": "0",
      "x": "0.424190268",
      "y": "0.726269318"
    },
    {
      "turn": "0",
      "x": "1.066993430",
      "y": "1.621756623"
    },
    {
      "turn": "0",
      "x": "0.570903232",
      "y": "0.982800344"
    },
    {
      "turn": "0",
      "x": "0.838775169",
      "y": "1.383437768"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "0.642377783"
    },
    {
      "turn": "0",
      "x": "1.101931797",
      "y": "1.794285091"
    },
    {
      "turn": "0",
      "x": "0.423495939",
      "y": "0.897694703"
    },
    {
      "turn": "0",
      "x": "0.903611011",
      "y": "1.574027544"
    },
    {
      "turn": "0",
      "x": "0.570903232",
      "y": "1.153011624"
    },
    {
      "turn": "0",
      "x": "0.651014756",
      "y": "1.303191595"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "0.812589063"
    },
    {
      "turn": "0",
      "x": "0.940547725",
      "y": "1.740182770"
    },
    {
      "turn": "0",
      "x": "0.423495939",
      "y": "1.067905984"
    },
    {
      "turn": "0",
      "x": "0.741248007",
      "y": "1.522938064"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "0.982800344"
    },
    {
      "turn": "0",
      "x": "0.778184721",
      "y": "1.689093290"
    },
    {
      "turn": "0",
      "x": "0.583350327",
      "y": "1.459375476"
    },
    {
      "turn": "0",
      "x": "0.427872684",
      "y": "1.245775657"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "1.153011624"
    },
    {
      "turn": "0",
      "x": "0.613701986",
      "y": "1.635649609"
    },
    {
      "turn": "0",
      "x": "0.418735737",
      "y": "1.416086715"
    },
    {
      "turn": "0",
      "x": "0.276088646",
      "y": "1.323222904"
    },
    {
      "turn": "0",
      "x": "0.451821439",
      "y": "1.583051431"
    },
    {
      "turn": "0",
      "x": "0.276234111",
      "y": "1.523642477"
    }
  ],
  "radius": "0.085105639"
}

提交 {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 天前