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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1535.806804314y0
0x1535.806804314
已验证构造r = 767.903402157

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1077.311161101",
      "372.304087006"
    ],
    [
      "1507.838039996",
      "906.669157033"
    ],
    [
      "997.247311772",
      "49.778738100"
    ],
    [
      "1291.754618535",
      "899.257954172"
    ],
    [
      "856.961512946",
      "1101.234777846"
    ],
    [
      "1118.602924953",
      "993.403419957"
    ],
    [
      "1463.431667631",
      "476.758494751"
    ],
    [
      "960.477604313",
      "506.543211117"
    ],
    [
      "527.458207155",
      "233.465428012"
    ],
    [
      "711.040293155",
      "97.980681624"
    ],
    [
      "13.057631945",
      "774.568736207"
    ],
    [
      "970.795907725",
      "983.597634030"
    ],
    [
      "853.324177879",
      "1194.121813463"
    ],
    [
      "1127.004912526",
      "533.964657785"
    ],
    [
      "688.794385690",
      "1514.549382402"
    ],
    [
      "552.697402860",
      "1485.214652653"
    ],
    [
      "63.351944911",
      "514.264646578"
    ],
    [
      "28.277806440",
      "891.128309496"
    ],
    [
      "400.852537794",
      "115.217793858"
    ],
    [
      "1198.591658606",
      "1379.350149400"
    ],
    [
      "854.646394388",
      "1509.752676236"
    ],
    [
      "278.382778090",
      "205.240241795"
    ],
    [
      "1009.013685727",
      "1472.627042352"
    ],
    [
      "137.320746415",
      "373.262691952"
    ],
    [
      "383.515407081",
      "1403.632380713"
    ],
    [
      "1509.219476626",
      "738.388391330"
    ],
    [
      "232.731572904",
      "1280.098819426"
    ],
    [
      "1346.123805920",
      "306.463477230"
    ],
    [
      "99.897459761",
      "1083.635274916"
    ],
    [
      "1182.172514091",
      "157.262317876"
    ],
    [
      "1462.383768192",
      "521.610854941"
    ],
    [
      "950.902950377",
      "55.116629934"
    ],
    [
      "971.905016007",
      "1240.446956164"
    ],
    [
      "246.452932546",
      "900.386675725"
    ],
    [
      "481.550260715",
      "955.346835453"
    ],
    [
      "990.304100112",
      "939.738275994"
    ],
    [
      "372.319506892",
      "1176.522007971"
    ],
    [
      "1163.891363618",
      "749.659613246"
    ],
    [
      "633.333654026",
      "1173.907799597"
    ],
    [
      "745.021064691",
      "1013.574028941"
    ],
    [
      "603.075602552",
      "59.992853953"
    ],
    [
      "1095.094925774",
      "322.334833842"
    ],
    [
      "1303.878509680",
      "1255.613977404"
    ],
    [
      "689.940137898",
      "48.210665593"
    ],
    [
      "1467.200296271",
      "951.133265257"
    ],
    [
      "891.511592346",
      "245.948229641"
    ],
    [
      "48.412951842",
      "725.971652234"
    ],
    [
      "1245.505912330",
      "941.720596040"
    ],
    [
      "907.354609816",
      "535.789186802"
    ],
    [
      "1036.075502358",
      "1187.805255186"
    ],
    [
      "1230.247642028",
      "1315.797818885"
    ],
    [
      "54.314517659",
      "825.423704134"
    ],
    [
      "1177.202181783",
      "1016.616276107"
    ],
    [
      "816.215848184",
      "466.090874125"
    ],
    [
      "589.034619117",
      "262.283082321"
    ],
    [
      "279.361211591",
      "984.154480821"
    ],
    [
      "474.857627085",
      "744.473769547"
    ],
    [
      "558.559913681",
      "523.518909346"
    ],
    [
      "627.467323970",
      "1462.757157654"
    ],
    [
      "362.595681821",
      "710.900811937"
    ],
    [
      "1417.390470705",
      "1046.863699408"
    ],
    [
      "805.878749036",
      "724.849318586"
    ],
    [
      "1290.036520661",
      "1043.531178497"
    ],
    [
      "363.852387960",
      "191.515704948"
    ],
    [
      "1358.348146442",
      "935.283676063"
    ],
    [
      "1352.480783051",
      "1156.410379837"
    ],
    [
      "920.950858746",
      "1451.893208504"
    ],
    [
      "136.680171642",
      "465.542681152"
    ],
    [
      "923.014994821",
      "1150.679500840"
    ],
    [
      "656.923617704",
      "157.325548662"
    ],
    [
      "923.413036052",
      "662.602299572"
    ],
    [
      "799.633452945",
      "590.994933984"
    ],
    [
      "1059.162784486",
      "712.430407586"
    ],
    [
      "578.841838640",
      "390.879766680"
    ],
    [
      "456.794203883",
      "611.373177971"
    ],
    [
      "688.972271956",
      "492.719285817"
    ],
    [
      "555.475576897",
      "853.857884823"
    ],
    [
      "460.308441733",
      "295.728130759"
    ],
    [
      "1454.196530998",
      "827.816996678"
    ],
    [
      "98.701810859",
      "608.621807990"
    ],
    [
      "1035.173878281",
      "559.580388579"
    ],
    [
      "768.181339248",
      "1453.781306413"
    ],
    [
      "435.441355197",
      "454.796128825"
    ],
    [
      "1146.375817610",
      "437.682362786"
    ],
    [
      "503.078512975",
      "138.439475672"
    ],
    [
      "1041.924349429",
      "1051.029164583"
    ],
    [
      "346.187959624",
      "1298.035687266"
    ],
    [
      "872.499287924",
      "1002.028354335"
    ],
    [
      "406.429369720",
      "1054.002051931"
    ],
    [
      "497.657406753",
      "1389.610829022"
    ],
    [
      "762.339330319",
      "1143.424241400"
    ],
    [
      "1285.283512229",
      "796.321237873"
    ],
    [
      "505.349399969",
      "1206.772558300"
    ],
    [
      "924.445646794",
      "827.599068375"
    ],
    [
      "859.644485519",
      "1301.941454256"
    ],
    [
      "1224.998289872",
      "275.761064405"
    ],
    [
      "667.524412369",
      "1305.763797071"
    ],
    [
      "381.065566472",
      "868.215749018"
    ],
    [
      "126.582585956",
      "958.006984773"
    ],
    [
      "1111.689218669",
      "878.351849501"
    ],
    [
      "1186.064502402",
      "1170.361062276"
    ],
    [
      "733.549940642",
      "872.038120730"
    ],
    [
      "1210.194648112",
      "616.358290337"
    ],
    [
      "1414.706568693",
      "649.128600638"
    ],
    [
      "825.449522996",
      "110.166040108"
    ],
    [
      "600.140436953",
      "1031.618521551"
    ],
    [
      "280.668815144",
      "565.002575305"
    ],
    [
      "202.599669123",
      "765.327831925"
    ],
    [
      "958.127439590",
      "385.902968385"
    ],
    [
      "226.440798773",
      "1141.608012382"
    ],
    [
      "1341.148101759",
      "447.103473630"
    ],
    [
      "749.053888614",
      "314.284183927"
    ],
    [
      "1068.986046655",
      "1349.494072076"
    ],
    [
      "272.292050862",
      "344.161388424"
    ],
    [
      "634.591325340",
      "678.915899154"
    ],
    [
      "1037.289638961",
      "175.288756634"
    ]
  ],
  "radius": "767.903402157"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 116
}

