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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2095.901712006y0
0x2095.901712006
已验证构造r = 1047.950856003

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1498.383771242",
      "1992.987674742"
    ],
    [
      "631.453010894",
      "1654.622673751"
    ],
    [
      "1478.869559505",
      "481.923543318"
    ],
    [
      "1407.469143986",
      "823.806491857"
    ],
    [
      "1638.091712623",
      "1048.630669744"
    ],
    [
      "360.204609524",
      "673.560771768"
    ],
    [
      "1336.681517468",
      "525.910855467"
    ],
    [
      "1482.855182853",
      "594.711732862"
    ],
    [
      "1388.057516146",
      "1057.550291871"
    ],
    [
      "1083.325271628",
      "1495.290436678"
    ],
    [
      "1870.538651285",
      "943.033382097"
    ],
    [
      "1280.912386675",
      "1255.427335392"
    ],
    [
      "806.516741356",
      "1271.542360637"
    ],
    [
      "1860.081636069",
      "1079.354343958"
    ],
    [
      "556.109957521",
      "1956.017396609"
    ],
    [
      "2070.722227456",
      "913.146299835"
    ],
    [
      "1750.256292493",
      "1377.771136594"
    ],
    [
      "1654.611522725",
      "907.054624499"
    ],
    [
      "276.458669205",
      "1728.386164355"
    ],
    [
      "1983.257951214",
      "1473.753497265"
    ],
    [
      "74.612169406",
      "1374.502472094"
    ],
    [
      "1694.353239903",
      "1844.064715811"
    ],
    [
      "725.335661548",
      "2020.740830588"
    ],
    [
      "179.270825784",
      "1589.807381279"
    ],
    [
      "918.559669956",
      "2062.551202979"
    ],
    [
      "34.466379345",
      "1178.141617833"
    ],
    [
      "1282.632693506",
      "54.579756831"
    ],
    [
      "1765.810115321",
      "323.402302615"
    ],
    [
      "1835.327428086",
      "1694.673269817"
    ],
    [
      "450.097931106",
      "224.079942348"
    ],
    [
      "674.587028557",
      "102.032987318"
    ],
    [
      "275.831882834",
      "387.743102364"
    ],
    [
      "1168.635780130",
      "2055.642665308"
    ],
    [
      "1492.351963573",
      "1510.809212054"
    ],
    [
      "44.207698054",
      "913.075600805"
    ],
    [
      "126.379813664",
      "630.146215254"
    ],
    [
      "1127.410189495",
      "1342.036148867"
    ],
    [
      "1436.783117364",
      "1979.943012866"
    ],
    [
      "1427.024691015",
      "1355.210610198"
    ],
    [
      "917.252758579",
      "236.993001486"
    ],
    [
      "1967.830072686",
      "638.447308211"
    ],
    [
      "909.351956258",
      "1879.200872932"
    ],
    [
      "1017.883262793",
      "43.449903881"
    ],
    [
      "931.195337559",
      "50.812214600"
    ],
    [
      "1138.530729157",
      "1846.571611639"
    ],
    [
      "614.066025684",
      "1076.133019323"
    ],
    [
      "2018.769107144",
      "1291.557476824"
    ],
    [
      "336.958700813",
      "722.833133833"
    ],
    [
      "451.267461517",
      "501.697154611"
    ],
    [
      "1339.381958880",
      "1779.763928535"
    ],
    [
      "1433.480438765",
      "1449.069841106"
    ],
    [
      "1369.885235209",
      "317.957306259"
    ],
    [
      "1465.438803760",
      "274.431273389"
    ],
    [
      "1106.315332318",
      "1430.587727554"
    ],
    [
      "2022.239810175",
      "856.382993524"
    ],
    [
      "396.453353263",
      "981.557954703"
    ],
    [
      "2028.975614962",
      "1187.858044241"
    ],
    [
      "1520.993995744",
      "178.334339806"
    ],
    [
      "285.984737245",
      "949.507387397"
    ],
    [
      "313.620141949",
      "1065.254026256"
    ],
    [
      "1973.751273068",
      "1389.813099956"
    ],
    [
      "1984.687108285",
      "740.340251323"
    ],
    [
      "521.848546826",
      "1880.623990562"
    ],
    [
      "1774.119065595",
      "597.394607982"
    ],
    [
      "980.030796336",
      "148.288759252"
    ],
    [
      "1898.165861688",
      "557.130810336"
    ],
    [
      "1865.315393321",
      "691.438373376"
    ],
    [
      "1179.846336469",
      "958.117380852"
    ],
    [
      "1168.870918305",
      "431.006816421"
    ],
    [
      "1415.565250830",
      "541.671579036"
    ],
    [
      "265.393027118",
      "1632.789482886"
    ],
    [
      "1138.946780212",
      "824.164258517"
    ],
    [
      "385.055895727",
      "1552.684564956"
    ],
    [
      "1308.904399251",
      "1020.192101247"
    ],
    [
      "1463.906358641",
      "404.967016945"
    ],
    [
      "863.108001290",
      "595.298757445"
    ],
    [
      "1314.826273642",
      "434.617114040"
    ],
    [
      "658.710160837",
      "1430.683589032"
    ],
    [
      "708.877564721",
      "577.384768203"
    ],
    [
      "1008.696905899",
      "1335.941001016"
    ],
    [
      "379.424626036",
      "845.252952561"
    ],
    [
      "105.796052034",
      "1261.036241634"
    ],
    [
      "1212.088591317",
      "1741.223059647"
    ],
    [
      "1236.111596466",
      "293.449887430"
    ],
    [
      "1882.523417761",
      "846.035948203"
    ],
    [
      "1725.833988283",
      "1730.440144722"
    ],
    [
      "663.895316164",
      "1928.818547527"
    ],
    [
      "830.453328563",
      "1982.918143747"
    ],
    [
      "793.256000332",
      "1809.479478519"
    ],
    [
      "1619.887837793",
      "1149.324915784"
    ],
    [
      "622.536393129",
      "1752.428486260"
    ],
    [
      "1787.278793523",
      "441.950658074"
    ],
    [
      "980.261181987",
      "1506.627941805"
    ],
    [
      "1302.553685241",
      "852.249497119"
    ],
    [
      "1159.264326853",
      "1571.241892786"
    ],
    [
      "586.657043873",
      "449.787030425"
    ],
    [
      "835.706423242",
      "1378.764121503"
    ],
    [
      "1592.287111400",
      "1599.441000529"
    ],
    [
      "555.655433918",
      "1574.588846963"
    ],
    [
      "283.652692531",
      "1222.422572666"
    ],
    [
      "1018.962513163",
      "511.178320529"
    ],
    [
      "1362.432795239",
      "156.925330138"
    ],
    [
      "753.244887256",
      "1022.932977105"
    ],
    [
      "997.493265535",
      "715.051004836"
    ],
    [
      "410.374157459",
      "353.219192266"
    ],
    [
      "1046.519075494",
      "305.886767818"
    ],
    [
      "807.989159813",
      "138.111915436"
    ],
    [
      "469.251296268",
      "1128.522848006"
    ],
    [
      "1459.984996238",
      "715.072519686"
    ],
    [
      "898.648816602",
      "1180.901357078"
    ],
    [
      "1153.220996412",
      "116.932540340"
    ],
    [
      "1626.120746304",
      "311.932117925"
    ],
    [
      "1752.113186917",
      "995.294214138"
    ],
    [
      "418.101534339",
      "1737.217026295"
    ],
    [
      "558.784167445",
      "924.285571826"
    ],
    [
      "1979.542306379",
      "1022.070988043"
    ],
    [
      "1602.555028852",
      "539.716351272"
    ],
    [
      "1274.367401300",
      "1392.020570804"
    ],
    [
      "1037.767494050",
      "1976.845894210"
    ],
    [
      "601.755707985",
      "234.315384161"
    ],
    [
      "673.423261075",
      "1232.228242212"
    ],
    [
      "1372.590997597",
      "1611.000307610"
    ],
    [
      "1411.607214235",
      "1193.913948639"
    ],
    [
      "1278.358189259",
      "1942.712078391"
    ],
    [
      "1688.378834644",
      "765.986708066"
    ],
    [
      "779.736345807",
      "1594.904971780"
    ],
    [
      "127.014485102",
      "1053.116117306"
    ],
    [
      "215.757884546",
      "1440.078941858"
    ],
    [
      "462.092031862",
      "1365.950974693"
    ],
    [
      "1595.516465278",
      "1368.413528719"
    ],
    [
      "998.384802041",
      "1729.967374346"
    ],
    [
      "277.550100017",
      "552.523115776"
    ],
    [
      "978.096848926",
      "951.255956146"
    ],
    [
      "169.528310145",
      "795.601895009"
    ],
    [
      "1507.508100782",
      "954.399815528"
    ],
    [
      "767.148269951",
      "784.337721583"
    ],
    [
      "516.620036308",
      "675.838019919"
    ],
    [
      "1521.930285563",
      "1824.709544846"
    ],
    [
      "1226.281332693",
      "632.086992959"
    ],
    [
      "813.603887278",
      "385.048091068"
    ],
    [
      "1149.163115442",
      "1165.294112699"
    ],
    [
      "1819.637432230",
      "1522.552564347"
    ],
    [
      "1835.359675668",
      "1237.986559593"
    ]
  ],
  "radius": "1047.950856003"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 143
}

