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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2249.911236596y0
0x2249.911236596
已验证构造r = 1124.955618298

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "159.633801712",
      "1687.461620127"
    ],
    [
      "11.667651020",
      "1271.906358933"
    ],
    [
      "1740.008565694",
      "1506.208714954"
    ],
    [
      "1185.736935608",
      "2244.240127655"
    ],
    [
      "658.142540020",
      "737.230033591"
    ],
    [
      "728.829419796",
      "152.328896617"
    ],
    [
      "447.434968196",
      "877.049492169"
    ],
    [
      "105.355343221",
      "1580.923656516"
    ],
    [
      "60.011930683",
      "791.576827664"
    ],
    [
      "647.650177300",
      "1732.315784581"
    ],
    [
      "677.434562290",
      "998.559387943"
    ],
    [
      "1979.397131114",
      "419.733760267"
    ],
    [
      "1547.116785488",
      "1238.061556431"
    ],
    [
      "879.405673846",
      "1728.695487769"
    ],
    [
      "661.807442055",
      "116.276352521"
    ],
    [
      "1322.372662955",
      "1278.057572710"
    ],
    [
      "1614.547862411",
      "138.850668941"
    ],
    [
      "898.833977166",
      "1572.759860762"
    ],
    [
      "66.603005403",
      "1445.574497279"
    ],
    [
      "1586.087397604",
      "2128.968240858"
    ],
    [
      "2175.248257137",
      "1450.320780276"
    ],
    [
      "1440.163111622",
      "68.126181810"
    ],
    [
      "1130.031035413",
      "2226.773059385"
    ],
    [
      "1900.099242597",
      "1906.721710953"
    ],
    [
      "33.074655622",
      "992.302131192"
    ],
    [
      "27.866571727",
      "1186.476550263"
    ],
    [
      "1785.276571779",
      "252.765719639"
    ],
    [
      "1676.951007119",
      "1010.481857052"
    ],
    [
      "920.794040282",
      "48.346488911"
    ],
    [
      "706.775664222",
      "113.062096563"
    ],
    [
      "1349.550784142",
      "2195.605664484"
    ],
    [
      "342.085402845",
      "1887.541529563"
    ],
    [
      "544.621159607",
      "2049.930746822"
    ],
    [
      "1213.236052358",
      "37.577705125"
    ],
    [
      "98.988941549",
      "757.185322498"
    ],
    [
      "2062.004572594",
      "1679.707041656"
    ],
    [
      "2158.323618679",
      "784.664561738"
    ],
    [
      "458.832852289",
      "266.030140302"
    ],
    [
      "630.501205056",
      "880.901471878"
    ],
    [
      "249.723315745",
      "483.787067726"
    ],
    [
      "976.302705900",
      "467.900798418"
    ],
    [
      "1915.673593362",
      "578.508717643"
    ],
    [
      "1858.505211773",
      "1139.441458970"
    ],
    [
      "440.745772894",
      "608.894843832"
    ],
    [
      "2200.975122397",
      "1217.075997602"
    ],
    [
      "908.114712924",
      "2181.897077420"
    ],
    [
      "435.318272608",
      "1606.098309141"
    ],
    [
      "816.950367716",
      "2156.835261205"
    ],
    [
      "1736.259306604",
      "2010.386752383"
    ],
    [
      "1184.725249584",
      "1765.926984116"
    ],
    [
      "1280.321760582",
      "1999.205835413"
    ],
    [
      "2197.900361272",
      "1120.124742560"
    ],
    [
      "703.540832398",
      "936.840839393"
    ],
    [
      "723.829637916",
      "1445.379539478"
    ],
    [
      "1518.128256475",
      "299.138578453"
    ],
    [
      "1698.242254310",
      "929.041049478"
    ],
    [
      "1770.583733112",
      "842.232579585"
    ],
    [
      "542.496854093",
      "577.770796378"
    ],
    [
      "1958.222942673",
      "1117.985127845"
    ],
    [
      "1634.554503093",
      "2059.966632131"
    ],
    [
      "1996.285893218",
      "514.394311209"
    ],
    [
      "184.722198113",
      "1620.773893513"
    ],
    [
      "1815.770147848",
      "1931.506931603"
    ],
    [
      "132.243120903",
      "1499.220279402"
    ],
    [
      "1401.892274713",
      "269.319179668"
    ],
    [
      "611.540543175",
      "474.756382100"
    ],
    [
      "742.885214418",
      "453.838032799"
    ],
    [
      "1388.127320533",
      "973.133717985"
    ],
    [
      "1219.753565557",
      "474.284718853"
    ],
    [
      "1450.597848698",
      "850.083187261"
    ],
    [
      "1554.682652291",
      "1477.943021074"
    ],
    [
      "1600.025655637",
      "396.204617883"
    ],
    [
      "1900.275362688",
      "833.283768581"
    ],
    [
      "739.406761950",
      "1058.671193154"
    ],
    [
      "1278.096370282",
      "606.359127767"
    ],
    [
      "2084.095692789",
      "1178.712261982"
    ],
    [
      "1546.448093597",
      "1329.618146568"
    ],
    [
      "669.294663929",
      "1823.722320059"
    ],
    [
      "1256.304209025",
      "1038.184984481"
    ],
    [
      "720.213367533",
      "802.717535512"
    ],
    [
      "1024.154765507",
      "814.364650734"
    ],
    [
      "82.605088247",
      "1089.566514677"
    ],
    [
      "1845.761516898",
      "1513.586390313"
    ],
    [
      "905.634284491",
      "2051.920743132"
    ],
    [
      "870.100153875",
      "537.026729039"
    ],
    [
      "1506.549834469",
      "158.614772128"
    ],
    [
      "1039.098124332",
      "2158.824454324"
    ],
    [
      "340.905426236",
      "891.164019166"
    ],
    [
      "2139.190265622",
      "1335.981975061"
    ],
    [
      "1081.423573006",
      "389.280534005"
    ],
    [
      "1144.427315628",
      "1474.951145317"
    ],
    [
      "1663.295308003",
      "243.411519721"
    ],
    [
      "827.696410784",
      "136.740377735"
    ],
    [
      "1249.262594925",
      "313.874548020"
    ],
    [
      "541.019333226",
      "1700.920699878"
    ],
    [
      "875.047271972",
      "717.959108737"
    ],
    [
      "1704.889536960",
      "1401.536913419"
    ],
    [
      "1553.857008498",
      "982.603170349"
    ],
    [
      "1439.315642691",
      "681.460200015"
    ],
    [
      "1257.979476765",
      "1629.227875363"
    ],
    [
      "1840.004949775",
      "996.512066773"
    ],
    [
      "1227.414780598",
      "2142.767151475"
    ],
    [
      "1321.129356849",
      "122.005395173"
    ],
    [
      "700.194404133",
      "619.809796187"
    ],
    [
      "1679.836702458",
      "1601.977317239"
    ],
    [
      "1613.987268760",
      "574.088348909"
    ],
    [
      "1616.072573890",
      "787.257115258"
    ],
    [
      "1073.967956001",
      "996.682082852"
    ],
    [
      "1803.017122403",
      "679.054824239"
    ],
    [
      "1467.811721030",
      "1637.620090012"
    ],
    [
      "867.098691660",
      "924.806443921"
    ],
    [
      "276.993662316",
      "1080.697436211"
    ],
    [
      "857.674794929",
      "1856.806458549"
    ],
    [
      "138.946174898",
      "901.759203242"
    ],
    [
      "882.789074144",
      "337.429656656"
    ],
    [
      "906.715936250",
      "1148.713628679"
    ],
    [
      "313.430312199",
      "1496.374450713"
    ],
    [
      "492.318188280",
      "1908.278358241"
    ],
    [
      "2047.788318862",
      "1525.319139260"
    ],
    [
      "2031.656316448",
      "691.904686007"
    ],
    [
      "327.647802249",
      "1735.059814300"
    ],
    [
      "552.106892633",
      "1483.945051988"
    ],
    [
      "699.591500701",
      "2032.036798641"
    ],
    [
      "1344.090229353",
      "1836.237794403"
    ],
    [
      "1413.294141722",
      "458.976759085"
    ],
    [
      "517.704382191",
      "760.477733553"
    ],
    [
      "417.253040169",
      "1274.623397062"
    ],
    [
      "1445.326620670",
      "2068.672930309"
    ],
    [
      "1419.023228044",
      "1167.750840905"
    ],
    [
      "1073.115010720",
      "609.123586643"
    ],
    [
      "1360.103269745",
      "1422.028138581"
    ],
    [
      "757.666085163",
      "1633.147660433"
    ],
    [
      "1685.608543350",
      "1172.346505053"
    ],
    [
      "416.029792434",
      "432.619149788"
    ],
    [
      "1917.001351221",
      "1307.555115973"
    ],
    [
      "680.778437932",
      "1260.321186020"
    ],
    [
      "1024.298967497",
      "1668.755328971"
    ],
    [
      "153.277816783",
      "1297.940133590"
    ],
    [
      "1244.130287369",
      "817.646385338"
    ],
    [
      "636.781425846",
      "270.308594524"
    ],
    [
      "1098.822294977",
      "1936.580409316"
    ],
    [
      "525.543682494",
      "1028.363054874"
    ],
    [
      "1813.153881302",
      "424.512910397"
    ],
    [
      "918.362660908",
      "1408.489121125"
    ],
    [
      "1890.086559659",
      "1737.236318962"
    ],
    [
      "1153.006747949",
      "1238.071538645"
    ],
    [
      "259.955962704",
      "670.506892429"
    ],
    [
      "2085.472116286",
      "954.716490863"
    ],
    [
      "1069.299881364",
      "150.588229768"
    ],
    [
      "1617.716305726",
      "1850.547592777"
    ]
  ],
  "radius": "1124.955618298"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 150
}

