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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1736.656127106y0
0x1736.656127106
已验证构造r = 868.328063553

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1268.513802255",
      "1614.107099867"
    ],
    [
      "84.707726214",
      "1235.351829728"
    ],
    [
      "1305.601440182",
      "1185.826036396"
    ],
    [
      "1585.861298565",
      "386.482408097"
    ],
    [
      "349.724617122",
      "841.467003165"
    ],
    [
      "1452.662123004",
      "459.775067384"
    ],
    [
      "1303.105424543",
      "1471.370926842"
    ],
    [
      "1302.597675994",
      "472.854838954"
    ],
    [
      "397.397456180",
      "1085.613131673"
    ],
    [
      "1233.906754437",
      "234.470408564"
    ],
    [
      "897.749867293",
      "552.573415041"
    ],
    [
      "1386.920365265",
      "825.136502273"
    ],
    [
      "1275.475916882",
      "1360.306403935"
    ],
    [
      "1339.003010734",
      "572.807535725"
    ],
    [
      "212.293614685",
      "1020.633726302"
    ],
    [
      "876.430562903",
      "687.020940099"
    ],
    [
      "1710.219569143",
      "994.171564208"
    ],
    [
      "1393.676367901",
      "1531.089394335"
    ],
    [
      "1152.171400809",
      "1668.757107861"
    ],
    [
      "1716.362543117",
      "858.095664004"
    ],
    [
      "241.392988654",
      "298.465630450"
    ],
    [
      "364.497110344",
      "188.443204088"
    ],
    [
      "1661.247813767",
      "1158.054657098"
    ],
    [
      "1583.281914835",
      "419.989826419"
    ],
    [
      "973.590484999",
      "1703.265377638"
    ],
    [
      "272.094057846",
      "1463.145128716"
    ],
    [
      "28.979842620",
      "925.405907087"
    ],
    [
      "937.926217006",
      "30.887109559"
    ],
    [
      "47.074204358",
      "695.083447420"
    ],
    [
      "116.804927726",
      "496.835239327"
    ],
    [
      "1552.143587246",
      "1351.561563602"
    ],
    [
      "1670.505714174",
      "631.778604181"
    ],
    [
      "467.416324254",
      "1601.160070939"
    ],
    [
      "716.424731887",
      "1688.711324876"
    ],
    [
      "945.883366214",
      "200.672143445"
    ],
    [
      "753.651039279",
      "1338.628848541"
    ],
    [
      "1124.797260971",
      "1533.959690599"
    ],
    [
      "492.676575126",
      "531.195789180"
    ],
    [
      "867.340568569",
      "1453.957905855"
    ],
    [
      "270.621962687",
      "586.985263115"
    ],
    [
      "1366.886751835",
      "208.166610632"
    ],
    [
      "755.891221180",
      "358.605236159"
    ],
    [
      "674.688378366",
      "66.037539611"
    ],
    [
      "1431.624918332",
      "266.578705287"
    ],
    [
      "590.961617806",
      "93.126828385"
    ],
    [
      "806.913410729",
      "432.767602978"
    ],
    [
      "699.399661666",
      "751.441678595"
    ],
    [
      "713.045670102",
      "437.752306566"
    ],
    [
      "1167.327791182",
      "105.505909573"
    ],
    [
      "149.187993313",
      "1258.378860368"
    ],
    [
      "103.997964657",
      "1157.852956077"
    ],
    [
      "1017.476994050",
      "250.102422155"
    ],
    [
      "747.639629238",
      "263.964276574"
    ],
    [
      "514.264109695",
      "993.116536319"
    ],
    [
      "1565.476258711",
      "932.202201909"
    ],
    [
      "610.114391509",
      "1047.086189617"
    ],
    [
      "1677.540307030",
      "926.883778179"
    ],
    [
      "997.763306701",
      "1290.123939933"
    ],
    [
      "1110.557458921",
      "1321.212188920"
    ],
    [
      "402.013469437",
      "1013.011102496"
    ],
    [
      "647.034495175",
      "1158.108286272"
    ],
    [
      "1311.722019353",
      "1541.801705229"
    ],
    [
      "1269.974537237",
      "170.310558481"
    ],
    [
      "1200.436297840",
      "1600.890521325"
    ],
    [
      "658.283129431",
      "184.498806223"
    ],
    [
      "910.534445249",
      "475.272675679"
    ],
    [
      "1458.703079264",
      "868.871239715"
    ],
    [
      "1135.031170942",
      "1005.206626571"
    ],
    [
      "1381.064790642",
      "1201.361624751"
    ],
    [
      "1389.984511444",
      "504.543057734"
    ],
    [
      "333.399394767",
      "277.295947968"
    ],
    [
      "756.495489471",
      "1446.591384187"
    ],
    [
      "761.904592250",
      "1227.448276455"
    ],
    [
      "403.487088742",
      "1287.129181951"
    ],
    [
      "383.921260062",
      "561.876099569"
    ],
    [
      "1143.594770870",
      "228.232205643"
    ],
    [
      "601.655854278",
      "494.473633528"
    ],
    [
      "1197.342327435",
      "726.731545805"
    ],
    [
      "868.617312159",
      "1335.843870968"
    ],
    [
      "1485.792811040",
      "378.227643848"
    ],
    [
      "1632.624321894",
      "1057.369617562"
    ],
    [
      "1056.922931338",
      "1631.704641249"
    ],
    [
      "910.795083917",
      "1179.139579657"
    ],
    [
      "1243.021161235",
      "1267.338563001"
    ],
    [
      "445.217397953",
      "872.478434548"
    ],
    [
      "627.283219160",
      "333.500846479"
    ],
    [
      "1264.091536253",
      "1097.641658796"
    ],
    [
      "253.933928429",
      "1349.401585473"
    ],
    [
      "1204.011398186",
      "1435.974383200"
    ],
    [
      "1028.333091750",
      "106.719800412"
    ],
    [
      "105.128222602",
      "1015.857454325"
    ],
    [
      "274.422096748",
      "930.400923841"
    ],
    [
      "141.146904337",
      "617.402515890"
    ],
    [
      "973.244745712",
      "1013.522431559"
    ],
    [
      "886.140870463",
      "316.131375222"
    ],
    [
      "490.812001166",
      "1141.271855522"
    ],
    [
      "1074.747410866",
      "851.613435734"
    ],
    [
      "1091.438831568",
      "1165.380619305"
    ],
    [
      "451.614139191",
      "400.494311165"
    ],
    [
      "1226.493831905",
      "551.134877877"
    ],
    [
      "1550.086026639",
      "1219.577600771"
    ],
    [
      "635.191803318",
      "891.088999202"
    ],
    [
      "491.145051837",
      "202.400124108"
    ],
    [
      "1010.325272243",
      "1451.636159353"
    ],
    [
      "1447.391016938",
      "1040.498851848"
    ],
    [
      "1560.376057456",
      "548.619367104"
    ],
    [
      "773.629404424",
      "1047.664957127"
    ],
    [
      "109.740533483",
      "816.910912283"
    ],
    [
      "407.979748012",
      "1472.197698885"
    ],
    [
      "310.365091023",
      "731.624413247"
    ],
    [
      "245.021661455",
      "438.171202694"
    ],
    [
      "1073.712054821",
      "404.159612640"
    ],
    [
      "1281.136574809",
      "898.369315854"
    ],
    [
      "823.753538776",
      "115.318143830"
    ],
    [
      "1293.343386472",
      "346.791693350"
    ],
    [
      "1610.887045173",
      "767.239352395"
    ],
    [
      "1389.616828609",
      "694.242836977"
    ],
    [
      "616.055354552",
      "1574.562351627"
    ],
    [
      "1406.543865003",
      "1387.627071817"
    ],
    [
      "274.298386226",
      "1142.400887746"
    ],
    [
      "770.024349777",
      "598.666002366"
    ],
    [
      "853.648721153",
      "1614.511750953"
    ],
    [
      "594.704397291",
      "1334.509989369"
    ],
    [
      "539.905597675",
      "686.158427997"
    ],
    [
      "853.806010239",
      "829.959394772"
    ],
    [
      "1014.192511767",
      "636.886428953"
    ]
  ],
  "radius": "868.328063553"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 126
}

