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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2117.424044364y0
0x2117.424044364
已验证构造r = 1058.712022182

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "951.597138203",
      "224.168220300"
    ],
    [
      "529.020994184",
      "240.348697816"
    ],
    [
      "472.437233757",
      "1553.590970306"
    ],
    [
      "86.590244910",
      "1412.304440461"
    ],
    [
      "1775.588131579",
      "681.176109878"
    ],
    [
      "159.873088316",
      "1005.994738925"
    ],
    [
      "479.592434373",
      "1936.572994194"
    ],
    [
      "1870.909273378",
      "1707.665144017"
    ],
    [
      "90.940997343",
      "652.247436835"
    ],
    [
      "1890.392123812",
      "1003.618808449"
    ],
    [
      "742.416993783",
      "358.831499165"
    ],
    [
      "338.127481776",
      "299.614172524"
    ],
    [
      "320.914829599",
      "317.928973162"
    ],
    [
      "1144.735113791",
      "533.303952305"
    ],
    [
      "1336.808703643",
      "1539.117454182"
    ],
    [
      "1599.881157526",
      "503.107674826"
    ],
    [
      "742.925052119",
      "66.112912122"
    ],
    [
      "1404.526090304",
      "369.251366351"
    ],
    [
      "2045.321550167",
      "1386.582095109"
    ],
    [
      "1985.513037245",
      "1527.476575820"
    ],
    [
      "2084.265015495",
      "1216.363760765"
    ],
    [
      "209.321820692",
      "464.520130198"
    ],
    [
      "1746.969418927",
      "1832.498945014"
    ],
    [
      "1319.165524875",
      "57.329797358"
    ],
    [
      "1543.493345944",
      "1971.548827682"
    ],
    [
      "2090.375560162",
      "1015.386491884"
    ],
    [
      "1363.190495049",
      "2044.363543554"
    ],
    [
      "1738.274760463",
      "283.952130356"
    ],
    [
      "30.631074510",
      "1002.327536978"
    ],
    [
      "1562.945065184",
      "162.087927264"
    ],
    [
      "346.129913180",
      "1799.265017225"
    ],
    [
      "185.509743353",
      "1598.763275990"
    ],
    [
      "538.395173664",
      "1942.655193203"
    ],
    [
      "2040.369726569",
      "764.913615416"
    ],
    [
      "1432.489895080",
      "530.082139694"
    ],
    [
      "801.513485444",
      "2048.355780525"
    ],
    [
      "1096.332666315",
      "2079.731191151"
    ],
    [
      "1337.080003688",
      "930.112813787"
    ],
    [
      "1918.917432705",
      "511.117957306"
    ],
    [
      "1296.171157499",
      "630.449434684"
    ],
    [
      "274.728143184",
      "1332.203640793"
    ],
    [
      "490.056256047",
      "215.950627051"
    ],
    [
      "1909.569472127",
      "1053.138293100"
    ],
    [
      "87.675267030",
      "1353.208019052"
    ],
    [
      "66.575804430",
      "1266.745166995"
    ],
    [
      "1837.663685277",
      "833.112942843"
    ],
    [
      "1160.222004629",
      "1484.084243662"
    ],
    [
      "1127.497096131",
      "50.343336937"
    ],
    [
      "1735.299322792",
      "641.580192598"
    ],
    [
      "856.007197502",
      "1822.603300524"
    ],
    [
      "621.688875157",
      "1749.899324541"
    ],
    [
      "1391.073289775",
      "606.591386228"
    ],
    [
      "217.258081141",
      "775.837446331"
    ],
    [
      "272.845367153",
      "867.265306604"
    ],
    [
      "1429.931312783",
      "935.369656902"
    ],
    [
      "692.861760980",
      "125.124861921"
    ],
    [
      "1105.744640641",
      "1719.216474494"
    ],
    [
      "1021.825439106",
      "58.680057032"
    ],
    [
      "111.773699551",
      "738.193784907"
    ],
    [
      "1092.839163516",
      "1835.703933101"
    ],
    [
      "1203.419822809",
      "1786.582473529"
    ],
    [
      "587.830129139",
      "180.244550979"
    ],
    [
      "1234.814814882",
      "78.696594998"
    ],
    [
      "1978.640829108",
      "1437.098311021"
    ],
    [
      "483.442838067",
      "416.095310079"
    ],
    [
      "175.811428245",
      "1286.457561317"
    ],
    [
      "420.337984146",
      "299.875869896"
    ],
    [
      "559.776100223",
      "307.181430847"
    ],
    [
      "422.505456513",
      "1047.777702659"
    ],
    [
      "945.185357218",
      "940.581004108"
    ],
    [
      "489.508671924",
      "783.342187040"
    ],
    [
      "1776.265775801",
      "1735.998686295"
    ],
    [
      "818.335194811",
      "1006.613003813"
    ],
    [
      "1676.368909084",
      "1629.525140186"
    ],
    [
      "986.894784053",
      "801.701296924"
    ],
    [
      "344.881052172",
      "757.039114870"
    ],
    [
      "640.457529275",
      "1321.632797541"
    ],
    [
      "400.055295441",
      "902.502135999"
    ],
    [
      "1506.463064488",
      "1379.453026808"
    ],
    [
      "649.876126699",
      "1478.350027045"
    ],
    [
      "1352.326373242",
      "1048.132084314"
    ],
    [
      "972.440772020",
      "1760.416302464"
    ],
    [
      "1433.895042654",
      "1959.407115640"
    ],
    [
      "274.809128253",
      "1005.251333588"
    ],
    [
      "1720.384197425",
      "774.747527317"
    ],
    [
      "708.247638816",
      "266.288861451"
    ],
    [
      "2002.962263837",
      "1288.062791188"
    ],
    [
      "1619.136289198",
      "266.117251228"
    ],
    [
      "2026.864605690",
      "1113.684569967"
    ],
    [
      "1861.283268700",
      "1181.683252606"
    ],
    [
      "1057.100912834",
      "472.022286695"
    ],
    [
      "1828.604445275",
      "1360.725411049"
    ],
    [
      "326.022172544",
      "429.613227063"
    ],
    [
      "1527.326373245",
      "1048.131362271"
    ],
    [
      "814.825706824",
      "838.630328051"
    ],
    [
      "1560.135389290",
      "858.898103619"
    ],
    [
      "546.803780370",
      "1622.242665573"
    ],
    [
      "1665.222537765",
      "1457.711762177"
    ],
    [
      "1424.963885765",
      "1212.825107163"
    ],
    [
      "1511.759291389",
      "420.805596881"
    ],
    [
      "1365.406903299",
      "1788.628385208"
    ],
    [
      "528.783280454",
      "1181.740474125"
    ],
    [
      "1085.447441707",
      "1354.050537488"
    ],
    [
      "118.320678332",
      "901.062250455"
    ],
    [
      "480.944477597",
      "1817.182417185"
    ],
    [
      "736.160137498",
      "1165.651994928"
    ],
    [
      "319.981151073",
      "1190.832820690"
    ],
    [
      "196.640058847",
      "1459.206419916"
    ],
    [
      "1239.606868344",
      "1620.478597187"
    ],
    [
      "655.023115352",
      "710.089412234"
    ],
    [
      "1216.916996528",
      "1184.250785112"
    ],
    [
      "113.796983538",
      "1117.014875323"
    ],
    [
      "226.300109301",
      "609.867242563"
    ],
    [
      "880.619536516",
      "367.718289581"
    ],
    [
      "1854.412594662",
      "1566.110267905"
    ],
    [
      "1020.718741264",
      "1568.392247497"
    ],
    [
      "865.438596550",
      "137.217662544"
    ],
    [
      "456.950751487",
      "597.167586675"
    ],
    [
      "1362.128146645",
      "775.123812453"
    ],
    [
      "1985.383148250",
      "908.842463239"
    ],
    [
      "330.341180324",
      "1648.087254591"
    ],
    [
      "1306.451425315",
      "1399.361421907"
    ],
    [
      "1563.122693750",
      "638.606524309"
    ],
    [
      "1137.391867324",
      "671.499855048"
    ],
    [
      "665.819676388",
      "472.979132192"
    ],
    [
      "1906.944306411",
      "675.682972564"
    ],
    [
      "1650.161708585",
      "1231.849843628"
    ],
    [
      "1223.436931171",
      "1974.519471956"
    ],
    [
      "1593.349712752",
      "1819.321635590"
    ],
    [
      "1476.987066754",
      "1586.364035597"
    ],
    [
      "699.913205712",
      "1914.231165977"
    ],
    [
      "1745.980634702",
      "990.979687340"
    ],
    [
      "1280.670650667",
      "458.145243533"
    ],
    [
      "975.204152582",
      "1144.252021733"
    ],
    [
      "958.410421473",
      "1976.962254317"
    ],
    [
      "883.017525054",
      "617.706788624"
    ],
    [
      "781.600175442",
      "1651.043995694"
    ],
    [
      "846.285668624",
      "1383.759901550"
    ],
    [
      "610.828495392",
      "955.136011001"
    ],
    [
      "1749.573879095",
      "453.120018972"
    ],
    [
      "440.338833496",
      "1408.099598111"
    ],
    [
      "1157.202822420",
      "936.761096203"
    ],
    [
      "1395.754212222",
      "207.283182113"
    ],
    [
      "1106.649584873",
      "242.042439136"
    ]
  ],
  "radius": "1058.712022182"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 144
}