当前第一名的答案

{
  "centers": [
    [
      "1077.311161101",
      "372.304087006"
    ],
    [
      "1507.838039996",
      "906.669157033"
    ],
    [
      "997.247311772",
      "49.778738100"
    ],
    [
      "1291.754618535",
      "899.257954172"
    ],
    [
      "856.961512946",
      "1101.234777846"
    ],
    [
      "1118.602924953",
      "993.403419957"
    ],
    [
      "1463.431667631",
      "476.758494751"
    ],
    [
      "960.477604313",
      "506.543211117"
    ],
    [
      "527.458207155",
      "233.465428012"
    ],
    [
      "711.040293155",
      "97.980681624"
    ],
    [
      "13.057631945",
      "774.568736207"
    ],
    [
      "970.795907725",
      "983.597634030"
    ],
    [
      "853.324177879",
      "1194.121813463"
    ],
    [
      "1127.004912526",
      "533.964657785"
    ],
    [
      "688.794385690",
      "1514.549382402"
    ],
    [
      "552.697402860",
      "1485.214652653"
    ],
    [
      "63.351944911",
      "514.264646578"
    ],
    [
      "28.277806440",
      "891.128309496"
    ],
    [
      "400.852537794",
      "115.217793858"
    ],
    [
      "1198.591658606",
      "1379.350149400"
    ],
    [
      "854.646394388",
      "1509.752676236"
    ],
    [
      "278.382778090",
      "205.240241795"
    ],
    [
      "1009.013685727",
      "1472.627042352"
    ],
    [
      "137.320746415",
      "373.262691952"
    ],
    [
      "383.515407081",
      "1403.632380713"
    ],
    [
      "1509.219476626",
      "738.388391330"
    ],
    [
      "232.731572904",
      "1280.098819426"
    ],
    [
      "1346.123805920",
      "306.463477230"
    ],
    [
      "99.897459761",
      "1083.635274916"
    ],
    [
      "1182.172514091",
      "157.262317876"
    ],
    [
      "1462.383768192",
      "521.610854941"
    ],
    [
      "950.902950377",
      "55.116629934"
    ],
    [
      "971.905016007",
      "1240.446956164"
    ],
    [
      "246.452932546",
      "900.386675725"
    ],
    [
      "481.550260715",
      "955.346835453"
    ],
    [
      "990.304100112",
      "939.738275994"
    ],
    [
      "372.319506892",
      "1176.522007971"
    ],
    [
      "1163.891363618",
      "749.659613246"
    ],
    [
      "633.333654026",
      "1173.907799597"
    ],
    [
      "745.021064691",
      "1013.574028941"
    ],
    [
      "603.075602552",
      "59.992853953"
    ],
    [
      "1095.094925774",
      "322.334833842"
    ],
    [
      "1303.878509680",
      "1255.613977404"
    ],
    [
      "689.940137898",
      "48.210665593"
    ],
    [
      "1467.200296271",
      "951.133265257"
    ],
    [
      "891.511592346",
      "245.948229641"
    ],
    [
      "48.412951842",
      "725.971652234"
    ],
    [
      "1245.505912330",
      "941.720596040"
    ],
    [
      "907.354609816",
      "535.789186802"
    ],
    [
      "1036.075502358",
      "1187.805255186"
    ],
    [
      "1230.247642028",
      "1315.797818885"
    ],
    [
      "54.314517659",
      "825.423704134"
    ],
    [
      "1177.202181783",
      "1016.616276107"
    ],
    [
      "816.215848184",
      "466.090874125"
    ],
    [
      "589.034619117",
      "262.283082321"
    ],
    [
      "279.361211591",
      "984.154480821"
    ],
    [
      "474.857627085",
      "744.473769547"
    ],
    [
      "558.559913681",
      "523.518909346"
    ],
    [
      "627.467323970",
      "1462.757157654"
    ],
    [
      "362.595681821",
      "710.900811937"
    ],
    [
      "1417.390470705",
      "1046.863699408"
    ],
    [
      "805.878749036",
      "724.849318586"
    ],
    [
      "1290.036520661",
      "1043.531178497"
    ],
    [
      "363.852387960",
      "191.515704948"
    ],
    [
      "1358.348146442",
      "935.283676063"
    ],
    [
      "1352.480783051",
      "1156.410379837"
    ],
    [
      "920.950858746",
      "1451.893208504"
    ],
    [
      "136.680171642",
      "465.542681152"
    ],
    [
      "923.014994821",
      "1150.679500840"
    ],
    [
      "656.923617704",
      "157.325548662"
    ],
    [
      "923.413036052",
      "662.602299572"
    ],
    [
      "799.633452945",
      "590.994933984"
    ],
    [
      "1059.162784486",
      "712.430407586"
    ],
    [
      "578.841838640",
      "390.879766680"
    ],
    [
      "456.794203883",
      "611.373177971"
    ],
    [
      "688.972271956",
      "492.719285817"
    ],
    [
      "555.475576897",
      "853.857884823"
    ],
    [
      "460.308441733",
      "295.728130759"
    ],
    [
      "1454.196530998",
      "827.816996678"
    ],
    [
      "98.701810859",
      "608.621807990"
    ],
    [
      "1035.173878281",
      "559.580388579"
    ],
    [
      "768.181339248",
      "1453.781306413"
    ],
    [
      "435.441355197",
      "454.796128825"
    ],
    [
      "1146.375817610",
      "437.682362786"
    ],
    [
      "503.078512975",
      "138.439475672"
    ],
    [
      "1041.924349429",
      "1051.029164583"
    ],
    [
      "346.187959624",
      "1298.035687266"
    ],
    [
      "872.499287924",
      "1002.028354335"
    ],
    [
      "406.429369720",
      "1054.002051931"
    ],
    [
      "497.657406753",
      "1389.610829022"
    ],
    [
      "762.339330319",
      "1143.424241400"
    ],
    [
      "1285.283512229",
      "796.321237873"
    ],
    [
      "505.349399969",
      "1206.772558300"
    ],
    [
      "924.445646794",
      "827.599068375"
    ],
    [
      "859.644485519",
      "1301.941454256"
    ],
    [
      "1224.998289872",
      "275.761064405"
    ],
    [
      "667.524412369",
      "1305.763797071"
    ],
    [
      "381.065566472",
      "868.215749018"
    ],
    [
      "126.582585956",
      "958.006984773"
    ],
    [
      "1111.689218669",
      "878.351849501"
    ],
    [
      "1186.064502402",
      "1170.361062276"
    ],
    [
      "733.549940642",
      "872.038120730"
    ],
    [
      "1210.194648112",
      "616.358290337"
    ],
    [
      "1414.706568693",
      "649.128600638"
    ],
    [
      "825.449522996",
      "110.166040108"
    ],
    [
      "600.140436953",
      "1031.618521551"
    ],
    [
      "280.668815144",
      "565.002575305"
    ],
    [
      "202.599669123",
      "765.327831925"
    ],
    [
      "958.127439590",
      "385.902968385"
    ],
    [
      "226.440798773",
      "1141.608012382"
    ],
    [
      "1341.148101759",
      "447.103473630"
    ],
    [
      "749.053888614",
      "314.284183927"
    ],
    [
      "1068.986046655",
      "1349.494072076"
    ],
    [
      "272.292050862",
      "344.161388424"
    ],
    [
      "634.591325340",
      "678.915899154"
    ],
    [
      "1037.289638961",
      "175.288756634"
    ]
  ],
  "radius": "767.903402157"
}

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

DISCUSSION

讨论区

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