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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2432.790378774y0
0x2432.790378774
已验证构造r = 1216.395189387

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "464.179619353",
      "1714.143631032"
    ],
    [
      "1285.681326537",
      "1944.603944157"
    ],
    [
      "601.893072806",
      "742.730409107"
    ],
    [
      "996.014242057",
      "960.741422046"
    ],
    [
      "247.463182248",
      "1011.766390554"
    ],
    [
      "483.346351641",
      "672.720195941"
    ],
    [
      "42.841273756",
      "924.979055971"
    ],
    [
      "1005.883734966",
      "2096.096288046"
    ],
    [
      "2132.688798386",
      "1507.485396260"
    ],
    [
      "1308.679827997",
      "1155.150600709"
    ],
    [
      "597.459403673",
      "1957.742620518"
    ],
    [
      "1264.396384444",
      "13.300657580"
    ],
    [
      "2184.757312742",
      "1624.875515993"
    ],
    [
      "2109.546711297",
      "892.480998456"
    ],
    [
      "1523.678977981",
      "526.891079884"
    ],
    [
      "2063.284820668",
      "366.320287392"
    ],
    [
      "818.733208407",
      "766.118514371"
    ],
    [
      "1811.397887651",
      "786.834349963"
    ],
    [
      "2360.853803397",
      "866.155698118"
    ],
    [
      "1518.481241120",
      "2137.782053116"
    ],
    [
      "1428.059067502",
      "40.499179332"
    ],
    [
      "23.140952827",
      "1255.671146703"
    ],
    [
      "2326.753307049",
      "1652.906178256"
    ],
    [
      "1925.413069778",
      "257.811262778"
    ],
    [
      "369.693816310",
      "2054.070497951"
    ],
    [
      "146.564500034",
      "695.260224460"
    ],
    [
      "556.399122286",
      "2205.780400707"
    ],
    [
      "1873.189369606",
      "2206.524044511"
    ],
    [
      "2228.219558510",
      "1837.322126037"
    ],
    [
      "746.998906368",
      "2305.796435192"
    ],
    [
      "2039.637307416",
      "2069.290386338"
    ],
    [
      "2384.985007705",
      "1408.432338418"
    ],
    [
      "522.930912848",
      "257.479856803"
    ],
    [
      "1275.035018419",
      "2397.294626364"
    ],
    [
      "1039.214022903",
      "2384.428334357"
    ],
    [
      "1709.974675457",
      "144.170637838"
    ],
    [
      "1130.760730331",
      "1339.624997657"
    ],
    [
      "62.808267313",
      "976.400919735"
    ],
    [
      "2238.629336963",
      "632.189078910"
    ],
    [
      "198.648063253",
      "1306.731133203"
    ],
    [
      "1583.944666755",
      "2332.722472185"
    ],
    [
      "330.673077941",
      "723.046357011"
    ],
    [
      "291.036387560",
      "1560.440158965"
    ],
    [
      "1846.762967686",
      "1827.283833456"
    ],
    [
      "709.129978332",
      "1796.605216508"
    ],
    [
      "1046.134684626",
      "953.938336624"
    ],
    [
      "770.965940659",
      "1203.114461533"
    ],
    [
      "175.688676455",
      "1747.203696777"
    ],
    [
      "511.261046048",
      "1664.569971703"
    ],
    [
      "233.535046258",
      "1844.458623184"
    ],
    [
      "955.845897048",
      "453.130102686"
    ],
    [
      "1662.457595833",
      "1967.391724521"
    ],
    [
      "1208.747078066",
      "377.529013979"
    ],
    [
      "1011.463988243",
      "711.839575650"
    ],
    [
      "790.829425009",
      "135.785815092"
    ],
    [
      "638.803523548",
      "1432.400009672"
    ],
    [
      "88.213969817",
      "1483.608899265"
    ],
    [
      "845.157593407",
      "234.908703053"
    ],
    [
      "969.108261191",
      "2030.558301688"
    ],
    [
      "1223.717299073",
      "1533.351314289"
    ],
    [
      "1023.583367447",
      "77.201770789"
    ],
    [
      "733.631074174",
      "1099.604646478"
    ],
    [
      "908.108183653",
      "122.616865189"
    ],
    [
      "1286.943448384",
      "1651.940708539"
    ],
    [
      "309.857715923",
      "506.535561472"
    ],
    [
      "1034.948527068",
      "1301.822594211"
    ],
    [
      "2358.876936934",
      "1090.519227015"
    ],
    [
      "2335.250832694",
      "957.602684783"
    ],
    [
      "778.133348987",
      "972.387729487"
    ],
    [
      "1139.481685870",
      "1022.980424039"
    ],
    [
      "825.685831934",
      "1769.674178204"
    ],
    [
      "1370.889290589",
      "813.517019083"
    ],
    [
      "1565.601654724",
      "1599.035690936"
    ],
    [
      "1333.624005048",
      "80.030734862"
    ],
    [
      "1897.323294198",
      "1524.239534835"
    ],
    [
      "1845.578637263",
      "454.421851830"
    ],
    [
      "1960.919976348",
      "353.896355071"
    ],
    [
      "1498.887478951",
      "891.986583396"
    ],
    [
      "86.595594562",
      "1347.617884330"
    ],
    [
      "688.257702611",
      "456.628782625"
    ],
    [
      "1313.796965940",
      "662.900823380"
    ],
    [
      "241.150956782",
      "637.071436398"
    ],
    [
      "409.713769435",
      "615.772773927"
    ],
    [
      "1240.731833515",
      "1390.096340664"
    ],
    [
      "1640.290024306",
      "1251.718284395"
    ],
    [
      "835.283546568",
      "379.561271899"
    ],
    [
      "2227.993607480",
      "1718.588458818"
    ],
    [
      "1171.973608084",
      "90.667894387"
    ],
    [
      "160.181105589",
      "1610.640824905"
    ],
    [
      "1921.299125832",
      "2094.960248478"
    ],
    [
      "1805.523551788",
      "1955.830753204"
    ],
    [
      "230.721620361",
      "1439.654855868"
    ],
    [
      "677.885765911",
      "2202.308143133"
    ],
    [
      "1872.580737010",
      "1691.720406280"
    ],
    [
      "1127.983818414",
      "1656.496185397"
    ],
    [
      "1731.115005579",
      "1564.884106936"
    ],
    [
      "354.031411932",
      "1928.658539217"
    ],
    [
      "1278.118239716",
      "243.407271029"
    ],
    [
      "1590.453006672",
      "1428.840478584"
    ],
    [
      "610.069656444",
      "994.601486666"
    ],
    [
      "1161.032189167",
      "2323.960703607"
    ],
    [
      "1441.194759670",
      "1722.112595608"
    ],
    [
      "1070.313596111",
      "1467.080912887"
    ],
    [
      "340.409560559",
      "1276.981602446"
    ],
    [
      "1787.424328439",
      "1371.932661854"
    ],
    [
      "703.138699363",
      "809.715366062"
    ],
    [
      "599.780299553",
      "621.373279193"
    ],
    [
      "927.704887111",
      "1622.592186168"
    ],
    [
      "2059.256563711",
      "1611.963677877"
    ],
    [
      "1249.188664119",
      "1821.827323958"
    ],
    [
      "1569.088808950",
      "1069.108353299"
    ],
    [
      "1182.470231195",
      "1199.885498858"
    ],
    [
      "1395.458380478",
      "1512.033601849"
    ],
    [
      "1787.553549814",
      "273.498969808"
    ],
    [
      "919.964966117",
      "853.927326532"
    ],
    [
      "672.679161794",
      "259.712141477"
    ],
    [
      "518.519503540",
      "2065.551445240"
    ],
    [
      "339.494349610",
      "1714.087514294"
    ],
    [
      "1638.229027120",
      "452.359773012"
    ],
    [
      "547.332567196",
      "1830.049901782"
    ],
    [
      "2310.370326735",
      "1272.153774301"
    ],
    [
      "1698.176329186",
      "875.135643570"
    ],
    [
      "2268.903228699",
      "1512.604350889"
    ],
    [
      "1785.929608143",
      "645.319712807"
    ],
    [
      "392.645225415",
      "1054.018746083"
    ],
    [
      "471.036178423",
      "815.574080622"
    ],
    [
      "1336.571576615",
      "1017.200591595"
    ],
    [
      "2221.109240809",
      "798.267512888"
    ],
    [
      "1010.136860796",
      "1846.990528046"
    ],
    [
      "482.318826118",
      "415.529157926"
    ],
    [
      "1666.734698342",
      "1782.563173547"
    ],
    [
      "687.711797262",
      "1620.770968847"
    ],
    [
      "1165.986150097",
      "820.984862714"
    ],
    [
      "1529.847060127",
      "682.259369294"
    ],
    [
      "1420.711059690",
      "1265.322632914"
    ],
    [
      "454.989180112",
      "1487.864296813"
    ],
    [
      "1382.242482420",
      "454.984450639"
    ],
    [
      "1956.863232595",
      "844.357610790"
    ],
    [
      "141.947002649",
      "1136.761728278"
    ],
    [
      "846.506064327",
      "609.737257634"
    ],
    [
      "1121.226862404",
      "550.665410647"
    ],
    [
      "1040.165042449",
      "279.523415836"
    ],
    [
      "584.756984254",
      "1240.879849917"
    ],
    [
      "204.726141935",
      "860.682106377"
    ],
    [
      "940.563158887",
      "1113.110108473"
    ],
    [
      "835.191170973",
      "1385.114790631"
    ],
    [
      "768.265059282",
      "1979.975996713"
    ],
    [
      "2141.705711275",
      "1062.598894871"
    ],
    [
      "1404.477485677",
      "2267.089026881"
    ],
    [
      "1460.454218789",
      "1973.375551960"
    ],
    [
      "1176.215787463",
      "2072.418543424"
    ],
    [
      "1690.004732166",
      "2169.616632798"
    ],
    [
      "921.279884804",
      "2238.019526318"
    ],
    [
      "2045.404137841",
      "1348.967080117"
    ],
    [
      "1527.650774839",
      "201.663841406"
    ],
    [
      "2054.796093899",
      "567.148024597"
    ],
    [
      "1840.173526188",
      "1115.297663973"
    ],
    [
      "2042.183974138",
      "1878.417288636"
    ]
  ],
  "radius": "1216.395189387"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 158
}

