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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

934.556198704y0
0x934.556198704
已验证构造r = 467.278099352

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "827.483051428",
      "342.797904472"
    ],
    [
      "736.546476974",
      "843.904878752"
    ],
    [
      "425.209264763",
      "570.846701274"
    ],
    [
      "702.383992135",
      "363.706344003"
    ],
    [
      "482.788625675",
      "715.944559141"
    ],
    [
      "608.982765800",
      "734.169674613"
    ],
    [
      "672.364965382",
      "509.903827440"
    ],
    [
      "902.236440325",
      "345.078488291"
    ],
    [
      "273.928373212",
      "456.977402695"
    ],
    [
      "749.616832395",
      "536.717134672"
    ],
    [
      "11.566164933",
      "489.184754168"
    ],
    [
      "533.851118681",
      "16.937649726"
    ],
    [
      "239.181528227",
      "858.976679247"
    ],
    [
      "91.816633100",
      "213.420548667"
    ],
    [
      "59.053107103",
      "661.850930890"
    ],
    [
      "461.906206855",
      "918.521608265"
    ],
    [
      "150.324524614",
      "787.107426049"
    ],
    [
      "34.292681499",
      "347.629724784"
    ],
    [
      "672.689414868",
      "68.907750472"
    ],
    [
      "914.006723408",
      "487.925078245"
    ],
    [
      "612.458576940",
      "889.200769872"
    ],
    [
      "867.362600434",
      "662.657066692"
    ],
    [
      "763.897871541",
      "798.034414953"
    ],
    [
      "794.146112059",
      "367.515819200"
    ],
    [
      "640.952759724",
      "500.610913866"
    ],
    [
      "429.316749066",
      "391.158495321"
    ],
    [
      "684.381415487",
      "697.387128917"
    ],
    [
      "658.577740170",
      "364.446942097"
    ],
    [
      "427.275896250",
      "30.829343921"
    ],
    [
      "267.244853295",
      "78.435153365"
    ],
    [
      "303.062876427",
      "353.201792830"
    ],
    [
      "834.995764184",
      "234.360210933"
    ],
    [
      "489.215978210",
      "33.554458023"
    ],
    [
      "793.965465977",
      "182.663841339"
    ],
    [
      "622.588982277",
      "692.318085796"
    ],
    [
      "330.904618869",
      "543.752166843"
    ],
    [
      "290.678468513",
      "141.203502706"
    ],
    [
      "403.930744300",
      "531.786173164"
    ],
    [
      "43.356942414",
      "528.212351486"
    ],
    [
      "478.640306206",
      "668.138789557"
    ],
    [
      "64.029947237",
      "605.495123639"
    ],
    [
      "261.922396432",
      "507.345395663"
    ],
    [
      "146.306572265",
      "189.808849905"
    ],
    [
      "210.335432101",
      "130.908042518"
    ],
    [
      "858.267312604",
      "307.759359662"
    ],
    [
      "410.974434381",
      "883.149136002"
    ],
    [
      "212.652214203",
      "801.642181460"
    ],
    [
      "623.153055971",
      "210.129222588"
    ],
    [
      "479.507962486",
      "576.098129724"
    ],
    [
      "561.561449318",
      "633.151877355"
    ],
    [
      "453.305550082",
      "109.491544835"
    ],
    [
      "570.157771828",
      "531.514761891"
    ],
    [
      "500.013490708",
      "351.658488091"
    ],
    [
      "598.149728762",
      "309.017207849"
    ],
    [
      "544.330809424",
      "736.766464641"
    ],
    [
      "353.017829479",
      "72.190430941"
    ],
    [
      "260.721724125",
      "606.645923140"
    ],
    [
      "374.883508667",
      "185.196245215"
    ],
    [
      "592.506351971",
      "422.109810512"
    ],
    [
      "312.461829148",
      "843.977854567"
    ],
    [
      "708.795156568",
      "140.580371957"
    ],
    [
      "477.922872393",
      "464.516826651"
    ],
    [
      "289.668377524",
      "723.102315225"
    ],
    [
      "867.331588489",
      "416.381820059"
    ],
    [
      "380.061847274",
      "631.982359496"
    ],
    [
      "389.160460701",
      "308.384873283"
    ],
    [
      "69.195690099",
      "425.409826622"
    ],
    [
      "349.418268231",
      "440.678519173"
    ],
    [
      "108.137925846",
      "295.104407413"
    ],
    [
      "525.257150263",
      "860.302676039"
    ],
    [
      "153.015655849",
      "537.483774123"
    ],
    [
      "783.088816171",
      "704.992985233"
    ],
    [
      "419.280883491",
      "764.292099116"
    ],
    [
      "501.869438215",
      "224.672049999"
    ],
    [
      "209.384840316",
      "402.804469690"
    ],
    [
      "580.000402757",
      "93.880142932"
    ],
    [
      "683.348653128",
      "593.392256917"
    ],
    [
      "727.644980423",
      "444.856620149"
    ],
    [
      "661.940541103",
      "800.984460721"
    ],
    [
      "150.526898377",
      "690.107637156"
    ],
    [
      "252.984644594",
      "253.021102566"
    ],
    [
      "731.448555371",
      "282.046430612"
    ],
    [
      "839.997716052",
      "560.818170808"
    ]
  ],
  "radius": "467.278099352"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 83
}

