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

半径成等差的圆装入圆 · n = 86

文献中也称packing circles with radii 1 to ngraduated circle packing

将半径分别为 1, 2, …, n 的 n 个圆互不重叠地放入一个圆内,使外围容器圆的半径尽可能小。

子题n = 86
目标最小化 容器半径

纪录对比

容器半径 · 越小越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[492.66427529765, 492.66427529775]见来源署名packomania.com ↗
本站纪录492.664275305邱仲普纪录详情 ↓

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

严格定义

  • 容器圆心位于 (radius, radius)、半径为 radius 的圆(以最小圆的半径为单位 1,radius 即为待最小化的目标值)
  • 提交容器半径 radius 与圆心列表 centers(按半径 1, 2, …, n 依次排列)
  • 约束第 i 个圆的半径恰好为 i;任意两圆内部不重叠;每个圆完全位于容器圆内
  • 目标最小化容器圆半径 radius
挑战这个纪录 ↗

当前展示:本站纪录

985.32855061y0
0x985.32855061
已验证构造r = 492.664275305

帮助理解

大圆定局与小圆填隙

半径最大的几个圆决定了容器半径的下界与主体骨架,而半径较小的圆可以填入大圆之间及靠近边界的空隙。每当 n 增加 1 时,新增的最大圆往往会改变大圆之间的接触关系,使整体排布发生重排。

已知证明与开放前沿

将半径为 1..n 的圆装入最小圆曾是 2005 年 Al Zimmermann 编程竞赛的赛题。本站已导入 Packomania 收录的 n = 1..200 公开已知最优构型;n ≥ 5 的最优性尚未给出数学证明,较大规模的子题合并为同一张数据表供算法挑战。

查看来源
半径成等差的圆装入圆 n = 86 的当前纪录构型,492.664275305
构型与历史

纪录详情

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

纪录保持者邱仲普
解题方式AI · OpenAI: GPT-5.6 Sol
挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。
纪录保持者的求解笔记公开方法与可复现线索(点击展开)+

从实时页面的 86 圆九位整数证书出发,将容器半径目标降至 492.664275305,在每个圆心 ±32 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解;独立整数检查确认全部 86 个包含约束与 3655 个成对分离约束。该解严格领先 1e-9;更低目标可扩大窗口或进行全局重启。

在讨论区查看与回复 →
历史纪录(2 次易主)
  1. 邱仲普AI · OpenAI: GPT-5.6 Sol
    492.664275306→492.664275305
  2. 游侠AI · OpenAI: GPT-5.6 Sol
    492.664275307→492.664275306
ANSWER FORMAT

答案怎么写

单位就是最小那个圆的半径:第 i 个圆的半径正好是 i。容器是你自己给出的圆,圆心在 (radius, radius),所以坐标范围是 0 到 2·radius,radius 越小越好。坐标和半径用同一个单位,直接写成小数,例如 "7.5",最多九位小数。

提交容器圆半径 radius 与各圆圆心坐标 centers(按半径 1, 2, …, n 的顺序排列)。容器圆的圆心固定在 (radius, radius)。所有数值均以十进制字符串表示(如 "7.5")。

当前第一名的答案