当前第一名的答案

{
  "centers": [
    [
      "464.179619353",
      "1714.143631032"
    ],
    [
      "1285.681326537",
      "1944.603944157"
    ],
    [
      "601.893072806",
      "742.730409107"
    ],
    [
      "996.014242057",
      "960.741422046"
    ],
    [
      "247.463182248",
      "1011.766390554"
    ],
    [
      "483.346351641",
      "672.720195941"
    ],
    [
      "42.841273756",
      "924.979055971"
    ],
    [
      "1005.883734966",
      "2096.096288046"
    ],
    [
      "2132.688798386",
      "1507.485396260"
    ],
    [
      "1308.679827997",
      "1155.150600709"
    ],
    [
      "597.459403673",
      "1957.742620518"
    ],
    [
      "1264.396384444",
      "13.300657580"
    ],
    [
      "2184.757312742",
      "1624.875515993"
    ],
    [
      "2109.546711297",
      "892.480998456"
    ],
    [
      "1523.678977981",
      "526.891079884"
    ],
    [
      "2063.284820668",
      "366.320287392"
    ],
    [
      "818.733208407",
      "766.118514371"
    ],
    [
      "1811.397887651",
      "786.834349963"
    ],
    [
      "2360.853803397",
      "866.155698118"
    ],
    [
      "1518.481241120",
      "2137.782053116"
    ],
    [
      "1428.059067502",
      "40.499179332"
    ],
    [
      "23.140952827",
      "1255.671146703"
    ],
    [
      "2326.753307049",
      "1652.906178256"
    ],
    [
      "1925.413069778",
      "257.811262778"
    ],
    [
      "369.693816310",
      "2054.070497951"
    ],
    [
      "146.564500034",
      "695.260224460"
    ],
    [
      "556.399122286",
      "2205.780400707"
    ],
    [
      "1873.189369606",
      "2206.524044511"
    ],
    [
      "2228.219558510",
      "1837.322126037"
    ],
    [
      "746.998906368",
      "2305.796435192"
    ],
    [
      "2039.637307416",
      "2069.290386338"
    ],
    [
      "2384.985007705",
      "1408.432338418"
    ],
    [
      "522.930912848",
      "257.479856803"
    ],
    [
      "1275.035018419",
      "2397.294626364"
    ],
    [
      "1039.214022903",
      "2384.428334357"
    ],
    [
      "1709.974675457",
      "144.170637838"
    ],
    [
      "1130.760730331",
      "1339.624997657"
    ],
    [
      "62.808267313",
      "976.400919735"
    ],
    [
      "2238.629336963",
      "632.189078910"
    ],
    [
      "198.648063253",
      "1306.731133203"
    ],
    [
      "1583.944666755",
      "2332.722472185"
    ],
    [
      "330.673077941",
      "723.046357011"
    ],
    [
      "291.036387560",
      "1560.440158965"
    ],
    [
      "1846.762967686",
      "1827.283833456"
    ],
    [
      "709.129978332",
      "1796.605216508"
    ],
    [
      "1046.134684626",
      "953.938336624"
    ],
    [
      "770.965940659",
      "1203.114461533"
    ],
    [
      "175.688676455",
      "1747.203696777"
    ],
    [
      "511.261046048",
      "1664.569971703"
    ],
    [
      "233.535046258",
      "1844.458623184"
    ],
    [
      "955.845897048",
      "453.130102686"
    ],
    [
      "1662.457595833",
      "1967.391724521"
    ],
    [
      "1208.747078066",
      "377.529013979"
    ],
    [
      "1011.463988243",
      "711.839575650"
    ],
    [
      "790.829425009",
      "135.785815092"
    ],
    [
      "638.803523548",
      "1432.400009672"
    ],
    [
      "88.213969817",
      "1483.608899265"
    ],
    [
      "845.157593407",
      "234.908703053"
    ],
    [
      "969.108261191",
      "2030.558301688"
    ],
    [
      "1223.717299073",
      "1533.351314289"
    ],
    [
      "1023.583367447",
      "77.201770789"
    ],
    [
      "733.631074174",
      "1099.604646478"
    ],
    [
      "908.108183653",
      "122.616865189"
    ],
    [
      "1286.943448384",
      "1651.940708539"
    ],
    [
      "309.857715923",
      "506.535561472"
    ],
    [
      "1034.948527068",
      "1301.822594211"
    ],
    [
      "2358.876936934",
      "1090.519227015"
    ],
    [
      "2335.250832694",
      "957.602684783"
    ],
    [
      "778.133348987",
      "972.387729487"
    ],
    [
      "1139.481685870",
      "1022.980424039"
    ],
    [
      "825.685831934",
      "1769.674178204"
    ],
    [
      "1370.889290589",
      "813.517019083"
    ],
    [
      "1565.601654724",
      "1599.035690936"
    ],
    [
      "1333.624005048",
      "80.030734862"
    ],
    [
      "1897.323294198",
      "1524.239534835"
    ],
    [
      "1845.578637263",
      "454.421851830"
    ],
    [
      "1960.919976348",
      "353.896355071"
    ],
    [
      "1498.887478951",
      "891.986583396"
    ],
    [
      "86.595594562",
      "1347.617884330"
    ],
    [
      "688.257702611",
      "456.628782625"
    ],
    [
      "1313.796965940",
      "662.900823380"
    ],
    [
      "241.150956782",
      "637.071436398"
    ],
    [
      "409.713769435",
      "615.772773927"
    ],
    [
      "1240.731833515",
      "1390.096340664"
    ],
    [
      "1640.290024306",
      "1251.718284395"
    ],
    [
      "835.283546568",
      "379.561271899"
    ],
    [
      "2227.993607480",
      "1718.588458818"
    ],
    [
      "1171.973608084",
      "90.667894387"
    ],
    [
      "160.181105589",
      "1610.640824905"
    ],
    [
      "1921.299125832",
      "2094.960248478"
    ],
    [
      "1805.523551788",
      "1955.830753204"
    ],
    [
      "230.721620361",
      "1439.654855868"
    ],
    [
      "677.885765911",
      "2202.308143133"
    ],
    [
      "1872.580737010",
      "1691.720406280"
    ],
    [
      "1127.983818414",
      "1656.496185397"
    ],
    [
      "1731.115005579",
      "1564.884106936"
    ],
    [
      "354.031411932",
      "1928.658539217"
    ],
    [
      "1278.118239716",
      "243.407271029"
    ],
    [
      "1590.453006672",
      "1428.840478584"
    ],
    [
      "610.069656444",
      "994.601486666"
    ],
    [
      "1161.032189167",
      "2323.960703607"
    ],
    [
      "1441.194759670",
      "1722.112595608"
    ],
    [
      "1070.313596111",
      "1467.080912887"
    ],
    [
      "340.409560559",
      "1276.981602446"
    ],
    [
      "1787.424328439",
      "1371.932661854"
    ],
    [
      "703.138699363",
      "809.715366062"
    ],
    [
      "599.780299553",
      "621.373279193"
    ],
    [
      "927.704887111",
      "1622.592186168"
    ],
    [
      "2059.256563711",
      "1611.963677877"
    ],
    [
      "1249.188664119",
      "1821.827323958"
    ],
    [
      "1569.088808950",
      "1069.108353299"
    ],
    [
      "1182.470231195",
      "1199.885498858"
    ],
    [
      "1395.458380478",
      "1512.033601849"
    ],
    [
      "1787.553549814",
      "273.498969808"
    ],
    [
      "919.964966117",
      "853.927326532"
    ],
    [
      "672.679161794",
      "259.712141477"
    ],
    [
      "518.519503540",
      "2065.551445240"
    ],
    [
      "339.494349610",
      "1714.087514294"
    ],
    [
      "1638.229027120",
      "452.359773012"
    ],
    [
      "547.332567196",
      "1830.049901782"
    ],
    [
      "2310.370326735",
      "1272.153774301"
    ],
    [
      "1698.176329186",
      "875.135643570"
    ],
    [
      "2268.903228699",
      "1512.604350889"
    ],
    [
      "1785.929608143",
      "645.319712807"
    ],
    [
      "392.645225415",
      "1054.018746083"
    ],
    [
      "471.036178423",
      "815.574080622"
    ],
    [
      "1336.571576615",
      "1017.200591595"
    ],
    [
      "2221.109240809",
      "798.267512888"
    ],
    [
      "1010.136860796",
      "1846.990528046"
    ],
    [
      "482.318826118",
      "415.529157926"
    ],
    [
      "1666.734698342",
      "1782.563173547"
    ],
    [
      "687.711797262",
      "1620.770968847"
    ],
    [
      "1165.986150097",
      "820.984862714"
    ],
    [
      "1529.847060127",
      "682.259369294"
    ],
    [
      "1420.711059690",
      "1265.322632914"
    ],
    [
      "454.989180112",
      "1487.864296813"
    ],
    [
      "1382.242482420",
      "454.984450639"
    ],
    [
      "1956.863232595",
      "844.357610790"
    ],
    [
      "141.947002649",
      "1136.761728278"
    ],
    [
      "846.506064327",
      "609.737257634"
    ],
    [
      "1121.226862404",
      "550.665410647"
    ],
    [
      "1040.165042449",
      "279.523415836"
    ],
    [
      "584.756984254",
      "1240.879849917"
    ],
    [
      "204.726141935",
      "860.682106377"
    ],
    [
      "940.563158887",
      "1113.110108473"
    ],
    [
      "835.191170973",
      "1385.114790631"
    ],
    [
      "768.265059282",
      "1979.975996713"
    ],
    [
      "2141.705711275",
      "1062.598894871"
    ],
    [
      "1404.477485677",
      "2267.089026881"
    ],
    [
      "1460.454218789",
      "1973.375551960"
    ],
    [
      "1176.215787463",
      "2072.418543424"
    ],
    [
      "1690.004732166",
      "2169.616632798"
    ],
    [
      "921.279884804",
      "2238.019526318"
    ],
    [
      "2045.404137841",
      "1348.967080117"
    ],
    [
      "1527.650774839",
      "201.663841406"
    ],
    [
      "2054.796093899",
      "567.148024597"
    ],
    [
      "1840.173526188",
      "1115.297663973"
    ],
    [
      "2042.183974138",
      "1878.417288636"
    ]
  ],
  "radius": "1216.395189387"
}

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

DISCUSSION

讨论区

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