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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1475.798649232y0
0x1475.798649232
已验证构造r = 737.899324616

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1030.967890282",
      "1401.949224431"
    ],
    [
      "1229.041765740",
      "504.269372499"
    ],
    [
      "504.355272629",
      "683.868965355"
    ],
    [
      "352.753788861",
      "117.587250881"
    ],
    [
      "1032.507515046",
      "587.268791596"
    ],
    [
      "1053.582320706",
      "769.163651481"
    ],
    [
      "857.601705077",
      "912.816195516"
    ],
    [
      "162.380708380",
      "1185.128047603"
    ],
    [
      "452.554507939",
      "76.965510049"
    ],
    [
      "1465.729889666",
      "743.743003239"
    ],
    [
      "327.902427609",
      "137.722074866"
    ],
    [
      "24.795119035",
      "602.498795179"
    ],
    [
      "1021.015987312",
      "392.118999378"
    ],
    [
      "1278.249803164",
      "743.660449709"
    ],
    [
      "1163.139744685",
      "153.326990268"
    ],
    [
      "1064.356637264",
      "94.113945089"
    ],
    [
      "26.157917554",
      "851.956226628"
    ],
    [
      "95.624887597",
      "412.984455575"
    ],
    [
      "1436.359033016",
      "907.482739030"
    ],
    [
      "483.863020800",
      "1409.349245777"
    ],
    [
      "1225.895141790",
      "1263.070462489"
    ],
    [
      "365.914644383",
      "1349.568549489"
    ],
    [
      "652.600037364",
      "1447.644085312"
    ],
    [
      "222.276383671",
      "244.310419281"
    ],
    [
      "894.668978412",
      "42.485259344"
    ],
    [
      "83.402480458",
      "1017.960977427"
    ],
    [
      "846.856375842",
      "1440.399296664"
    ],
    [
      "1058.855066983",
      "1371.099657708"
    ],
    [
      "703.603755232",
      "847.571868830"
    ],
    [
      "209.477305901",
      "1208.953062451"
    ],
    [
      "424.187113310",
      "1144.194539698"
    ],
    [
      "661.043504727",
      "124.442582596"
    ],
    [
      "621.187206412",
      "628.293832519"
    ],
    [
      "956.527151160",
      "674.816459380"
    ],
    [
      "1088.323382463",
      "797.301589305"
    ],
    [
      "1423.949548315",
      "589.582931528"
    ],
    [
      "470.385627581",
      "707.654620426"
    ],
    [
      "362.219817643",
      "324.193056727"
    ],
    [
      "536.851951835",
      "892.762402526"
    ],
    [
      "297.690330238",
      "513.979092676"
    ],
    [
      "63.718203044",
      "561.409993593"
    ],
    [
      "551.288843980",
      "364.056262067"
    ],
    [
      "656.422932659",
      "47.851359579"
    ],
    [
      "1264.563200074",
      "286.101322197"
    ],
    [
      "1393.768629597",
      "514.415703660"
    ],
    [
      "1426.609051487",
      "671.539792394"
    ],
    [
      "97.493093055",
      "478.753508091"
    ],
    [
      "353.758403759",
      "1091.372499214"
    ],
    [
      "757.950865112",
      "1004.225003514"
    ],
    [
      "1097.519224004",
      "151.527916561"
    ],
    [
      "1182.110174984",
      "334.151515927"
    ],
    [
      "809.272773723",
      "1091.213863126"
    ],
    [
      "54.776701080",
      "787.200096135"
    ],
    [
      "412.089321692",
      "136.595634121"
    ],
    [
      "337.460742274",
      "989.460847905"
    ],
    [
      "1382.253348891",
      "961.046317224"
    ],
    [
      "444.647997635",
      "1343.083251796"
    ],
    [
      "1183.414202429",
      "224.304557061"
    ],
    [
      "1245.131790353",
      "1185.417701095"
    ],
    [
      "661.575878917",
      "1263.666313893"
    ],
    [
      "248.577426163",
      "914.923903225"
    ],
    [
      "1003.869130546",
      "984.956108317"
    ],
    [
      "782.471129781",
      "894.942083436"
    ],
    [
      "787.196107154",
      "392.753053963"
    ],
    [
      "68.714648347",
      "667.292171202"
    ],
    [
      "857.031193387",
      "663.685036624"
    ],
    [
      "771.162236740",
      "765.250396292"
    ],
    [
      "873.924938806",
      "988.764918415"
    ],
    [
      "722.823083634",
      "638.083492525"
    ],
    [
      "1106.794669297",
      "902.061878209"
    ],
    [
      "956.689232696",
      "569.678253873"
    ],
    [
      "517.660223317",
      "608.503942064"
    ],
    [
      "318.078167819",
      "222.301314361"
    ],
    [
      "1312.377992373",
      "1070.670377318"
    ],
    [
      "816.584017375",
      "528.610886779"
    ],
    [
      "1199.000083527",
      "788.835903176"
    ],
    [
      "1250.757859699",
      "932.815528838"
    ],
    [
      "648.659296517",
      "939.387480034"
    ],
    [
      "795.035678252",
      "1224.814261639"
    ],
    [
      "578.179401322",
      "1376.116425164"
    ],
    [
      "929.973034617",
      "418.046313623"
    ],
    [
      "105.602107041",
      "912.267190566"
    ],
    [
      "546.773024762",
      "111.509778978"
    ],
    [
      "966.049270089",
      "125.147397649"
    ],
    [
      "188.919573786",
      "575.573918349"
    ],
    [
      "471.710583903",
      "263.265698064"
    ],
    [
      "864.692334085",
      "263.156237599"
    ],
    [
      "745.929625187",
      "1385.274066484"
    ],
    [
      "519.396250689",
      "1217.669143074"
    ],
    [
      "1080.542533745",
      "672.543990733"
    ],
    [
      "1299.335792246",
      "416.546202640"
    ],
    [
      "666.745257687",
      "1111.754242209"
    ],
    [
      "355.414966004",
      "638.528539973"
    ],
    [
      "1044.301128179",
      "285.554476023"
    ],
    [
      "1109.959584487",
      "1259.204385298"
    ],
    [
      "786.244976991",
      "97.823203488"
    ],
    [
      "333.779767245",
      "1234.989538883"
    ],
    [
      "1140.296446654",
      "1068.547898701"
    ],
    [
      "1373.124949502",
      "806.315349655"
    ],
    [
      "205.311641461",
      "759.846271454"
    ],
    [
      "954.215701721",
      "1140.209246821"
    ],
    [
      "931.829862265",
      "1343.340002389"
    ],
    [
      "490.733454554",
      "1027.820666341"
    ],
    [
      "600.167056284",
      "763.966550153"
    ],
    [
      "201.727917068",
      "1074.175664590"
    ],
    [
      "641.938514158",
      "481.071974230"
    ],
    [
      "430.944096423",
      "451.911115445"
    ],
    [
      "1109.643360037",
      "476.694196479"
    ],
    [
      "399.825556379",
      "836.301074524"
    ],
    [
      "667.687294976",
      "266.287075091"
    ],
    [
      "1277.335138960",
      "618.380128158"
    ],
    [
      "223.514557099",
      "381.306734256"
    ],
    [
      "942.259076413",
      "821.159889709"
    ]
  ],
  "radius": "737.899324616"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 113
}