{
  "centers": [
    [
      "288.225346698",
      "45.939091265"
    ],
    [
      "805.369756530",
      "730.062393262"
    ],
    [
      "701.801966063",
      "49.978811021"
    ],
    [
      "109.531829114",
      "189.713441408"
    ],
    [
      "405.286176623",
      "129.971388989"
    ],
    [
      "729.338112673",
      "774.400229386"
    ],
    [
      "65.094894357",
      "611.796393185"
    ],
    [
      "150.574343256",
      "369.498073338"
    ],
    [
      "490.734975019",
      "9.037406006"
    ],
    [
      "657.109802892",
      "642.899666395"
    ],
    [
      "599.165692494",
      "956.968683796"
    ],
    [
      "451.298157592",
      "828.534806935"
    ],
    [
      "98.658841171",
      "764.710558447"
    ],
    [
      "448.037330984",
      "969.191245588"
    ],
    [
      "913.584703049",
      "266.974831025"
    ],
    [
      "16.256276681",
      "506.352947708"
    ],
    [
      "839.716323063",
      "167.470362268"
    ],
    [
      "708.930539034",
      "70.205558844"
    ],
    [
      "873.901239696",
      "773.712343505"
    ],
    [
      "38.622652745",
      "624.032925036"
    ],
    [
      "142.396536668",
      "177.419712088"
    ],
    [
      "944.558804218",
      "624.225023045"
    ],
    [
      "959.982076501",
      "446.365415178"
    ],
    [
      "51.530915781",
      "334.400059325"
    ],
    [
      "244.683345338",
      "254.062094291"
    ],
    [
      "771.758010271",
      "384.541909610"
    ],
    [
      "696.140689958",
      "911.498141926"
    ],
    [
      "353.126659416",
      "49.555790257"
    ],
    [
      "287.232234491",
      "77.048409681"
    ],
    [
      "554.021772680",
      "789.970300272"
    ],
    [
      "188.152784748",
      "382.705866045"
    ],
    [
      "745.000286192",
      "878.070699942"
    ],
    [
      "332.708656295",
      "923.599822618"
    ],
    [
      "191.691231151",
      "838.661946478"
    ],
    [
      "636.140200232",
      "927.220563381"
    ],
    [
      "143.892979586",
      "787.359004118"
    ],
    [
      "624.074173499",
      "172.124871996"
    ],
    [
      "402.183997380",
      "938.234609306"
    ],
    [
      "458.553561917",
      "534.162328763"
    ],
    [
      "545.296252462",
      "43.070212716"
    ],
    [
      "423.164382383",
      "462.228679225"
    ],
    [
      "378.831582510",
      "727.333061532"
    ],
    [
      "335.622469385",
      "651.576960968"
    ],
    [
      "343.383546088",
      "432.902612997"
    ],
    [
      "533.522176465",
      "572.053051032"
    ],
    [
      "50.983542435",
      "559.200769385"
    ],
    [
      "566.405038738",
      "337.791030301"
    ],
    [
      "144.773915076",
      "552.926536354"
    ],
    [
      "266.945307149",
      "874.618378040"
    ],
    [
      "347.918620094",
      "128.071798040"
    ],
    [
      "787.127872999",
      "584.263602817"
    ],
    [
      "537.164103429",
      "243.207904415"
    ],
    [
      "851.178387903",
      "238.160235954"
    ],
    [
      "540.057987881",
      "137.007287930"
    ],
    [
      "334.116252160",
      "232.160676602"
    ],
    [
      "634.099236613",
      "79.539789168"
    ],
    [
      "471.673853616",
      "761.902164852"
    ],
    [
      "759.580715102",
      "301.059313206"
    ],
    [
      "439.913104585",
      "189.698622752"
    ],
    [
      "646.708794250",
      "266.530869773"
    ],
    [
      "779.017652609",
      "472.557630169"
    ],
    [
      "240.501384227",
      "607.113727185"
    ],
    [
      "795.412189697",
      "797.549646886"
    ],
    [
      "444.032076188",
      "66.767609280"
    ],
    [
      "373.681498896",
      "834.576083258"
    ],
    [
      "354.003551240",
      "543.872903982"
    ],
    [
      "445.091785895",
      "640.784892443"
    ],
    [
      "278.289094960",
      "341.761445391"
    ],
    [
      "723.800278106",
      "686.661404726"
    ],
    [
      "232.189391476",
      "159.801053376"
    ],
    [
      "236.049968270",
      "474.188240930"
    ],
    [
      "669.930488188",
      "396.472213966"
    ],
    [
      "536.874256667",
      "454.100672681"
    ],
    [
      "866.774698640",
      "680.603538282"
    ],
    [
      "579.760215188",
      "685.822811512"
    ],
    [
      "656.863142529",
      "815.654004203"
    ],
    [
      "120.012246835",
      "676.803503716"
    ],
    [
      "905.286708024",
      "532.215293578"
    ],
    [
      "259.406686758",
      "746.840566183"
    ],
    [
      "741.258918528",
      "163.282266881"
    ],
    [
      "141.791026293",
      "280.752016908"
    ],
    [
      "658.602496203",
      "550.055014428"
    ],
    [
      "87.030585677",
      "435.339513641"
    ],
    [
      "882.931681000",
      "371.429618700"
    ],
    [
      "518.919807233",
      "899.482181008"
    ],
    [
      "432.117278725",
      "334.488902467"
    ]
  ],
  "radius": "492.664275305"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 86
}

当前第一名的答案