当前第一名的答案

{
  "centers": [
    [
      "827.483051428",
      "342.797904472"
    ],
    [
      "736.546476974",
      "843.904878752"
    ],
    [
      "425.209264763",
      "570.846701274"
    ],
    [
      "702.383992135",
      "363.706344003"
    ],
    [
      "482.788625675",
      "715.944559141"
    ],
    [
      "608.982765800",
      "734.169674613"
    ],
    [
      "672.364965382",
      "509.903827440"
    ],
    [
      "902.236440325",
      "345.078488291"
    ],
    [
      "273.928373212",
      "456.977402695"
    ],
    [
      "749.616832395",
      "536.717134672"
    ],
    [
      "11.566164933",
      "489.184754168"
    ],
    [
      "533.851118681",
      "16.937649726"
    ],
    [
      "239.181528227",
      "858.976679247"
    ],
    [
      "91.816633100",
      "213.420548667"
    ],
    [
      "59.053107103",
      "661.850930890"
    ],
    [
      "461.906206855",
      "918.521608265"
    ],
    [
      "150.324524614",
      "787.107426049"
    ],
    [
      "34.292681499",
      "347.629724784"
    ],
    [
      "672.689414868",
      "68.907750472"
    ],
    [
      "914.006723408",
      "487.925078245"
    ],
    [
      "612.458576940",
      "889.200769872"
    ],
    [
      "867.362600434",
      "662.657066692"
    ],
    [
      "763.897871541",
      "798.034414953"
    ],
    [
      "794.146112059",
      "367.515819200"
    ],
    [
      "640.952759724",
      "500.610913866"
    ],
    [
      "429.316749066",
      "391.158495321"
    ],
    [
      "684.381415487",
      "697.387128917"
    ],
    [
      "658.577740170",
      "364.446942097"
    ],
    [
      "427.275896250",
      "30.829343921"
    ],
    [
      "267.244853295",
      "78.435153365"
    ],
    [
      "303.062876427",
      "353.201792830"
    ],
    [
      "834.995764184",
      "234.360210933"
    ],
    [
      "489.215978210",
      "33.554458023"
    ],
    [
      "793.965465977",
      "182.663841339"
    ],
    [
      "622.588982277",
      "692.318085796"
    ],
    [
      "330.904618869",
      "543.752166843"
    ],
    [
      "290.678468513",
      "141.203502706"
    ],
    [
      "403.930744300",
      "531.786173164"
    ],
    [
      "43.356942414",
      "528.212351486"
    ],
    [
      "478.640306206",
      "668.138789557"
    ],
    [
      "64.029947237",
      "605.495123639"
    ],
    [
      "261.922396432",
      "507.345395663"
    ],
    [
      "146.306572265",
      "189.808849905"
    ],
    [
      "210.335432101",
      "130.908042518"
    ],
    [
      "858.267312604",
      "307.759359662"
    ],
    [
      "410.974434381",
      "883.149136002"
    ],
    [
      "212.652214203",
      "801.642181460"
    ],
    [
      "623.153055971",
      "210.129222588"
    ],
    [
      "479.507962486",
      "576.098129724"
    ],
    [
      "561.561449318",
      "633.151877355"
    ],
    [
      "453.305550082",
      "109.491544835"
    ],
    [
      "570.157771828",
      "531.514761891"
    ],
    [
      "500.013490708",
      "351.658488091"
    ],
    [
      "598.149728762",
      "309.017207849"
    ],
    [
      "544.330809424",
      "736.766464641"
    ],
    [
      "353.017829479",
      "72.190430941"
    ],
    [
      "260.721724125",
      "606.645923140"
    ],
    [
      "374.883508667",
      "185.196245215"
    ],
    [
      "592.506351971",
      "422.109810512"
    ],
    [
      "312.461829148",
      "843.977854567"
    ],
    [
      "708.795156568",
      "140.580371957"
    ],
    [
      "477.922872393",
      "464.516826651"
    ],
    [
      "289.668377524",
      "723.102315225"
    ],
    [
      "867.331588489",
      "416.381820059"
    ],
    [
      "380.061847274",
      "631.982359496"
    ],
    [
      "389.160460701",
      "308.384873283"
    ],
    [
      "69.195690099",
      "425.409826622"
    ],
    [
      "349.418268231",
      "440.678519173"
    ],
    [
      "108.137925846",
      "295.104407413"
    ],
    [
      "525.257150263",
      "860.302676039"
    ],
    [
      "153.015655849",
      "537.483774123"
    ],
    [
      "783.088816171",
      "704.992985233"
    ],
    [
      "419.280883491",
      "764.292099116"
    ],
    [
      "501.869438215",
      "224.672049999"
    ],
    [
      "209.384840316",
      "402.804469690"
    ],
    [
      "580.000402757",
      "93.880142932"
    ],
    [
      "683.348653128",
      "593.392256917"
    ],
    [
      "727.644980423",
      "444.856620149"
    ],
    [
      "661.940541103",
      "800.984460721"
    ],
    [
      "150.526898377",
      "690.107637156"
    ],
    [
      "252.984644594",
      "253.021102566"
    ],
    [
      "731.448555371",
      "282.046430612"
    ],
    [
      "839.997716052",
      "560.818170808"
    ]
  ],
  "radius": "467.278099352"
}

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

DISCUSSION

讨论区

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