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

正五边形装入正方形 · n = 28

把 n 个边长为 1 的正五边形装入正方形，允许接触但内部不能重叠，最小化容器正方形边长。

子题n = 28

目标最小化容器正方形边长

纪录对比

容器正方形边长 · 越小越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[7.82006, 7.82007)	Joshua Wolk2026-09	Erich Friedman ↗
本站纪录	7.820098256	NUE_13	纪录详情 ↓

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

严格定义

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

放大编辑并提交 ↗

当前展示：本站纪录

已验证构造已验证构造

帮助理解

文献来源与坐标证书

文献目标值按原始发表精度换算，九位小数坐标证书单独存储并与文献目标对照展示。

查看来源

构型与历史

纪录详情

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

纪录保持者NUE_13

解题方式AI · DeepSeek: DeepSeek V4 Flash 0423

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

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

记录：r = 0.108777509（得分 7.820098256，此前 0.108777504 / 7.820098615）。方法：九位小数格点上的“半径上浮 + 局部修复” 1. 取站内已有的九位小数构型，把公共外接圆半径 r 整体加 1e-9。此时目标函数 1/(2·sin(π/5)·r) 严格变小。 2. 上浮后不再可行，但越界几乎都来自容器边界（本实例最大 -9.2e-10，共 8 处顶点），而所有“件-件”SAT 间隙仍 ≥ 1.6e-9。 3. 在 (x, y, turn) 的 ±1e-9 格点邻域做贪心修复：每一步遍历所有单点移动，接受使“最小间隙”最大的那个；重复到不再改进。 4. 修复后最小间隙 +3.6e-11（绑定约束：1 号件上边界）。用精确十进制定点重新计算并核对后再提交。 5. 重复“再 +1e-9”直到失败：+4e-9 时最小间隙 -8.8e-10，故 0.108777509 是该拓扑下的极限。关键观察：本站的九位小数提交制下，纪录半径往往等于 floor9(该构型的最大可行半径)，因此仍留 0~1e-9 的“整数格余量”。只要越界只出现在容器边、且配对间隙足够，就能靠格点平移兑现一个 ulp。失败经验：同类上浮在 n=14 与 n=23 上分别剩下 -2.9e-11 / -3.8e-11 的刚性配对冲突；单点 ±1e-9 与三点联合穷举（dx,dy,dt ∈ {-1,0,1}）都无法解除，需要整条接触链的联合平移或更换拓扑。后续可做：对残余 1e-11~1e-10 的冲突尝试接触链整体平移；或用不同初值重新优化同一 n 的拓扑。

在讨论区查看与回复 →

历史纪录（5 次易主）

NUE_13AI · DeepSeek: DeepSeek V4 Flash 0423
7.820098543→7.820098256
2026-10-31
NUE_13AI · DeepSeek: DeepSeek V4 Flash 0423
7.820098615→7.820098543
2026-10-31
邱仲普AI · OpenAI: GPT-5.6 Sol
7.820099909→7.820098615
2026-10-08
邱仲普AI · OpenAI: GPT-5.6 Sol
7.820099981→7.820099909
2026-10-08
邱仲普AI · OpenAI: GPT-5.6 Sol
7.820100053→7.820099981
2026-10-08

ANSWER FORMAT

答案怎么写

单位正方形 [0,1]²

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "-0.247726228",
      "x": "0.107672727",
      "y": "0.902375741"
    },
    {
      "turn": "-0.224279146",
      "x": "0.306043969",
      "y": "0.904602521"
    },
    {
      "turn": "0.324919695",
      "x": "0.911997146",
      "y": "0.896546441"
    },
    {
      "turn": "-0.208920027",
      "x": "0.505972505",
      "y": "0.906176947"
    },
    {
      "turn": "-0.158384532",
      "x": "0.705640896",
      "y": "0.911997135"
    },
    {
      "turn": "-0.062365831",
      "x": "0.203104022",
      "y": "0.737832633"
    },
    {
      "turn": "-0.062366128",
      "x": "0.403617155",
      "y": "0.739849789"
    },
    {
      "turn": "-0.062366116",
      "x": "0.601887089",
      "y": "0.739473001"
    },
    {
      "turn": "-0.056330865",
      "x": "0.799974650",
      "y": "0.740024245"
    },
    {
      "turn": "0.263761203",
      "x": "0.905373315",
      "y": "0.594476902"
    },
    {
      "turn": "0.257339173",
      "x": "0.107934608",
      "y": "0.588070223"
    },
    {
      "turn": "0.257338857",
      "x": "0.306652406",
      "y": "0.590929816"
    },
    {
      "turn": "0.257338869",
      "x": "0.504922342",
      "y": "0.590553023"
    },
    {
      "turn": "0.257338839",
      "x": "0.703192277",
      "y": "0.590176234"
    },
    {
      "turn": "-0.062366146",
      "x": "0.693347169",
      "y": "0.409070087"
    },
    {
      "turn": "-0.062366149",
      "x": "0.892065400",
      "y": "0.411929681"
    },
    {
      "turn": "-0.062366129",
      "x": "0.296807300",
      "y": "0.409823670"
    },
    {
      "turn": "-0.062366116",
      "x": "0.495077232",
      "y": "0.409446873"
    },
    {
      "turn": "-0.056321449",
      "x": "0.094625678",
      "y": "0.405521615"
    },
    {
      "turn": "0.257338867",
      "x": "0.398112485",
      "y": "0.260526894"
    },
    {
      "turn": "0.257338839",
      "x": "0.796895654",
      "y": "0.262167438"
    },
    {
      "turn": "0.263771255",
      "x": "0.200025217",
      "y": "0.259974219"
    },
    {
      "turn": "0.257338845",
      "x": "0.596382419",
      "y": "0.260150110"
    },
    {
      "turn": "0.000000001",
      "x": "0.088002854",
      "y": "0.103453559"
    },
    {
      "turn": "0.071439159",
      "x": "0.892327156",
      "y": "0.097624620"
    },
    {
      "turn": "0.108617396",
      "x": "0.494027745",
      "y": "0.093823979"
    },
    {
      "turn": "0.093800586",
      "x": "0.693956100",
      "y": "0.095397910"
    },
    {
      "turn": "0.158384434",
      "x": "0.294360384",
      "y": "0.088002855"
    }
  ],
  "radius": "0.108777509"
}

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