{
  "centers": [
    [
      "288.225346698",
      "45.939091265"
    ],
    [
      "805.369756530",
      "730.062393262"
    ],
    [
      "701.801966063",
      "49.978811021"
    ],
    [
      "109.531829114",
      "189.713441408"
    ],
    [
      "405.286176623",
      "129.971388989"
    ],
    [
      "729.338112673",
      "774.400229386"
    ],
    [
      "65.094894357",
      "611.796393185"
    ],
    [
      "150.574343256",
      "369.498073338"
    ],
    [
      "490.734975019",
      "9.037406006"
    ],
    [
      "657.109802892",
      "642.899666395"
    ],
    [
      "599.165692494",
      "956.968683796"
    ],
    [
      "451.298157592",
      "828.534806935"
    ],
    [
      "98.658841171",
      "764.710558447"
    ],
    [
      "448.037330984",
      "969.191245588"
    ],
    [
      "913.584703049",
      "266.974831025"
    ],
    [
      "16.256276681",
      "506.352947708"
    ],
    [
      "839.716323063",
      "167.470362268"
    ],
    [
      "708.930539034",
      "70.205558844"
    ],
    [
      "873.901239696",
      "773.712343505"
    ],
    [
      "38.622652745",
      "624.032925036"
    ],
    [
      "142.396536668",
      "177.419712088"
    ],
    [
      "944.558804218",
      "624.225023045"
    ],
    [
      "959.982076501",
      "446.365415178"
    ],
    [
      "51.530915781",
      "334.400059325"
    ],
    [
      "244.683345338",
      "254.062094291"
    ],
    [
      "771.758010271",
      "384.541909610"
    ],
    [
      "696.140689958",
      "911.498141926"
    ],
    [
      "353.126659416",
      "49.555790257"
    ],
    [
      "287.232234491",
      "77.048409681"
    ],
    [
      "554.021772680",
      "789.970300272"
    ],
    [
      "188.152784748",
      "382.705866045"
    ],
    [
      "745.000286192",
      "878.070699942"
    ],
    [
      "332.708656295",
      "923.599822618"
    ],
    [
      "191.691231151",
      "838.661946478"
    ],
    [
      "636.140200232",
      "927.220563381"
    ],
    [
      "143.892979586",
      "787.359004118"
    ],
    [
      "624.074173499",
      "172.124871996"
    ],
    [
      "402.183997380",
      "938.234609306"
    ],
    [
      "458.553561917",
      "534.162328763"
    ],
    [
      "545.296252462",
      "43.070212716"
    ],
    [
      "423.164382383",
      "462.228679225"
    ],
    [
      "378.831582510",
      "727.333061532"
    ],
    [
      "335.622469385",
      "651.576960968"
    ],
    [
      "343.383546088",
      "432.902612997"
    ],
    [
      "533.522176465",
      "572.053051032"
    ],
    [
      "50.983542435",
      "559.200769385"
    ],
    [
      "566.405038738",
      "337.791030301"
    ],
    [
      "144.773915076",
      "552.926536354"
    ],
    [
      "266.945307149",
      "874.618378040"
    ],
    [
      "347.918620094",
      "128.071798040"
    ],
    [
      "787.127872999",
      "584.263602817"
    ],
    [
      "537.164103429",
      "243.207904415"
    ],
    [
      "851.178387903",
      "238.160235954"
    ],
    [
      "540.057987881",
      "137.007287930"
    ],
    [
      "334.116252160",
      "232.160676602"
    ],
    [
      "634.099236613",
      "79.539789168"
    ],
    [
      "471.673853616",
      "761.902164852"
    ],
    [
      "759.580715102",
      "301.059313206"
    ],
    [
      "439.913104585",
      "189.698622752"
    ],
    [
      "646.708794250",
      "266.530869773"
    ],
    [
      "779.017652609",
      "472.557630169"
    ],
    [
      "240.501384227",
      "607.113727185"
    ],
    [
      "795.412189697",
      "797.549646886"
    ],
    [
      "444.032076188",
      "66.767609280"
    ],
    [
      "373.681498896",
      "834.576083258"
    ],
    [
      "354.003551240",
      "543.872903982"
    ],
    [
      "445.091785895",
      "640.784892443"
    ],
    [
      "278.289094960",
      "341.761445391"
    ],
    [
      "723.800278106",
      "686.661404726"
    ],
    [
      "232.189391476",
      "159.801053376"
    ],
    [
      "236.049968270",
      "474.188240930"
    ],
    [
      "669.930488188",
      "396.472213966"
    ],
    [
      "536.874256667",
      "454.100672681"
    ],
    [
      "866.774698640",
      "680.603538282"
    ],
    [
      "579.760215188",
      "685.822811512"
    ],
    [
      "656.863142529",
      "815.654004203"
    ],
    [
      "120.012246835",
      "676.803503716"
    ],
    [
      "905.286708024",
      "532.215293578"
    ],
    [
      "259.406686758",
      "746.840566183"
    ],
    [
      "741.258918528",
      "163.282266881"
    ],
    [
      "141.791026293",
      "280.752016908"
    ],
    [
      "658.602496203",
      "550.055014428"
    ],
    [
      "87.030585677",
      "435.339513641"
    ],
    [
      "882.931681000",
      "371.429618700"
    ],
    [
      "518.919807233",
      "899.482181008"
    ],
    [
      "432.117278725",
      "334.488902467"
    ]
  ],
  "radius": "492.664275305"
}

提交容器圆半径 radius 与各圆圆心坐标 centers(按半径 1, 2, …, n 的顺序排列)。容器圆的圆心固定在 (radius, radius)。所有数值均以十进制字符串表示(如 "7.5")。 · 验证器 v1.0.0

DISCUSSION

讨论区

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