当前第一名的答案

{
  "centers": [
    [
      "1268.513802255",
      "1614.107099867"
    ],
    [
      "84.707726214",
      "1235.351829728"
    ],
    [
      "1305.601440182",
      "1185.826036396"
    ],
    [
      "1585.861298565",
      "386.482408097"
    ],
    [
      "349.724617122",
      "841.467003165"
    ],
    [
      "1452.662123004",
      "459.775067384"
    ],
    [
      "1303.105424543",
      "1471.370926842"
    ],
    [
      "1302.597675994",
      "472.854838954"
    ],
    [
      "397.397456180",
      "1085.613131673"
    ],
    [
      "1233.906754437",
      "234.470408564"
    ],
    [
      "897.749867293",
      "552.573415041"
    ],
    [
      "1386.920365265",
      "825.136502273"
    ],
    [
      "1275.475916882",
      "1360.306403935"
    ],
    [
      "1339.003010734",
      "572.807535725"
    ],
    [
      "212.293614685",
      "1020.633726302"
    ],
    [
      "876.430562903",
      "687.020940099"
    ],
    [
      "1710.219569143",
      "994.171564208"
    ],
    [
      "1393.676367901",
      "1531.089394335"
    ],
    [
      "1152.171400809",
      "1668.757107861"
    ],
    [
      "1716.362543117",
      "858.095664004"
    ],
    [
      "241.392988654",
      "298.465630450"
    ],
    [
      "364.497110344",
      "188.443204088"
    ],
    [
      "1661.247813767",
      "1158.054657098"
    ],
    [
      "1583.281914835",
      "419.989826419"
    ],
    [
      "973.590484999",
      "1703.265377638"
    ],
    [
      "272.094057846",
      "1463.145128716"
    ],
    [
      "28.979842620",
      "925.405907087"
    ],
    [
      "937.926217006",
      "30.887109559"
    ],
    [
      "47.074204358",
      "695.083447420"
    ],
    [
      "116.804927726",
      "496.835239327"
    ],
    [
      "1552.143587246",
      "1351.561563602"
    ],
    [
      "1670.505714174",
      "631.778604181"
    ],
    [
      "467.416324254",
      "1601.160070939"
    ],
    [
      "716.424731887",
      "1688.711324876"
    ],
    [
      "945.883366214",
      "200.672143445"
    ],
    [
      "753.651039279",
      "1338.628848541"
    ],
    [
      "1124.797260971",
      "1533.959690599"
    ],
    [
      "492.676575126",
      "531.195789180"
    ],
    [
      "867.340568569",
      "1453.957905855"
    ],
    [
      "270.621962687",
      "586.985263115"
    ],
    [
      "1366.886751835",
      "208.166610632"
    ],
    [
      "755.891221180",
      "358.605236159"
    ],
    [
      "674.688378366",
      "66.037539611"
    ],
    [
      "1431.624918332",
      "266.578705287"
    ],
    [
      "590.961617806",
      "93.126828385"
    ],
    [
      "806.913410729",
      "432.767602978"
    ],
    [
      "699.399661666",
      "751.441678595"
    ],
    [
      "713.045670102",
      "437.752306566"
    ],
    [
      "1167.327791182",
      "105.505909573"
    ],
    [
      "149.187993313",
      "1258.378860368"
    ],
    [
      "103.997964657",
      "1157.852956077"
    ],
    [
      "1017.476994050",
      "250.102422155"
    ],
    [
      "747.639629238",
      "263.964276574"
    ],
    [
      "514.264109695",
      "993.116536319"
    ],
    [
      "1565.476258711",
      "932.202201909"
    ],
    [
      "610.114391509",
      "1047.086189617"
    ],
    [
      "1677.540307030",
      "926.883778179"
    ],
    [
      "997.763306701",
      "1290.123939933"
    ],
    [
      "1110.557458921",
      "1321.212188920"
    ],
    [
      "402.013469437",
      "1013.011102496"
    ],
    [
      "647.034495175",
      "1158.108286272"
    ],
    [
      "1311.722019353",
      "1541.801705229"
    ],
    [
      "1269.974537237",
      "170.310558481"
    ],
    [
      "1200.436297840",
      "1600.890521325"
    ],
    [
      "658.283129431",
      "184.498806223"
    ],
    [
      "910.534445249",
      "475.272675679"
    ],
    [
      "1458.703079264",
      "868.871239715"
    ],
    [
      "1135.031170942",
      "1005.206626571"
    ],
    [
      "1381.064790642",
      "1201.361624751"
    ],
    [
      "1389.984511444",
      "504.543057734"
    ],
    [
      "333.399394767",
      "277.295947968"
    ],
    [
      "756.495489471",
      "1446.591384187"
    ],
    [
      "761.904592250",
      "1227.448276455"
    ],
    [
      "403.487088742",
      "1287.129181951"
    ],
    [
      "383.921260062",
      "561.876099569"
    ],
    [
      "1143.594770870",
      "228.232205643"
    ],
    [
      "601.655854278",
      "494.473633528"
    ],
    [
      "1197.342327435",
      "726.731545805"
    ],
    [
      "868.617312159",
      "1335.843870968"
    ],
    [
      "1485.792811040",
      "378.227643848"
    ],
    [
      "1632.624321894",
      "1057.369617562"
    ],
    [
      "1056.922931338",
      "1631.704641249"
    ],
    [
      "910.795083917",
      "1179.139579657"
    ],
    [
      "1243.021161235",
      "1267.338563001"
    ],
    [
      "445.217397953",
      "872.478434548"
    ],
    [
      "627.283219160",
      "333.500846479"
    ],
    [
      "1264.091536253",
      "1097.641658796"
    ],
    [
      "253.933928429",
      "1349.401585473"
    ],
    [
      "1204.011398186",
      "1435.974383200"
    ],
    [
      "1028.333091750",
      "106.719800412"
    ],
    [
      "105.128222602",
      "1015.857454325"
    ],
    [
      "274.422096748",
      "930.400923841"
    ],
    [
      "141.146904337",
      "617.402515890"
    ],
    [
      "973.244745712",
      "1013.522431559"
    ],
    [
      "886.140870463",
      "316.131375222"
    ],
    [
      "490.812001166",
      "1141.271855522"
    ],
    [
      "1074.747410866",
      "851.613435734"
    ],
    [
      "1091.438831568",
      "1165.380619305"
    ],
    [
      "451.614139191",
      "400.494311165"
    ],
    [
      "1226.493831905",
      "551.134877877"
    ],
    [
      "1550.086026639",
      "1219.577600771"
    ],
    [
      "635.191803318",
      "891.088999202"
    ],
    [
      "491.145051837",
      "202.400124108"
    ],
    [
      "1010.325272243",
      "1451.636159353"
    ],
    [
      "1447.391016938",
      "1040.498851848"
    ],
    [
      "1560.376057456",
      "548.619367104"
    ],
    [
      "773.629404424",
      "1047.664957127"
    ],
    [
      "109.740533483",
      "816.910912283"
    ],
    [
      "407.979748012",
      "1472.197698885"
    ],
    [
      "310.365091023",
      "731.624413247"
    ],
    [
      "245.021661455",
      "438.171202694"
    ],
    [
      "1073.712054821",
      "404.159612640"
    ],
    [
      "1281.136574809",
      "898.369315854"
    ],
    [
      "823.753538776",
      "115.318143830"
    ],
    [
      "1293.343386472",
      "346.791693350"
    ],
    [
      "1610.887045173",
      "767.239352395"
    ],
    [
      "1389.616828609",
      "694.242836977"
    ],
    [
      "616.055354552",
      "1574.562351627"
    ],
    [
      "1406.543865003",
      "1387.627071817"
    ],
    [
      "274.298386226",
      "1142.400887746"
    ],
    [
      "770.024349777",
      "598.666002366"
    ],
    [
      "853.648721153",
      "1614.511750953"
    ],
    [
      "594.704397291",
      "1334.509989369"
    ],
    [
      "539.905597675",
      "686.158427997"
    ],
    [
      "853.806010239",
      "829.959394772"
    ],
    [
      "1014.192511767",
      "636.886428953"
    ]
  ],
  "radius": "868.328063553"
}

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

DISCUSSION

讨论区

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