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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2053.180239674y0
0x2053.180239674
已验证构造r = 1026.590119837

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1113.282551454",
      "2021.538726237"
    ],
    [
      "563.848678676",
      "1656.792950839"
    ],
    [
      "470.891212640",
      "1033.785158988"
    ],
    [
      "666.583739564",
      "672.959785483"
    ],
    [
      "2045.726095922",
      "1096.976822896"
    ],
    [
      "232.396588876",
      "1667.523934702"
    ],
    [
      "395.825148272",
      "954.939626383"
    ],
    [
      "668.463692667",
      "692.530478558"
    ],
    [
      "834.993241407",
      "603.562919114"
    ],
    [
      "1258.436955656",
      "1081.680778960"
    ],
    [
      "1349.246964357",
      "1130.849249148"
    ],
    [
      "1237.647266014",
      "381.037288014"
    ],
    [
      "1421.495008508",
      "304.257884188"
    ],
    [
      "1356.260726917",
      "896.208800626"
    ],
    [
      "1564.829696925",
      "1878.259007096"
    ],
    [
      "1641.808363847",
      "468.097568838"
    ],
    [
      "684.476659887",
      "1204.861677268"
    ],
    [
      "89.657082411",
      "653.469788807"
    ],
    [
      "45.584153740",
      "797.105999005"
    ],
    [
      "1887.215938948",
      "1545.894508896"
    ],
    [
      "559.569620537",
      "136.151844386"
    ],
    [
      "791.815341974",
      "2003.322213600"
    ],
    [
      "2007.838993859",
      "847.343510250"
    ],
    [
      "393.039617616",
      "1404.160898843"
    ],
    [
      "376.486208795",
      "1350.616654462"
    ],
    [
      "1980.175684471",
      "1327.772828406"
    ],
    [
      "1029.879594456",
      "31.003875785"
    ],
    [
      "1272.820849936",
      "61.928007843"
    ],
    [
      "2019.689753763",
      "1119.120676959"
    ],
    [
      "376.002212555",
      "1781.375720296"
    ],
    [
      "207.308158515",
      "461.019713472"
    ],
    [
      "780.692161908",
      "62.962047900"
    ],
    [
      "1746.418605600",
      "341.885443484"
    ],
    [
      "1356.083145435",
      "1962.896422325"
    ],
    [
      "215.097568360",
      "1596.441683539"
    ],
    [
      "1514.831277650",
      "164.679824427"
    ],
    [
      "478.064602961",
      "818.816660220"
    ],
    [
      "86.634607312",
      "1332.848278115"
    ],
    [
      "1066.758220528",
      "2013.363026074"
    ],
    [
      "1001.142100953",
      "943.698238058"
    ],
    [
      "1819.888294482",
      "832.412758149"
    ],
    [
      "492.193149827",
      "306.770704448"
    ],
    [
      "1286.050041093",
      "1263.390628065"
    ],
    [
      "577.106724097",
      "292.670247522"
    ],
    [
      "1730.646357165",
      "1008.800250504"
    ],
    [
      "420.457206088",
      "255.780260883"
    ],
    [
      "1467.120086719",
      "479.149616228"
    ],
    [
      "818.319084657",
      "1750.735551637"
    ],
    [
      "1309.295047521",
      "1755.968302569"
    ],
    [
      "50.059225608",
      "1015.938781833"
    ],
    [
      "540.346714875",
      "386.347964341"
    ],
    [
      "631.731074044",
      "1917.607648080"
    ],
    [
      "1062.931456188",
      "1774.438652457"
    ],
    [
      "1540.012509930",
      "1715.016620549"
    ],
    [
      "733.020891570",
      "1952.759747669"
    ],
    [
      "950.428127755",
      "1025.209543547"
    ],
    [
      "1600.452200699",
      "1808.118950165"
    ],
    [
      "1563.962632928",
      "1605.607335711"
    ],
    [
      "474.353054169",
      "722.888434936"
    ],
    [
      "199.791438361",
      "987.079091644"
    ],
    [
      "516.584188248",
      "206.686165711"
    ],
    [
      "1604.567261968",
      "830.115595663"
    ],
    [
      "561.441262711",
      "1482.184444849"
    ],
    [
      "1275.824661905",
      "1156.509937359"
    ],
    [
      "510.943023677",
      "1599.802163993"
    ],
    [
      "1807.067565577",
      "1586.579704579"
    ],
    [
      "1547.607626939",
      "713.572215888"
    ],
    [
      "1889.064680365",
      "608.221083829"
    ],
    [
      "113.649442703",
      "737.595037459"
    ],
    [
      "428.770598107",
      "1491.538307883"
    ],
    [
      "989.785104709",
      "1145.957331788"
    ],
    [
      "1723.549436319",
      "891.907272076"
    ],
    [
      "954.545238812",
      "448.426876514"
    ],
    [
      "384.468615837",
      "624.858910025"
    ],
    [
      "1207.916877277",
      "294.937325464"
    ],
    [
      "716.851682817",
      "1822.012240437"
    ],
    [
      "1643.945370531",
      "1360.299432046"
    ],
    [
      "661.962857724",
      "973.643263395"
    ],
    [
      "1156.140563142",
      "688.293860392"
    ],
    [
      "758.703576852",
      "676.022114912"
    ],
    [
      "870.870007284",
      "1476.803368191"
    ],
    [
      "1676.375229582",
      "1515.957082812"
    ],
    [
      "673.962846403",
      "374.983504100"
    ],
    [
      "94.046868614",
      "889.334086784"
    ],
    [
      "487.952383878",
      "1348.281488733"
    ],
    [
      "491.597915003",
      "941.069878852"
    ],
    [
      "355.049673659",
      "1239.063802528"
    ],
    [
      "1926.429297503",
      "759.680271026"
    ],
    [
      "1945.668106085",
      "1211.983992470"
    ],
    [
      "1063.411817459",
      "829.582146264"
    ],
    [
      "1687.719451267",
      "1688.584741762"
    ],
    [
      "1581.443345105",
      "558.214099987"
    ],
    [
      "1449.374734557",
      "839.866708463"
    ],
    [
      "1508.149765991",
      "1464.225144879"
    ],
    [
      "796.404139309",
      "505.131308867"
    ],
    [
      "844.392049404",
      "320.257945494"
    ],
    [
      "1035.923959403",
      "296.498159040"
    ],
    [
      "1348.388400850",
      "395.916288944"
    ],
    [
      "344.413965761",
      "1053.149694555"
    ],
    [
      "923.818857602",
      "1303.721251119"
    ],
    [
      "1255.379793600",
      "838.465679114"
    ],
    [
      "1360.011602928",
      "1013.185001529"
    ],
    [
      "209.987152429",
      "595.106281113"
    ],
    [
      "619.728089815",
      "796.611558943"
    ],
    [
      "1403.236900767",
      "1633.939911572"
    ],
    [
      "346.643730250",
      "1647.201976015"
    ],
    [
      "1059.163620910",
      "1460.344349815"
    ],
    [
      "1766.368895390",
      "482.039689204"
    ],
    [
      "1438.908680279",
      "1846.324852987"
    ],
    [
      "1133.211423730",
      "1256.365171239"
    ],
    [
      "1143.559311909",
      "118.503802719"
    ],
    [
      "1573.760360071",
      "1002.818284601"
    ],
    [
      "947.714808593",
      "1654.934995119"
    ],
    [
      "689.377572925",
      "178.587510744"
    ],
    [
      "915.901678241",
      "121.745041672"
    ],
    [
      "1730.328199751",
      "703.463196567"
    ],
    [
      "1362.747224144",
      "181.396303409"
    ],
    [
      "1180.220337417",
      "1650.002651475"
    ],
    [
      "525.703272355",
      "1783.446903934"
    ],
    [
      "1138.379126780",
      "1025.953929316"
    ],
    [
      "960.840436542",
      "645.190953866"
    ],
    [
      "798.341482887",
      "1120.090019955"
    ],
    [
      "1146.809941607",
      "486.509471744"
    ],
    [
      "1847.231034804",
      "1400.873227202"
    ],
    [
      "1732.590789391",
      "1178.789130092"
    ],
    [
      "1290.473691471",
      "1432.332722638"
    ],
    [
      "550.575782953",
      "1145.741838566"
    ],
    [
      "700.924895874",
      "1351.703350127"
    ],
    [
      "363.764810353",
      "421.363036525"
    ],
    [
      "579.805760661",
      "566.042246924"
    ],
    [
      "706.631178687",
      "1610.854131641"
    ],
    [
      "844.531725721",
      "869.871357526"
    ],
    [
      "145.305285462",
      "1172.228380443"
    ],
    [
      "1199.394811680",
      "1902.293072045"
    ],
    [
      "1363.043579617",
      "628.454943230"
    ],
    [
      "233.334651532",
      "1426.416953577"
    ],
    [
      "304.068231544",
      "819.940375588"
    ],
    [
      "1574.449031764",
      "328.147629804"
    ],
    [
      "1913.265249723",
      "986.298248791"
    ],
    [
      "922.730296042",
      "1907.075882126"
    ],
    [
      "1467.418709363",
      "1232.384077621"
    ]
  ],
  "radius": "1026.590119837"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 141
}