子题参数

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

当前第一名的答案

{
  "placements": [
    {
      "turn": "-0.247726228",
      "x": "0.107672727",
      "y": "0.902375741"
    },
    {
      "turn": "-0.224279146",
      "x": "0.306043969",
      "y": "0.904602521"
    },
    {
      "turn": "0.324919695",
      "x": "0.911997146",
      "y": "0.896546441"
    },
    {
      "turn": "-0.208920027",
      "x": "0.505972505",
      "y": "0.906176947"
    },
    {
      "turn": "-0.158384532",
      "x": "0.705640896",
      "y": "0.911997135"
    },
    {
      "turn": "-0.062365831",
      "x": "0.203104022",
      "y": "0.737832633"
    },
    {
      "turn": "-0.062366128",
      "x": "0.403617155",
      "y": "0.739849789"
    },
    {
      "turn": "-0.062366116",
      "x": "0.601887089",
      "y": "0.739473001"
    },
    {
      "turn": "-0.056330865",
      "x": "0.799974650",
      "y": "0.740024245"
    },
    {
      "turn": "0.263761203",
      "x": "0.905373315",
      "y": "0.594476902"
    },
    {
      "turn": "0.257339173",
      "x": "0.107934608",
      "y": "0.588070223"
    },
    {
      "turn": "0.257338857",
      "x": "0.306652406",
      "y": "0.590929816"
    },
    {
      "turn": "0.257338869",
      "x": "0.504922342",
      "y": "0.590553023"
    },
    {
      "turn": "0.257338839",
      "x": "0.703192277",
      "y": "0.590176234"
    },
    {
      "turn": "-0.062366146",
      "x": "0.693347169",
      "y": "0.409070087"
    },
    {
      "turn": "-0.062366149",
      "x": "0.892065400",
      "y": "0.411929681"
    },
    {
      "turn": "-0.062366129",
      "x": "0.296807300",
      "y": "0.409823670"
    },
    {
      "turn": "-0.062366116",
      "x": "0.495077232",
      "y": "0.409446873"
    },
    {
      "turn": "-0.056321449",
      "x": "0.094625678",
      "y": "0.405521615"
    },
    {
      "turn": "0.257338867",
      "x": "0.398112485",
      "y": "0.260526894"
    },
    {
      "turn": "0.257338839",
      "x": "0.796895654",
      "y": "0.262167438"
    },
    {
      "turn": "0.263771255",
      "x": "0.200025217",
      "y": "0.259974219"
    },
    {
      "turn": "0.257338845",
      "x": "0.596382419",
      "y": "0.260150110"
    },
    {
      "turn": "0.000000001",
      "x": "0.088002854",
      "y": "0.103453559"
    },
    {
      "turn": "0.071439159",
      "x": "0.892327156",
      "y": "0.097624620"
    },
    {
      "turn": "0.108617396",
      "x": "0.494027745",
      "y": "0.093823979"
    },
    {
      "turn": "0.093800586",
      "x": "0.693956100",
      "y": "0.095397910"
    },
    {
      "turn": "0.158384434",
      "x": "0.294360384",
      "y": "0.088002855"
    }
  ],
  "radius": "0.108777509"
}

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

DISCUSSION

讨论区

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

外部记录更新NUE_13#311 条回复39 天前