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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1555.29834282y0
0x1555.29834282
已验证构造r = 777.64917141

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "764.727204061",
      "4.126497533"
    ],
    [
      "1247.863248635",
      "471.608983304"
    ],
    [
      "466.185969315",
      "1483.616680741"
    ],
    [
      "208.961409083",
      "813.831867001"
    ],
    [
      "925.648713240",
      "1350.204017944"
    ],
    [
      "1151.396851568",
      "1032.640553330"
    ],
    [
      "246.847030692",
      "1127.500113743"
    ],
    [
      "1315.950087023",
      "227.581293205"
    ],
    [
      "445.590154265",
      "614.989235737"
    ],
    [
      "1346.439505683",
      "1057.136173582"
    ],
    [
      "662.808251599",
      "24.656039706"
    ],
    [
      "1365.076909224",
      "1068.888686988"
    ],
    [
      "278.625566308",
      "673.381196434"
    ],
    [
      "872.263798332",
      "216.197306260"
    ],
    [
      "621.501880286",
      "956.392561786"
    ],
    [
      "273.485025543",
      "1016.683942844"
    ],
    [
      "1229.413002391",
      "165.782351961"
    ],
    [
      "381.418837805",
      "1425.766197443"
    ],
    [
      "888.139834448",
      "27.116109325"
    ],
    [
      "1325.215528400",
      "254.045550611"
    ],
    [
      "134.296181985",
      "1172.039336369"
    ],
    [
      "235.761659377",
      "1304.155734602"
    ],
    [
      "1349.688541348",
      "1269.852866618"
    ],
    [
      "24.459940852",
      "751.644404618"
    ],
    [
      "499.495089010",
      "78.284401303"
    ],
    [
      "1084.211251038",
      "91.357565594"
    ],
    [
      "1514.305452896",
      "633.386558496"
    ],
    [
      "1203.391602793",
      "1394.672073995"
    ],
    [
      "1444.411080908",
      "437.202203594"
    ],
    [
      "1521.823501297",
      "849.633656500"
    ],
    [
      "55.394357276",
      "966.945152947"
    ],
    [
      "976.512490716",
      "1496.290992527"
    ],
    [
      "631.171407370",
      "448.842657534"
    ],
    [
      "1449.931280394",
      "1095.534144436"
    ],
    [
      "815.056648185",
      "858.409228841"
    ],
    [
      "1134.214896485",
      "1243.259916665"
    ],
    [
      "628.972847876",
      "1503.222424728"
    ],
    [
      "750.179401157",
      "313.485229817"
    ],
    [
      "438.224153595",
      "827.678100746"
    ],
    [
      "982.789055003",
      "677.321543579"
    ],
    [
      "1295.436315658",
      "1054.492659963"
    ],
    [
      "1344.402455360",
      "664.507756519"
    ],
    [
      "113.448494198",
      "463.727420901"
    ],
    [
      "710.290253427",
      "1508.185916869"
    ],
    [
      "82.544699535",
      "546.122538934"
    ],
    [
      "239.456397471",
      "282.009132568"
    ],
    [
      "725.938033705",
      "48.935188542"
    ],
    [
      "447.404711265",
      "1428.126951488"
    ],
    [
      "310.251197933",
      "218.660129134"
    ],
    [
      "823.509001037",
      "51.614925887"
    ],
    [
      "752.652119673",
      "560.422327198"
    ],
    [
      "797.415477852",
      "772.787754634"
    ],
    [
      "1061.792503052",
      "371.674811463"
    ],
    [
      "1253.778869657",
      "232.801634223"
    ],
    [
      "1048.318988130",
      "264.487839934"
    ],
    [
      "546.046826378",
      "1461.124028570"
    ],
    [
      "849.391427494",
      "504.385471032"
    ],
    [
      "484.059008845",
      "1217.477088652"
    ],
    [
      "1156.558625028",
      "431.368882573"
    ],
    [
      "642.329475368",
      "541.170862968"
    ],
    [
      "531.593398221",
      "1108.383175774"
    ],
    [
      "920.915238551",
      "1124.303433763"
    ],
    [
      "770.302007978",
      "1293.173199110"
    ],
    [
      "415.697245888",
      "546.837649986"
    ],
    [
      "1160.771660744",
      "307.432097146"
    ],
    [
      "1116.041490174",
      "855.916472384"
    ],
    [
      "187.423000415",
      "382.316288799"
    ],
    [
      "222.338974896",
      "732.648164058"
    ],
    [
      "523.660153770",
      "1338.145018614"
    ],
    [
      "529.559098008",
      "476.187252722"
    ],
    [
      "219.920630342",
      "1211.575347081"
    ],
    [
      "1139.836466724",
      "172.041116458"
    ],
    [
      "1038.987589874",
      "1189.755094194"
    ],
    [
      "737.439791580",
      "436.351439898"
    ],
    [
      "533.558150007",
      "621.132095971"
    ],
    [
      "786.397338003",
      "1155.108213137"
    ],
    [
      "906.922341711",
      "1262.597319543"
    ],
    [
      "542.969316688",
      "773.842377035"
    ],
    [
      "87.338557318",
      "670.029838670"
    ],
    [
      "1216.865605570",
      "961.512389716"
    ],
    [
      "664.294516701",
      "1390.632994889"
    ],
    [
      "1100.680536182",
      "708.715789326"
    ],
    [
      "1354.998171875",
      "1163.920582470"
    ],
    [
      "1244.645379036",
      "1290.546544243"
    ],
    [
      "605.771076279",
      "106.664227418"
    ],
    [
      "665.361398877",
      "1047.431375139"
    ],
    [
      "859.187306576",
      "648.139223820"
    ],
    [
      "1187.765590982",
      "1128.223749444"
    ],
    [
      "441.661450562",
      "176.525280087"
    ],
    [
      "685.998821362",
      "684.673435142"
    ],
    [
      "633.151381370",
      "1221.475952109"
    ],
    [
      "1423.569035850",
      "556.393684658"
    ],
    [
      "766.340167085",
      "183.485885029"
    ],
    [
      "686.465597863",
      "868.672843076"
    ],
    [
      "1458.384908585",
      "741.815764543"
    ],
    [
      "383.768930814",
      "703.619609091"
    ],
    [
      "838.545632379",
      "988.302522056"
    ],
    [
      "101.492641741",
      "846.463004188"
    ],
    [
      "357.883320695",
      "1310.904577783"
    ],
    [
      "506.691153951",
      "949.278592969"
    ],
    [
      "1267.169276865",
      "784.857397733"
    ],
    [
      "159.777017275",
      "1049.366389844"
    ],
    [
      "1229.556219035",
      "575.990289254"
    ],
    [
      "1038.647956575",
      "1007.277765182"
    ],
    [
      "949.212115865",
      "818.380358115"
    ],
    [
      "958.219302758",
      "130.727972871"
    ],
    [
      "847.459281536",
      "1444.655063165"
    ],
    [
      "362.662049172",
      "1103.566609701"
    ],
    [
      "1317.468258204",
      "383.077165358"
    ],
    [
      "304.084882605",
      "893.583954329"
    ],
    [
      "1018.535133806",
      "530.613609743"
    ],
    [
      "239.822444319",
      "553.474982061"
    ],
    [
      "898.567791389",
      "341.447447985"
    ],
    [
      "598.386927663",
      "305.545142236"
    ],
    [
      "1061.564483153",
      "1376.394543106"
    ],
    [
      "376.282207446",
      "370.820299536"
    ],
    [
      "1413.468022928",
      "949.002813810"
    ]
  ],
  "radius": "777.649171410"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 117
}