当前第一名的答案

{
  "centers": [
    [
      "1113.282551454",
      "2021.538726237"
    ],
    [
      "563.848678676",
      "1656.792950839"
    ],
    [
      "470.891212640",
      "1033.785158988"
    ],
    [
      "666.583739564",
      "672.959785483"
    ],
    [
      "2045.726095922",
      "1096.976822896"
    ],
    [
      "232.396588876",
      "1667.523934702"
    ],
    [
      "395.825148272",
      "954.939626383"
    ],
    [
      "668.463692667",
      "692.530478558"
    ],
    [
      "834.993241407",
      "603.562919114"
    ],
    [
      "1258.436955656",
      "1081.680778960"
    ],
    [
      "1349.246964357",
      "1130.849249148"
    ],
    [
      "1237.647266014",
      "381.037288014"
    ],
    [
      "1421.495008508",
      "304.257884188"
    ],
    [
      "1356.260726917",
      "896.208800626"
    ],
    [
      "1564.829696925",
      "1878.259007096"
    ],
    [
      "1641.808363847",
      "468.097568838"
    ],
    [
      "684.476659887",
      "1204.861677268"
    ],
    [
      "89.657082411",
      "653.469788807"
    ],
    [
      "45.584153740",
      "797.105999005"
    ],
    [
      "1887.215938948",
      "1545.894508896"
    ],
    [
      "559.569620537",
      "136.151844386"
    ],
    [
      "791.815341974",
      "2003.322213600"
    ],
    [
      "2007.838993859",
      "847.343510250"
    ],
    [
      "393.039617616",
      "1404.160898843"
    ],
    [
      "376.486208795",
      "1350.616654462"
    ],
    [
      "1980.175684471",
      "1327.772828406"
    ],
    [
      "1029.879594456",
      "31.003875785"
    ],
    [
      "1272.820849936",
      "61.928007843"
    ],
    [
      "2019.689753763",
      "1119.120676959"
    ],
    [
      "376.002212555",
      "1781.375720296"
    ],
    [
      "207.308158515",
      "461.019713472"
    ],
    [
      "780.692161908",
      "62.962047900"
    ],
    [
      "1746.418605600",
      "341.885443484"
    ],
    [
      "1356.083145435",
      "1962.896422325"
    ],
    [
      "215.097568360",
      "1596.441683539"
    ],
    [
      "1514.831277650",
      "164.679824427"
    ],
    [
      "478.064602961",
      "818.816660220"
    ],
    [
      "86.634607312",
      "1332.848278115"
    ],
    [
      "1066.758220528",
      "2013.363026074"
    ],
    [
      "1001.142100953",
      "943.698238058"
    ],
    [
      "1819.888294482",
      "832.412758149"
    ],
    [
      "492.193149827",
      "306.770704448"
    ],
    [
      "1286.050041093",
      "1263.390628065"
    ],
    [
      "577.106724097",
      "292.670247522"
    ],
    [
      "1730.646357165",
      "1008.800250504"
    ],
    [
      "420.457206088",
      "255.780260883"
    ],
    [
      "1467.120086719",
      "479.149616228"
    ],
    [
      "818.319084657",
      "1750.735551637"
    ],
    [
      "1309.295047521",
      "1755.968302569"
    ],
    [
      "50.059225608",
      "1015.938781833"
    ],
    [
      "540.346714875",
      "386.347964341"
    ],
    [
      "631.731074044",
      "1917.607648080"
    ],
    [
      "1062.931456188",
      "1774.438652457"
    ],
    [
      "1540.012509930",
      "1715.016620549"
    ],
    [
      "733.020891570",
      "1952.759747669"
    ],
    [
      "950.428127755",
      "1025.209543547"
    ],
    [
      "1600.452200699",
      "1808.118950165"
    ],
    [
      "1563.962632928",
      "1605.607335711"
    ],
    [
      "474.353054169",
      "722.888434936"
    ],
    [
      "199.791438361",
      "987.079091644"
    ],
    [
      "516.584188248",
      "206.686165711"
    ],
    [
      "1604.567261968",
      "830.115595663"
    ],
    [
      "561.441262711",
      "1482.184444849"
    ],
    [
      "1275.824661905",
      "1156.509937359"
    ],
    [
      "510.943023677",
      "1599.802163993"
    ],
    [
      "1807.067565577",
      "1586.579704579"
    ],
    [
      "1547.607626939",
      "713.572215888"
    ],
    [
      "1889.064680365",
      "608.221083829"
    ],
    [
      "113.649442703",
      "737.595037459"
    ],
    [
      "428.770598107",
      "1491.538307883"
    ],
    [
      "989.785104709",
      "1145.957331788"
    ],
    [
      "1723.549436319",
      "891.907272076"
    ],
    [
      "954.545238812",
      "448.426876514"
    ],
    [
      "384.468615837",
      "624.858910025"
    ],
    [
      "1207.916877277",
      "294.937325464"
    ],
    [
      "716.851682817",
      "1822.012240437"
    ],
    [
      "1643.945370531",
      "1360.299432046"
    ],
    [
      "661.962857724",
      "973.643263395"
    ],
    [
      "1156.140563142",
      "688.293860392"
    ],
    [
      "758.703576852",
      "676.022114912"
    ],
    [
      "870.870007284",
      "1476.803368191"
    ],
    [
      "1676.375229582",
      "1515.957082812"
    ],
    [
      "673.962846403",
      "374.983504100"
    ],
    [
      "94.046868614",
      "889.334086784"
    ],
    [
      "487.952383878",
      "1348.281488733"
    ],
    [
      "491.597915003",
      "941.069878852"
    ],
    [
      "355.049673659",
      "1239.063802528"
    ],
    [
      "1926.429297503",
      "759.680271026"
    ],
    [
      "1945.668106085",
      "1211.983992470"
    ],
    [
      "1063.411817459",
      "829.582146264"
    ],
    [
      "1687.719451267",
      "1688.584741762"
    ],
    [
      "1581.443345105",
      "558.214099987"
    ],
    [
      "1449.374734557",
      "839.866708463"
    ],
    [
      "1508.149765991",
      "1464.225144879"
    ],
    [
      "796.404139309",
      "505.131308867"
    ],
    [
      "844.392049404",
      "320.257945494"
    ],
    [
      "1035.923959403",
      "296.498159040"
    ],
    [
      "1348.388400850",
      "395.916288944"
    ],
    [
      "344.413965761",
      "1053.149694555"
    ],
    [
      "923.818857602",
      "1303.721251119"
    ],
    [
      "1255.379793600",
      "838.465679114"
    ],
    [
      "1360.011602928",
      "1013.185001529"
    ],
    [
      "209.987152429",
      "595.106281113"
    ],
    [
      "619.728089815",
      "796.611558943"
    ],
    [
      "1403.236900767",
      "1633.939911572"
    ],
    [
      "346.643730250",
      "1647.201976015"
    ],
    [
      "1059.163620910",
      "1460.344349815"
    ],
    [
      "1766.368895390",
      "482.039689204"
    ],
    [
      "1438.908680279",
      "1846.324852987"
    ],
    [
      "1133.211423730",
      "1256.365171239"
    ],
    [
      "1143.559311909",
      "118.503802719"
    ],
    [
      "1573.760360071",
      "1002.818284601"
    ],
    [
      "947.714808593",
      "1654.934995119"
    ],
    [
      "689.377572925",
      "178.587510744"
    ],
    [
      "915.901678241",
      "121.745041672"
    ],
    [
      "1730.328199751",
      "703.463196567"
    ],
    [
      "1362.747224144",
      "181.396303409"
    ],
    [
      "1180.220337417",
      "1650.002651475"
    ],
    [
      "525.703272355",
      "1783.446903934"
    ],
    [
      "1138.379126780",
      "1025.953929316"
    ],
    [
      "960.840436542",
      "645.190953866"
    ],
    [
      "798.341482887",
      "1120.090019955"
    ],
    [
      "1146.809941607",
      "486.509471744"
    ],
    [
      "1847.231034804",
      "1400.873227202"
    ],
    [
      "1732.590789391",
      "1178.789130092"
    ],
    [
      "1290.473691471",
      "1432.332722638"
    ],
    [
      "550.575782953",
      "1145.741838566"
    ],
    [
      "700.924895874",
      "1351.703350127"
    ],
    [
      "363.764810353",
      "421.363036525"
    ],
    [
      "579.805760661",
      "566.042246924"
    ],
    [
      "706.631178687",
      "1610.854131641"
    ],
    [
      "844.531725721",
      "869.871357526"
    ],
    [
      "145.305285462",
      "1172.228380443"
    ],
    [
      "1199.394811680",
      "1902.293072045"
    ],
    [
      "1363.043579617",
      "628.454943230"
    ],
    [
      "233.334651532",
      "1426.416953577"
    ],
    [
      "304.068231544",
      "819.940375588"
    ],
    [
      "1574.449031764",
      "328.147629804"
    ],
    [
      "1913.265249723",
      "986.298248791"
    ],
    [
      "922.730296042",
      "1907.075882126"
    ],
    [
      "1467.418709363",
      "1232.384077621"
    ]
  ],
  "radius": "1026.590119837"
}

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

DISCUSSION

讨论区

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