当前第一名的答案

{
  "centers": [
    [
      "1030.967890282",
      "1401.949224431"
    ],
    [
      "1229.041765740",
      "504.269372499"
    ],
    [
      "504.355272629",
      "683.868965355"
    ],
    [
      "352.753788861",
      "117.587250881"
    ],
    [
      "1032.507515046",
      "587.268791596"
    ],
    [
      "1053.582320706",
      "769.163651481"
    ],
    [
      "857.601705077",
      "912.816195516"
    ],
    [
      "162.380708380",
      "1185.128047603"
    ],
    [
      "452.554507939",
      "76.965510049"
    ],
    [
      "1465.729889666",
      "743.743003239"
    ],
    [
      "327.902427609",
      "137.722074866"
    ],
    [
      "24.795119035",
      "602.498795179"
    ],
    [
      "1021.015987312",
      "392.118999378"
    ],
    [
      "1278.249803164",
      "743.660449709"
    ],
    [
      "1163.139744685",
      "153.326990268"
    ],
    [
      "1064.356637264",
      "94.113945089"
    ],
    [
      "26.157917554",
      "851.956226628"
    ],
    [
      "95.624887597",
      "412.984455575"
    ],
    [
      "1436.359033016",
      "907.482739030"
    ],
    [
      "483.863020800",
      "1409.349245777"
    ],
    [
      "1225.895141790",
      "1263.070462489"
    ],
    [
      "365.914644383",
      "1349.568549489"
    ],
    [
      "652.600037364",
      "1447.644085312"
    ],
    [
      "222.276383671",
      "244.310419281"
    ],
    [
      "894.668978412",
      "42.485259344"
    ],
    [
      "83.402480458",
      "1017.960977427"
    ],
    [
      "846.856375842",
      "1440.399296664"
    ],
    [
      "1058.855066983",
      "1371.099657708"
    ],
    [
      "703.603755232",
      "847.571868830"
    ],
    [
      "209.477305901",
      "1208.953062451"
    ],
    [
      "424.187113310",
      "1144.194539698"
    ],
    [
      "661.043504727",
      "124.442582596"
    ],
    [
      "621.187206412",
      "628.293832519"
    ],
    [
      "956.527151160",
      "674.816459380"
    ],
    [
      "1088.323382463",
      "797.301589305"
    ],
    [
      "1423.949548315",
      "589.582931528"
    ],
    [
      "470.385627581",
      "707.654620426"
    ],
    [
      "362.219817643",
      "324.193056727"
    ],
    [
      "536.851951835",
      "892.762402526"
    ],
    [
      "297.690330238",
      "513.979092676"
    ],
    [
      "63.718203044",
      "561.409993593"
    ],
    [
      "551.288843980",
      "364.056262067"
    ],
    [
      "656.422932659",
      "47.851359579"
    ],
    [
      "1264.563200074",
      "286.101322197"
    ],
    [
      "1393.768629597",
      "514.415703660"
    ],
    [
      "1426.609051487",
      "671.539792394"
    ],
    [
      "97.493093055",
      "478.753508091"
    ],
    [
      "353.758403759",
      "1091.372499214"
    ],
    [
      "757.950865112",
      "1004.225003514"
    ],
    [
      "1097.519224004",
      "151.527916561"
    ],
    [
      "1182.110174984",
      "334.151515927"
    ],
    [
      "809.272773723",
      "1091.213863126"
    ],
    [
      "54.776701080",
      "787.200096135"
    ],
    [
      "412.089321692",
      "136.595634121"
    ],
    [
      "337.460742274",
      "989.460847905"
    ],
    [
      "1382.253348891",
      "961.046317224"
    ],
    [
      "444.647997635",
      "1343.083251796"
    ],
    [
      "1183.414202429",
      "224.304557061"
    ],
    [
      "1245.131790353",
      "1185.417701095"
    ],
    [
      "661.575878917",
      "1263.666313893"
    ],
    [
      "248.577426163",
      "914.923903225"
    ],
    [
      "1003.869130546",
      "984.956108317"
    ],
    [
      "782.471129781",
      "894.942083436"
    ],
    [
      "787.196107154",
      "392.753053963"
    ],
    [
      "68.714648347",
      "667.292171202"
    ],
    [
      "857.031193387",
      "663.685036624"
    ],
    [
      "771.162236740",
      "765.250396292"
    ],
    [
      "873.924938806",
      "988.764918415"
    ],
    [
      "722.823083634",
      "638.083492525"
    ],
    [
      "1106.794669297",
      "902.061878209"
    ],
    [
      "956.689232696",
      "569.678253873"
    ],
    [
      "517.660223317",
      "608.503942064"
    ],
    [
      "318.078167819",
      "222.301314361"
    ],
    [
      "1312.377992373",
      "1070.670377318"
    ],
    [
      "816.584017375",
      "528.610886779"
    ],
    [
      "1199.000083527",
      "788.835903176"
    ],
    [
      "1250.757859699",
      "932.815528838"
    ],
    [
      "648.659296517",
      "939.387480034"
    ],
    [
      "795.035678252",
      "1224.814261639"
    ],
    [
      "578.179401322",
      "1376.116425164"
    ],
    [
      "929.973034617",
      "418.046313623"
    ],
    [
      "105.602107041",
      "912.267190566"
    ],
    [
      "546.773024762",
      "111.509778978"
    ],
    [
      "966.049270089",
      "125.147397649"
    ],
    [
      "188.919573786",
      "575.573918349"
    ],
    [
      "471.710583903",
      "263.265698064"
    ],
    [
      "864.692334085",
      "263.156237599"
    ],
    [
      "745.929625187",
      "1385.274066484"
    ],
    [
      "519.396250689",
      "1217.669143074"
    ],
    [
      "1080.542533745",
      "672.543990733"
    ],
    [
      "1299.335792246",
      "416.546202640"
    ],
    [
      "666.745257687",
      "1111.754242209"
    ],
    [
      "355.414966004",
      "638.528539973"
    ],
    [
      "1044.301128179",
      "285.554476023"
    ],
    [
      "1109.959584487",
      "1259.204385298"
    ],
    [
      "786.244976991",
      "97.823203488"
    ],
    [
      "333.779767245",
      "1234.989538883"
    ],
    [
      "1140.296446654",
      "1068.547898701"
    ],
    [
      "1373.124949502",
      "806.315349655"
    ],
    [
      "205.311641461",
      "759.846271454"
    ],
    [
      "954.215701721",
      "1140.209246821"
    ],
    [
      "931.829862265",
      "1343.340002389"
    ],
    [
      "490.733454554",
      "1027.820666341"
    ],
    [
      "600.167056284",
      "763.966550153"
    ],
    [
      "201.727917068",
      "1074.175664590"
    ],
    [
      "641.938514158",
      "481.071974230"
    ],
    [
      "430.944096423",
      "451.911115445"
    ],
    [
      "1109.643360037",
      "476.694196479"
    ],
    [
      "399.825556379",
      "836.301074524"
    ],
    [
      "667.687294976",
      "266.287075091"
    ],
    [
      "1277.335138960",
      "618.380128158"
    ],
    [
      "223.514557099",
      "381.306734256"
    ],
    [
      "942.259076413",
      "821.159889709"
    ]
  ],
  "radius": "737.899324616"
}

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

DISCUSSION

讨论区

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