当前第一名的答案

{
  "centers": [
    [
      "764.727204061",
      "4.126497533"
    ],
    [
      "1247.863248635",
      "471.608983304"
    ],
    [
      "466.185969315",
      "1483.616680741"
    ],
    [
      "208.961409083",
      "813.831867001"
    ],
    [
      "925.648713240",
      "1350.204017944"
    ],
    [
      "1151.396851568",
      "1032.640553330"
    ],
    [
      "246.847030692",
      "1127.500113743"
    ],
    [
      "1315.950087023",
      "227.581293205"
    ],
    [
      "445.590154265",
      "614.989235737"
    ],
    [
      "1346.439505683",
      "1057.136173582"
    ],
    [
      "662.808251599",
      "24.656039706"
    ],
    [
      "1365.076909224",
      "1068.888686988"
    ],
    [
      "278.625566308",
      "673.381196434"
    ],
    [
      "872.263798332",
      "216.197306260"
    ],
    [
      "621.501880286",
      "956.392561786"
    ],
    [
      "273.485025543",
      "1016.683942844"
    ],
    [
      "1229.413002391",
      "165.782351961"
    ],
    [
      "381.418837805",
      "1425.766197443"
    ],
    [
      "888.139834448",
      "27.116109325"
    ],
    [
      "1325.215528400",
      "254.045550611"
    ],
    [
      "134.296181985",
      "1172.039336369"
    ],
    [
      "235.761659377",
      "1304.155734602"
    ],
    [
      "1349.688541348",
      "1269.852866618"
    ],
    [
      "24.459940852",
      "751.644404618"
    ],
    [
      "499.495089010",
      "78.284401303"
    ],
    [
      "1084.211251038",
      "91.357565594"
    ],
    [
      "1514.305452896",
      "633.386558496"
    ],
    [
      "1203.391602793",
      "1394.672073995"
    ],
    [
      "1444.411080908",
      "437.202203594"
    ],
    [
      "1521.823501297",
      "849.633656500"
    ],
    [
      "55.394357276",
      "966.945152947"
    ],
    [
      "976.512490716",
      "1496.290992527"
    ],
    [
      "631.171407370",
      "448.842657534"
    ],
    [
      "1449.931280394",
      "1095.534144436"
    ],
    [
      "815.056648185",
      "858.409228841"
    ],
    [
      "1134.214896485",
      "1243.259916665"
    ],
    [
      "628.972847876",
      "1503.222424728"
    ],
    [
      "750.179401157",
      "313.485229817"
    ],
    [
      "438.224153595",
      "827.678100746"
    ],
    [
      "982.789055003",
      "677.321543579"
    ],
    [
      "1295.436315658",
      "1054.492659963"
    ],
    [
      "1344.402455360",
      "664.507756519"
    ],
    [
      "113.448494198",
      "463.727420901"
    ],
    [
      "710.290253427",
      "1508.185916869"
    ],
    [
      "82.544699535",
      "546.122538934"
    ],
    [
      "239.456397471",
      "282.009132568"
    ],
    [
      "725.938033705",
      "48.935188542"
    ],
    [
      "447.404711265",
      "1428.126951488"
    ],
    [
      "310.251197933",
      "218.660129134"
    ],
    [
      "823.509001037",
      "51.614925887"
    ],
    [
      "752.652119673",
      "560.422327198"
    ],
    [
      "797.415477852",
      "772.787754634"
    ],
    [
      "1061.792503052",
      "371.674811463"
    ],
    [
      "1253.778869657",
      "232.801634223"
    ],
    [
      "1048.318988130",
      "264.487839934"
    ],
    [
      "546.046826378",
      "1461.124028570"
    ],
    [
      "849.391427494",
      "504.385471032"
    ],
    [
      "484.059008845",
      "1217.477088652"
    ],
    [
      "1156.558625028",
      "431.368882573"
    ],
    [
      "642.329475368",
      "541.170862968"
    ],
    [
      "531.593398221",
      "1108.383175774"
    ],
    [
      "920.915238551",
      "1124.303433763"
    ],
    [
      "770.302007978",
      "1293.173199110"
    ],
    [
      "415.697245888",
      "546.837649986"
    ],
    [
      "1160.771660744",
      "307.432097146"
    ],
    [
      "1116.041490174",
      "855.916472384"
    ],
    [
      "187.423000415",
      "382.316288799"
    ],
    [
      "222.338974896",
      "732.648164058"
    ],
    [
      "523.660153770",
      "1338.145018614"
    ],
    [
      "529.559098008",
      "476.187252722"
    ],
    [
      "219.920630342",
      "1211.575347081"
    ],
    [
      "1139.836466724",
      "172.041116458"
    ],
    [
      "1038.987589874",
      "1189.755094194"
    ],
    [
      "737.439791580",
      "436.351439898"
    ],
    [
      "533.558150007",
      "621.132095971"
    ],
    [
      "786.397338003",
      "1155.108213137"
    ],
    [
      "906.922341711",
      "1262.597319543"
    ],
    [
      "542.969316688",
      "773.842377035"
    ],
    [
      "87.338557318",
      "670.029838670"
    ],
    [
      "1216.865605570",
      "961.512389716"
    ],
    [
      "664.294516701",
      "1390.632994889"
    ],
    [
      "1100.680536182",
      "708.715789326"
    ],
    [
      "1354.998171875",
      "1163.920582470"
    ],
    [
      "1244.645379036",
      "1290.546544243"
    ],
    [
      "605.771076279",
      "106.664227418"
    ],
    [
      "665.361398877",
      "1047.431375139"
    ],
    [
      "859.187306576",
      "648.139223820"
    ],
    [
      "1187.765590982",
      "1128.223749444"
    ],
    [
      "441.661450562",
      "176.525280087"
    ],
    [
      "685.998821362",
      "684.673435142"
    ],
    [
      "633.151381370",
      "1221.475952109"
    ],
    [
      "1423.569035850",
      "556.393684658"
    ],
    [
      "766.340167085",
      "183.485885029"
    ],
    [
      "686.465597863",
      "868.672843076"
    ],
    [
      "1458.384908585",
      "741.815764543"
    ],
    [
      "383.768930814",
      "703.619609091"
    ],
    [
      "838.545632379",
      "988.302522056"
    ],
    [
      "101.492641741",
      "846.463004188"
    ],
    [
      "357.883320695",
      "1310.904577783"
    ],
    [
      "506.691153951",
      "949.278592969"
    ],
    [
      "1267.169276865",
      "784.857397733"
    ],
    [
      "159.777017275",
      "1049.366389844"
    ],
    [
      "1229.556219035",
      "575.990289254"
    ],
    [
      "1038.647956575",
      "1007.277765182"
    ],
    [
      "949.212115865",
      "818.380358115"
    ],
    [
      "958.219302758",
      "130.727972871"
    ],
    [
      "847.459281536",
      "1444.655063165"
    ],
    [
      "362.662049172",
      "1103.566609701"
    ],
    [
      "1317.468258204",
      "383.077165358"
    ],
    [
      "304.084882605",
      "893.583954329"
    ],
    [
      "1018.535133806",
      "530.613609743"
    ],
    [
      "239.822444319",
      "553.474982061"
    ],
    [
      "898.567791389",
      "341.447447985"
    ],
    [
      "598.386927663",
      "305.545142236"
    ],
    [
      "1061.564483153",
      "1376.394543106"
    ],
    [
      "376.282207446",
      "370.820299536"
    ],
    [
      "1413.468022928",
      "949.002813810"
    ]
  ],
  "radius": "777.649171410"
}

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

DISCUSSION

讨论区

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