当前第一名的答案

{
  "centers": [
    [
      "159.633801712",
      "1687.461620127"
    ],
    [
      "11.667651020",
      "1271.906358933"
    ],
    [
      "1740.008565694",
      "1506.208714954"
    ],
    [
      "1185.736935608",
      "2244.240127655"
    ],
    [
      "658.142540020",
      "737.230033591"
    ],
    [
      "728.829419796",
      "152.328896617"
    ],
    [
      "447.434968196",
      "877.049492169"
    ],
    [
      "105.355343221",
      "1580.923656516"
    ],
    [
      "60.011930683",
      "791.576827664"
    ],
    [
      "647.650177300",
      "1732.315784581"
    ],
    [
      "677.434562290",
      "998.559387943"
    ],
    [
      "1979.397131114",
      "419.733760267"
    ],
    [
      "1547.116785488",
      "1238.061556431"
    ],
    [
      "879.405673846",
      "1728.695487769"
    ],
    [
      "661.807442055",
      "116.276352521"
    ],
    [
      "1322.372662955",
      "1278.057572710"
    ],
    [
      "1614.547862411",
      "138.850668941"
    ],
    [
      "898.833977166",
      "1572.759860762"
    ],
    [
      "66.603005403",
      "1445.574497279"
    ],
    [
      "1586.087397604",
      "2128.968240858"
    ],
    [
      "2175.248257137",
      "1450.320780276"
    ],
    [
      "1440.163111622",
      "68.126181810"
    ],
    [
      "1130.031035413",
      "2226.773059385"
    ],
    [
      "1900.099242597",
      "1906.721710953"
    ],
    [
      "33.074655622",
      "992.302131192"
    ],
    [
      "27.866571727",
      "1186.476550263"
    ],
    [
      "1785.276571779",
      "252.765719639"
    ],
    [
      "1676.951007119",
      "1010.481857052"
    ],
    [
      "920.794040282",
      "48.346488911"
    ],
    [
      "706.775664222",
      "113.062096563"
    ],
    [
      "1349.550784142",
      "2195.605664484"
    ],
    [
      "342.085402845",
      "1887.541529563"
    ],
    [
      "544.621159607",
      "2049.930746822"
    ],
    [
      "1213.236052358",
      "37.577705125"
    ],
    [
      "98.988941549",
      "757.185322498"
    ],
    [
      "2062.004572594",
      "1679.707041656"
    ],
    [
      "2158.323618679",
      "784.664561738"
    ],
    [
      "458.832852289",
      "266.030140302"
    ],
    [
      "630.501205056",
      "880.901471878"
    ],
    [
      "249.723315745",
      "483.787067726"
    ],
    [
      "976.302705900",
      "467.900798418"
    ],
    [
      "1915.673593362",
      "578.508717643"
    ],
    [
      "1858.505211773",
      "1139.441458970"
    ],
    [
      "440.745772894",
      "608.894843832"
    ],
    [
      "2200.975122397",
      "1217.075997602"
    ],
    [
      "908.114712924",
      "2181.897077420"
    ],
    [
      "435.318272608",
      "1606.098309141"
    ],
    [
      "816.950367716",
      "2156.835261205"
    ],
    [
      "1736.259306604",
      "2010.386752383"
    ],
    [
      "1184.725249584",
      "1765.926984116"
    ],
    [
      "1280.321760582",
      "1999.205835413"
    ],
    [
      "2197.900361272",
      "1120.124742560"
    ],
    [
      "703.540832398",
      "936.840839393"
    ],
    [
      "723.829637916",
      "1445.379539478"
    ],
    [
      "1518.128256475",
      "299.138578453"
    ],
    [
      "1698.242254310",
      "929.041049478"
    ],
    [
      "1770.583733112",
      "842.232579585"
    ],
    [
      "542.496854093",
      "577.770796378"
    ],
    [
      "1958.222942673",
      "1117.985127845"
    ],
    [
      "1634.554503093",
      "2059.966632131"
    ],
    [
      "1996.285893218",
      "514.394311209"
    ],
    [
      "184.722198113",
      "1620.773893513"
    ],
    [
      "1815.770147848",
      "1931.506931603"
    ],
    [
      "132.243120903",
      "1499.220279402"
    ],
    [
      "1401.892274713",
      "269.319179668"
    ],
    [
      "611.540543175",
      "474.756382100"
    ],
    [
      "742.885214418",
      "453.838032799"
    ],
    [
      "1388.127320533",
      "973.133717985"
    ],
    [
      "1219.753565557",
      "474.284718853"
    ],
    [
      "1450.597848698",
      "850.083187261"
    ],
    [
      "1554.682652291",
      "1477.943021074"
    ],
    [
      "1600.025655637",
      "396.204617883"
    ],
    [
      "1900.275362688",
      "833.283768581"
    ],
    [
      "739.406761950",
      "1058.671193154"
    ],
    [
      "1278.096370282",
      "606.359127767"
    ],
    [
      "2084.095692789",
      "1178.712261982"
    ],
    [
      "1546.448093597",
      "1329.618146568"
    ],
    [
      "669.294663929",
      "1823.722320059"
    ],
    [
      "1256.304209025",
      "1038.184984481"
    ],
    [
      "720.213367533",
      "802.717535512"
    ],
    [
      "1024.154765507",
      "814.364650734"
    ],
    [
      "82.605088247",
      "1089.566514677"
    ],
    [
      "1845.761516898",
      "1513.586390313"
    ],
    [
      "905.634284491",
      "2051.920743132"
    ],
    [
      "870.100153875",
      "537.026729039"
    ],
    [
      "1506.549834469",
      "158.614772128"
    ],
    [
      "1039.098124332",
      "2158.824454324"
    ],
    [
      "340.905426236",
      "891.164019166"
    ],
    [
      "2139.190265622",
      "1335.981975061"
    ],
    [
      "1081.423573006",
      "389.280534005"
    ],
    [
      "1144.427315628",
      "1474.951145317"
    ],
    [
      "1663.295308003",
      "243.411519721"
    ],
    [
      "827.696410784",
      "136.740377735"
    ],
    [
      "1249.262594925",
      "313.874548020"
    ],
    [
      "541.019333226",
      "1700.920699878"
    ],
    [
      "875.047271972",
      "717.959108737"
    ],
    [
      "1704.889536960",
      "1401.536913419"
    ],
    [
      "1553.857008498",
      "982.603170349"
    ],
    [
      "1439.315642691",
      "681.460200015"
    ],
    [
      "1257.979476765",
      "1629.227875363"
    ],
    [
      "1840.004949775",
      "996.512066773"
    ],
    [
      "1227.414780598",
      "2142.767151475"
    ],
    [
      "1321.129356849",
      "122.005395173"
    ],
    [
      "700.194404133",
      "619.809796187"
    ],
    [
      "1679.836702458",
      "1601.977317239"
    ],
    [
      "1613.987268760",
      "574.088348909"
    ],
    [
      "1616.072573890",
      "787.257115258"
    ],
    [
      "1073.967956001",
      "996.682082852"
    ],
    [
      "1803.017122403",
      "679.054824239"
    ],
    [
      "1467.811721030",
      "1637.620090012"
    ],
    [
      "867.098691660",
      "924.806443921"
    ],
    [
      "276.993662316",
      "1080.697436211"
    ],
    [
      "857.674794929",
      "1856.806458549"
    ],
    [
      "138.946174898",
      "901.759203242"
    ],
    [
      "882.789074144",
      "337.429656656"
    ],
    [
      "906.715936250",
      "1148.713628679"
    ],
    [
      "313.430312199",
      "1496.374450713"
    ],
    [
      "492.318188280",
      "1908.278358241"
    ],
    [
      "2047.788318862",
      "1525.319139260"
    ],
    [
      "2031.656316448",
      "691.904686007"
    ],
    [
      "327.647802249",
      "1735.059814300"
    ],
    [
      "552.106892633",
      "1483.945051988"
    ],
    [
      "699.591500701",
      "2032.036798641"
    ],
    [
      "1344.090229353",
      "1836.237794403"
    ],
    [
      "1413.294141722",
      "458.976759085"
    ],
    [
      "517.704382191",
      "760.477733553"
    ],
    [
      "417.253040169",
      "1274.623397062"
    ],
    [
      "1445.326620670",
      "2068.672930309"
    ],
    [
      "1419.023228044",
      "1167.750840905"
    ],
    [
      "1073.115010720",
      "609.123586643"
    ],
    [
      "1360.103269745",
      "1422.028138581"
    ],
    [
      "757.666085163",
      "1633.147660433"
    ],
    [
      "1685.608543350",
      "1172.346505053"
    ],
    [
      "416.029792434",
      "432.619149788"
    ],
    [
      "1917.001351221",
      "1307.555115973"
    ],
    [
      "680.778437932",
      "1260.321186020"
    ],
    [
      "1024.298967497",
      "1668.755328971"
    ],
    [
      "153.277816783",
      "1297.940133590"
    ],
    [
      "1244.130287369",
      "817.646385338"
    ],
    [
      "636.781425846",
      "270.308594524"
    ],
    [
      "1098.822294977",
      "1936.580409316"
    ],
    [
      "525.543682494",
      "1028.363054874"
    ],
    [
      "1813.153881302",
      "424.512910397"
    ],
    [
      "918.362660908",
      "1408.489121125"
    ],
    [
      "1890.086559659",
      "1737.236318962"
    ],
    [
      "1153.006747949",
      "1238.071538645"
    ],
    [
      "259.955962704",
      "670.506892429"
    ],
    [
      "2085.472116286",
      "954.716490863"
    ],
    [
      "1069.299881364",
      "150.588229768"
    ],
    [
      "1617.716305726",
      "1850.547592777"
    ]
  ],
  "radius": "1124.955618298"
}

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

DISCUSSION

讨论区

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