当前第一名的答案

{
  "centers": [
    [
      "1498.383771242",
      "1992.987674742"
    ],
    [
      "631.453010894",
      "1654.622673751"
    ],
    [
      "1478.869559505",
      "481.923543318"
    ],
    [
      "1407.469143986",
      "823.806491857"
    ],
    [
      "1638.091712623",
      "1048.630669744"
    ],
    [
      "360.204609524",
      "673.560771768"
    ],
    [
      "1336.681517468",
      "525.910855467"
    ],
    [
      "1482.855182853",
      "594.711732862"
    ],
    [
      "1388.057516146",
      "1057.550291871"
    ],
    [
      "1083.325271628",
      "1495.290436678"
    ],
    [
      "1870.538651285",
      "943.033382097"
    ],
    [
      "1280.912386675",
      "1255.427335392"
    ],
    [
      "806.516741356",
      "1271.542360637"
    ],
    [
      "1860.081636069",
      "1079.354343958"
    ],
    [
      "556.109957521",
      "1956.017396609"
    ],
    [
      "2070.722227456",
      "913.146299835"
    ],
    [
      "1750.256292493",
      "1377.771136594"
    ],
    [
      "1654.611522725",
      "907.054624499"
    ],
    [
      "276.458669205",
      "1728.386164355"
    ],
    [
      "1983.257951214",
      "1473.753497265"
    ],
    [
      "74.612169406",
      "1374.502472094"
    ],
    [
      "1694.353239903",
      "1844.064715811"
    ],
    [
      "725.335661548",
      "2020.740830588"
    ],
    [
      "179.270825784",
      "1589.807381279"
    ],
    [
      "918.559669956",
      "2062.551202979"
    ],
    [
      "34.466379345",
      "1178.141617833"
    ],
    [
      "1282.632693506",
      "54.579756831"
    ],
    [
      "1765.810115321",
      "323.402302615"
    ],
    [
      "1835.327428086",
      "1694.673269817"
    ],
    [
      "450.097931106",
      "224.079942348"
    ],
    [
      "674.587028557",
      "102.032987318"
    ],
    [
      "275.831882834",
      "387.743102364"
    ],
    [
      "1168.635780130",
      "2055.642665308"
    ],
    [
      "1492.351963573",
      "1510.809212054"
    ],
    [
      "44.207698054",
      "913.075600805"
    ],
    [
      "126.379813664",
      "630.146215254"
    ],
    [
      "1127.410189495",
      "1342.036148867"
    ],
    [
      "1436.783117364",
      "1979.943012866"
    ],
    [
      "1427.024691015",
      "1355.210610198"
    ],
    [
      "917.252758579",
      "236.993001486"
    ],
    [
      "1967.830072686",
      "638.447308211"
    ],
    [
      "909.351956258",
      "1879.200872932"
    ],
    [
      "1017.883262793",
      "43.449903881"
    ],
    [
      "931.195337559",
      "50.812214600"
    ],
    [
      "1138.530729157",
      "1846.571611639"
    ],
    [
      "614.066025684",
      "1076.133019323"
    ],
    [
      "2018.769107144",
      "1291.557476824"
    ],
    [
      "336.958700813",
      "722.833133833"
    ],
    [
      "451.267461517",
      "501.697154611"
    ],
    [
      "1339.381958880",
      "1779.763928535"
    ],
    [
      "1433.480438765",
      "1449.069841106"
    ],
    [
      "1369.885235209",
      "317.957306259"
    ],
    [
      "1465.438803760",
      "274.431273389"
    ],
    [
      "1106.315332318",
      "1430.587727554"
    ],
    [
      "2022.239810175",
      "856.382993524"
    ],
    [
      "396.453353263",
      "981.557954703"
    ],
    [
      "2028.975614962",
      "1187.858044241"
    ],
    [
      "1520.993995744",
      "178.334339806"
    ],
    [
      "285.984737245",
      "949.507387397"
    ],
    [
      "313.620141949",
      "1065.254026256"
    ],
    [
      "1973.751273068",
      "1389.813099956"
    ],
    [
      "1984.687108285",
      "740.340251323"
    ],
    [
      "521.848546826",
      "1880.623990562"
    ],
    [
      "1774.119065595",
      "597.394607982"
    ],
    [
      "980.030796336",
      "148.288759252"
    ],
    [
      "1898.165861688",
      "557.130810336"
    ],
    [
      "1865.315393321",
      "691.438373376"
    ],
    [
      "1179.846336469",
      "958.117380852"
    ],
    [
      "1168.870918305",
      "431.006816421"
    ],
    [
      "1415.565250830",
      "541.671579036"
    ],
    [
      "265.393027118",
      "1632.789482886"
    ],
    [
      "1138.946780212",
      "824.164258517"
    ],
    [
      "385.055895727",
      "1552.684564956"
    ],
    [
      "1308.904399251",
      "1020.192101247"
    ],
    [
      "1463.906358641",
      "404.967016945"
    ],
    [
      "863.108001290",
      "595.298757445"
    ],
    [
      "1314.826273642",
      "434.617114040"
    ],
    [
      "658.710160837",
      "1430.683589032"
    ],
    [
      "708.877564721",
      "577.384768203"
    ],
    [
      "1008.696905899",
      "1335.941001016"
    ],
    [
      "379.424626036",
      "845.252952561"
    ],
    [
      "105.796052034",
      "1261.036241634"
    ],
    [
      "1212.088591317",
      "1741.223059647"
    ],
    [
      "1236.111596466",
      "293.449887430"
    ],
    [
      "1882.523417761",
      "846.035948203"
    ],
    [
      "1725.833988283",
      "1730.440144722"
    ],
    [
      "663.895316164",
      "1928.818547527"
    ],
    [
      "830.453328563",
      "1982.918143747"
    ],
    [
      "793.256000332",
      "1809.479478519"
    ],
    [
      "1619.887837793",
      "1149.324915784"
    ],
    [
      "622.536393129",
      "1752.428486260"
    ],
    [
      "1787.278793523",
      "441.950658074"
    ],
    [
      "980.261181987",
      "1506.627941805"
    ],
    [
      "1302.553685241",
      "852.249497119"
    ],
    [
      "1159.264326853",
      "1571.241892786"
    ],
    [
      "586.657043873",
      "449.787030425"
    ],
    [
      "835.706423242",
      "1378.764121503"
    ],
    [
      "1592.287111400",
      "1599.441000529"
    ],
    [
      "555.655433918",
      "1574.588846963"
    ],
    [
      "283.652692531",
      "1222.422572666"
    ],
    [
      "1018.962513163",
      "511.178320529"
    ],
    [
      "1362.432795239",
      "156.925330138"
    ],
    [
      "753.244887256",
      "1022.932977105"
    ],
    [
      "997.493265535",
      "715.051004836"
    ],
    [
      "410.374157459",
      "353.219192266"
    ],
    [
      "1046.519075494",
      "305.886767818"
    ],
    [
      "807.989159813",
      "138.111915436"
    ],
    [
      "469.251296268",
      "1128.522848006"
    ],
    [
      "1459.984996238",
      "715.072519686"
    ],
    [
      "898.648816602",
      "1180.901357078"
    ],
    [
      "1153.220996412",
      "116.932540340"
    ],
    [
      "1626.120746304",
      "311.932117925"
    ],
    [
      "1752.113186917",
      "995.294214138"
    ],
    [
      "418.101534339",
      "1737.217026295"
    ],
    [
      "558.784167445",
      "924.285571826"
    ],
    [
      "1979.542306379",
      "1022.070988043"
    ],
    [
      "1602.555028852",
      "539.716351272"
    ],
    [
      "1274.367401300",
      "1392.020570804"
    ],
    [
      "1037.767494050",
      "1976.845894210"
    ],
    [
      "601.755707985",
      "234.315384161"
    ],
    [
      "673.423261075",
      "1232.228242212"
    ],
    [
      "1372.590997597",
      "1611.000307610"
    ],
    [
      "1411.607214235",
      "1193.913948639"
    ],
    [
      "1278.358189259",
      "1942.712078391"
    ],
    [
      "1688.378834644",
      "765.986708066"
    ],
    [
      "779.736345807",
      "1594.904971780"
    ],
    [
      "127.014485102",
      "1053.116117306"
    ],
    [
      "215.757884546",
      "1440.078941858"
    ],
    [
      "462.092031862",
      "1365.950974693"
    ],
    [
      "1595.516465278",
      "1368.413528719"
    ],
    [
      "998.384802041",
      "1729.967374346"
    ],
    [
      "277.550100017",
      "552.523115776"
    ],
    [
      "978.096848926",
      "951.255956146"
    ],
    [
      "169.528310145",
      "795.601895009"
    ],
    [
      "1507.508100782",
      "954.399815528"
    ],
    [
      "767.148269951",
      "784.337721583"
    ],
    [
      "516.620036308",
      "675.838019919"
    ],
    [
      "1521.930285563",
      "1824.709544846"
    ],
    [
      "1226.281332693",
      "632.086992959"
    ],
    [
      "813.603887278",
      "385.048091068"
    ],
    [
      "1149.163115442",
      "1165.294112699"
    ],
    [
      "1819.637432230",
      "1522.552564347"
    ],
    [
      "1835.359675668",
      "1237.986559593"
    ]
  ],
  "radius": "1047.950856003"
}

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

DISCUSSION

讨论区

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