当前第一名的答案

{
  "centers": [
    [
      "951.597138203",
      "224.168220300"
    ],
    [
      "529.020994184",
      "240.348697816"
    ],
    [
      "472.437233757",
      "1553.590970306"
    ],
    [
      "86.590244910",
      "1412.304440461"
    ],
    [
      "1775.588131579",
      "681.176109878"
    ],
    [
      "159.873088316",
      "1005.994738925"
    ],
    [
      "479.592434373",
      "1936.572994194"
    ],
    [
      "1870.909273378",
      "1707.665144017"
    ],
    [
      "90.940997343",
      "652.247436835"
    ],
    [
      "1890.392123812",
      "1003.618808449"
    ],
    [
      "742.416993783",
      "358.831499165"
    ],
    [
      "338.127481776",
      "299.614172524"
    ],
    [
      "320.914829599",
      "317.928973162"
    ],
    [
      "1144.735113791",
      "533.303952305"
    ],
    [
      "1336.808703643",
      "1539.117454182"
    ],
    [
      "1599.881157526",
      "503.107674826"
    ],
    [
      "742.925052119",
      "66.112912122"
    ],
    [
      "1404.526090304",
      "369.251366351"
    ],
    [
      "2045.321550167",
      "1386.582095109"
    ],
    [
      "1985.513037245",
      "1527.476575820"
    ],
    [
      "2084.265015495",
      "1216.363760765"
    ],
    [
      "209.321820692",
      "464.520130198"
    ],
    [
      "1746.969418927",
      "1832.498945014"
    ],
    [
      "1319.165524875",
      "57.329797358"
    ],
    [
      "1543.493345944",
      "1971.548827682"
    ],
    [
      "2090.375560162",
      "1015.386491884"
    ],
    [
      "1363.190495049",
      "2044.363543554"
    ],
    [
      "1738.274760463",
      "283.952130356"
    ],
    [
      "30.631074510",
      "1002.327536978"
    ],
    [
      "1562.945065184",
      "162.087927264"
    ],
    [
      "346.129913180",
      "1799.265017225"
    ],
    [
      "185.509743353",
      "1598.763275990"
    ],
    [
      "538.395173664",
      "1942.655193203"
    ],
    [
      "2040.369726569",
      "764.913615416"
    ],
    [
      "1432.489895080",
      "530.082139694"
    ],
    [
      "801.513485444",
      "2048.355780525"
    ],
    [
      "1096.332666315",
      "2079.731191151"
    ],
    [
      "1337.080003688",
      "930.112813787"
    ],
    [
      "1918.917432705",
      "511.117957306"
    ],
    [
      "1296.171157499",
      "630.449434684"
    ],
    [
      "274.728143184",
      "1332.203640793"
    ],
    [
      "490.056256047",
      "215.950627051"
    ],
    [
      "1909.569472127",
      "1053.138293100"
    ],
    [
      "87.675267030",
      "1353.208019052"
    ],
    [
      "66.575804430",
      "1266.745166995"
    ],
    [
      "1837.663685277",
      "833.112942843"
    ],
    [
      "1160.222004629",
      "1484.084243662"
    ],
    [
      "1127.497096131",
      "50.343336937"
    ],
    [
      "1735.299322792",
      "641.580192598"
    ],
    [
      "856.007197502",
      "1822.603300524"
    ],
    [
      "621.688875157",
      "1749.899324541"
    ],
    [
      "1391.073289775",
      "606.591386228"
    ],
    [
      "217.258081141",
      "775.837446331"
    ],
    [
      "272.845367153",
      "867.265306604"
    ],
    [
      "1429.931312783",
      "935.369656902"
    ],
    [
      "692.861760980",
      "125.124861921"
    ],
    [
      "1105.744640641",
      "1719.216474494"
    ],
    [
      "1021.825439106",
      "58.680057032"
    ],
    [
      "111.773699551",
      "738.193784907"
    ],
    [
      "1092.839163516",
      "1835.703933101"
    ],
    [
      "1203.419822809",
      "1786.582473529"
    ],
    [
      "587.830129139",
      "180.244550979"
    ],
    [
      "1234.814814882",
      "78.696594998"
    ],
    [
      "1978.640829108",
      "1437.098311021"
    ],
    [
      "483.442838067",
      "416.095310079"
    ],
    [
      "175.811428245",
      "1286.457561317"
    ],
    [
      "420.337984146",
      "299.875869896"
    ],
    [
      "559.776100223",
      "307.181430847"
    ],
    [
      "422.505456513",
      "1047.777702659"
    ],
    [
      "945.185357218",
      "940.581004108"
    ],
    [
      "489.508671924",
      "783.342187040"
    ],
    [
      "1776.265775801",
      "1735.998686295"
    ],
    [
      "818.335194811",
      "1006.613003813"
    ],
    [
      "1676.368909084",
      "1629.525140186"
    ],
    [
      "986.894784053",
      "801.701296924"
    ],
    [
      "344.881052172",
      "757.039114870"
    ],
    [
      "640.457529275",
      "1321.632797541"
    ],
    [
      "400.055295441",
      "902.502135999"
    ],
    [
      "1506.463064488",
      "1379.453026808"
    ],
    [
      "649.876126699",
      "1478.350027045"
    ],
    [
      "1352.326373242",
      "1048.132084314"
    ],
    [
      "972.440772020",
      "1760.416302464"
    ],
    [
      "1433.895042654",
      "1959.407115640"
    ],
    [
      "274.809128253",
      "1005.251333588"
    ],
    [
      "1720.384197425",
      "774.747527317"
    ],
    [
      "708.247638816",
      "266.288861451"
    ],
    [
      "2002.962263837",
      "1288.062791188"
    ],
    [
      "1619.136289198",
      "266.117251228"
    ],
    [
      "2026.864605690",
      "1113.684569967"
    ],
    [
      "1861.283268700",
      "1181.683252606"
    ],
    [
      "1057.100912834",
      "472.022286695"
    ],
    [
      "1828.604445275",
      "1360.725411049"
    ],
    [
      "326.022172544",
      "429.613227063"
    ],
    [
      "1527.326373245",
      "1048.131362271"
    ],
    [
      "814.825706824",
      "838.630328051"
    ],
    [
      "1560.135389290",
      "858.898103619"
    ],
    [
      "546.803780370",
      "1622.242665573"
    ],
    [
      "1665.222537765",
      "1457.711762177"
    ],
    [
      "1424.963885765",
      "1212.825107163"
    ],
    [
      "1511.759291389",
      "420.805596881"
    ],
    [
      "1365.406903299",
      "1788.628385208"
    ],
    [
      "528.783280454",
      "1181.740474125"
    ],
    [
      "1085.447441707",
      "1354.050537488"
    ],
    [
      "118.320678332",
      "901.062250455"
    ],
    [
      "480.944477597",
      "1817.182417185"
    ],
    [
      "736.160137498",
      "1165.651994928"
    ],
    [
      "319.981151073",
      "1190.832820690"
    ],
    [
      "196.640058847",
      "1459.206419916"
    ],
    [
      "1239.606868344",
      "1620.478597187"
    ],
    [
      "655.023115352",
      "710.089412234"
    ],
    [
      "1216.916996528",
      "1184.250785112"
    ],
    [
      "113.796983538",
      "1117.014875323"
    ],
    [
      "226.300109301",
      "609.867242563"
    ],
    [
      "880.619536516",
      "367.718289581"
    ],
    [
      "1854.412594662",
      "1566.110267905"
    ],
    [
      "1020.718741264",
      "1568.392247497"
    ],
    [
      "865.438596550",
      "137.217662544"
    ],
    [
      "456.950751487",
      "597.167586675"
    ],
    [
      "1362.128146645",
      "775.123812453"
    ],
    [
      "1985.383148250",
      "908.842463239"
    ],
    [
      "330.341180324",
      "1648.087254591"
    ],
    [
      "1306.451425315",
      "1399.361421907"
    ],
    [
      "1563.122693750",
      "638.606524309"
    ],
    [
      "1137.391867324",
      "671.499855048"
    ],
    [
      "665.819676388",
      "472.979132192"
    ],
    [
      "1906.944306411",
      "675.682972564"
    ],
    [
      "1650.161708585",
      "1231.849843628"
    ],
    [
      "1223.436931171",
      "1974.519471956"
    ],
    [
      "1593.349712752",
      "1819.321635590"
    ],
    [
      "1476.987066754",
      "1586.364035597"
    ],
    [
      "699.913205712",
      "1914.231165977"
    ],
    [
      "1745.980634702",
      "990.979687340"
    ],
    [
      "1280.670650667",
      "458.145243533"
    ],
    [
      "975.204152582",
      "1144.252021733"
    ],
    [
      "958.410421473",
      "1976.962254317"
    ],
    [
      "883.017525054",
      "617.706788624"
    ],
    [
      "781.600175442",
      "1651.043995694"
    ],
    [
      "846.285668624",
      "1383.759901550"
    ],
    [
      "610.828495392",
      "955.136011001"
    ],
    [
      "1749.573879095",
      "453.120018972"
    ],
    [
      "440.338833496",
      "1408.099598111"
    ],
    [
      "1157.202822420",
      "936.761096203"
    ],
    [
      "1395.754212222",
      "207.283182113"
    ],
    [
      "1106.649584873",
      "242.042439136"
    ]
  ],
  "radius": "1058.712022182"
}

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

DISCUSSION

讨论区

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