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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2361.762867988y0
0x2361.762867988
已验证构造r = 1180.881433994

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1270.869116464",
      "2354.018119371"
    ],
    [
      "1215.916228457",
      "100.811957916"
    ],
    [
      "1251.533058973",
      "711.202434322"
    ],
    [
      "29.791005324",
      "935.957282207"
    ],
    [
      "1646.984271667",
      "102.336199219"
    ],
    [
      "1145.355492009",
      "1000.289447810"
    ],
    [
      "976.885667936",
      "1944.752521808"
    ],
    [
      "1616.188738020",
      "106.996825410"
    ],
    [
      "1809.270016033",
      "519.321104474"
    ],
    [
      "56.716246374",
      "1508.118966800"
    ],
    [
      "1237.883386217",
      "714.651337741"
    ],
    [
      "1021.032046845",
      "1288.867070067"
    ],
    [
      "1897.740684826",
      "646.965674488"
    ],
    [
      "808.006719919",
      "1757.168504646"
    ],
    [
      "1654.419777416",
      "1914.593871664"
    ],
    [
      "469.754260801",
      "1843.862221024"
    ],
    [
      "2344.621480135",
      "1187.375616629"
    ],
    [
      "2319.310514825",
      "1417.603361317"
    ],
    [
      "2067.469876538",
      "1931.294366223"
    ],
    [
      "40.450283913",
      "964.002651673"
    ],
    [
      "985.268778145",
      "38.299947239"
    ],
    [
      "623.056775106",
      "1158.708523568"
    ],
    [
      "871.119070615",
      "2296.492305764"
    ],
    [
      "98.913976362",
      "771.724845844"
    ],
    [
      "587.000618672",
      "2172.366577906"
    ],
    [
      "349.780658411",
      "384.145479691"
    ],
    [
      "505.549019229",
      "245.363344187"
    ],
    [
      "187.469199406",
      "596.099467614"
    ],
    [
      "63.504340915",
      "1460.474106556"
    ],
    [
      "1100.800414719",
      "2328.972802656"
    ],
    [
      "2179.078063748",
      "1751.578425893"
    ],
    [
      "1592.877106316",
      "2253.349669124"
    ],
    [
      "1331.950234724",
      "2318.778619136"
    ],
    [
      "2218.817453614",
      "693.002511706"
    ],
    [
      "729.514090272",
      "127.681455924"
    ],
    [
      "365.834211555",
      "1984.903525169"
    ],
    [
      "1841.197766470",
      "246.832679324"
    ],
    [
      "2052.592761663",
      "441.762138223"
    ],
    [
      "969.863964140",
      "1295.382312984"
    ],
    [
      "913.249724062",
      "1240.283966181"
    ],
    [
      "2284.492225740",
      "1465.828682371"
    ],
    [
      "1132.390981031",
      "2140.493304049"
    ],
    [
      "565.652422790",
      "903.381276504"
    ],
    [
      "1875.182888425",
      "1389.954360797"
    ],
    [
      "1272.139331194",
      "1666.434095177"
    ],
    [
      "1984.062004528",
      "1694.548007880"
    ],
    [
      "468.559736411",
      "1563.993407119"
    ],
    [
      "1891.414765186",
      "2063.243450829"
    ],
    [
      "1531.526046257",
      "383.447564745"
    ],
    [
      "1811.328923674",
      "2119.725819666"
    ],
    [
      "1264.344456511",
      "1115.094828928"
    ],
    [
      "1174.655351714",
      "52.017169383"
    ],
    [
      "1429.594497870",
      "80.764012532"
    ],
    [
      "933.031153058",
      "991.196673076"
    ],
    [
      "503.018839909",
      "671.525685794"
    ],
    [
      "454.535542618",
      "1210.569231286"
    ],
    [
      "2282.356295505",
      "957.743310131"
    ],
    [
      "1855.110617267",
      "589.437359584"
    ],
    [
      "1535.709764694",
      "116.590680642"
    ],
    [
      "1063.468172294",
      "66.167721751"
    ],
    [
      "69.700508305",
      "1041.584264984"
    ],
    [
      "62.095303514",
      "1169.249284948"
    ],
    [
      "940.939536534",
      "598.243711149"
    ],
    [
      "837.279853540",
      "524.870213736"
    ],
    [
      "2292.920435486",
      "1088.357740337"
    ],
    [
      "668.816446880",
      "939.867391710"
    ],
    [
      "808.827310439",
      "2230.789800539"
    ],
    [
      "944.546093334",
      "729.194055740"
    ],
    [
      "205.599623372",
      "1714.834346832"
    ],
    [
      "683.959866036",
      "2174.423841588"
    ],
    [
      "1385.680772405",
      "1988.042067637"
    ],
    [
      "1441.311403452",
      "1856.286079187"
    ],
    [
      "1435.492091693",
      "458.697159521"
    ],
    [
      "1234.096027910",
      "806.077509684"
    ],
    [
      "1500.983283928",
      "1565.373854614"
    ],
    [
      "1995.447390428",
      "1409.557290274"
    ],
    [
      "1299.634157586",
      "83.974924230"
    ],
    [
      "1374.205256382",
      "865.013102474"
    ],
    [
      "1647.496681663",
      "1517.941541945"
    ],
    [
      "2026.644939177",
      "845.966388937"
    ],
    [
      "807.495611901",
      "382.962148599"
    ],
    [
      "1922.103684207",
      "969.720685870"
    ],
    [
      "1961.688206262",
      "1952.687385959"
    ],
    [
      "955.257777438",
      "1571.322354250"
    ],
    [
      "191.135049784",
      "710.394226608"
    ],
    [
      "802.093702899",
      "670.684941407"
    ],
    [
      "1669.091220910",
      "1203.520740931"
    ],
    [
      "1401.853086538",
      "1695.816771614"
    ],
    [
      "465.594448161",
      "355.915014194"
    ],
    [
      "1247.457826885",
      "2070.606545359"
    ],
    [
      "732.397021654",
      "1834.990527136"
    ],
    [
      "344.452326916",
      "1633.342465475"
    ],
    [
      "1241.544142230",
      "972.911335973"
    ],
    [
      "1738.537208276",
      "1370.668145455"
    ],
    [
      "2066.691349082",
      "1808.957291691"
    ],
    [
      "1875.389171148",
      "1795.864311960"
    ],
    [
      "1667.033649499",
      "2147.794910332"
    ],
    [
      "2203.295095915",
      "824.086669453"
    ],
    [
      "1132.776696612",
      "1630.184183694"
    ],
    [
      "1556.666039738",
      "1984.408440201"
    ],
    [
      "1211.822983905",
      "2259.403172942"
    ],
    [
      "1064.075650776",
      "2013.729682875"
    ],
    [
      "141.801119897",
      "894.279817452"
    ],
    [
      "602.568230488",
      "1494.403727445"
    ],
    [
      "168.434907343",
      "1544.849689044"
    ],
    [
      "598.842571694",
      "1284.399581290"
    ],
    [
      "633.458833953",
      "769.581834780"
    ],
    [
      "1766.334244191",
      "1968.267974645"
    ],
    [
      "769.060693012",
      "1634.666167186"
    ],
    [
      "828.397762955",
      "864.911861337"
    ],
    [
      "121.732258204",
      "1332.041303758"
    ],
    [
      "1286.508458633",
      "1276.580918144"
    ],
    [
      "339.336349144",
      "1838.278618390"
    ],
    [
      "1247.606270224",
      "444.163047144"
    ],
    [
      "530.695180860",
      "1057.465640528"
    ],
    [
      "1056.978377346",
      "874.847691165"
    ],
    [
      "1725.622242222",
      "1007.509915643"
    ],
    [
      "651.239297191",
      "259.382749816"
    ],
    [
      "994.700940816",
      "2223.934617778"
    ],
    [
      "1314.979795964",
      "1506.827270886"
    ],
    [
      "2117.790143472",
      "1025.704880711"
    ],
    [
      "1157.094627665",
      "225.128754701"
    ],
    [
      "1121.197737659",
      "644.637192357"
    ],
    [
      "1571.541828663",
      "821.858992120"
    ],
    [
      "1009.527250655",
      "423.201643420"
    ],
    [
      "1089.064343912",
      "1409.471179497"
    ],
    [
      "547.913419764",
      "1718.844926125"
    ],
    [
      "1404.645559364",
      "260.036292787"
    ],
    [
      "1889.547167052",
      "405.635498769"
    ],
    [
      "1514.997916270",
      "1356.309004468"
    ],
    [
      "831.971953346",
      "2034.147166543"
    ],
    [
      "1376.016409571",
      "654.889898167"
    ],
    [
      "1824.773953676",
      "778.012773788"
    ],
    [
      "1854.820661060",
      "1566.785861658"
    ],
    [
      "1438.737471726",
      "2189.084802731"
    ],
    [
      "1668.644406118",
      "259.255957123"
    ],
    [
      "1232.621065049",
      "1844.091931040"
    ],
    [
      "822.484009063",
      "1393.403478265"
    ],
    [
      "349.910949085",
      "552.387221058"
    ],
    [
      "959.956953653",
      "1795.273058074"
    ],
    [
      "897.955745860",
      "180.228421328"
    ],
    [
      "781.152315559",
      "1115.087022660"
    ],
    [
      "630.000472717",
      "519.605756449"
    ],
    [
      "2054.842317731",
      "623.748235214"
    ],
    [
      "2137.000636548",
      "1579.487023253"
    ],
    [
      "1068.697897400",
      "1138.147462391"
    ],
    [
      "371.704077226",
      "1395.901226206"
    ],
    [
      "386.325436489",
      "837.633029411"
    ],
    [
      "1912.007023871",
      "1200.499925513"
    ],
    [
      "1634.379559427",
      "1746.565558850"
    ],
    [
      "552.454916663",
      "1996.807827978"
    ],
    [
      "269.915051429",
      "1114.760702219"
    ],
    [
      "1464.847846470",
      "1077.486444021"
    ],
    [
      "2202.194000178",
      "1287.680879830"
    ],
    [
      "1645.288355334",
      "552.781958870"
    ]
  ],
  "radius": "1180.881433994"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 155
}

当前第一名的答案

{
  "centers": [
    [
      "1270.869116464",
      "2354.018119371"
    ],
    [
      "1215.916228457",
      "100.811957916"
    ],
    [
      "1251.533058973",
      "711.202434322"
    ],
    [
      "29.791005324",
      "935.957282207"
    ],
    [
      "1646.984271667",
      "102.336199219"
    ],
    [
      "1145.355492009",
      "1000.289447810"
    ],
    [
      "976.885667936",
      "1944.752521808"
    ],
    [
      "1616.188738020",
      "106.996825410"
    ],
    [
      "1809.270016033",
      "519.321104474"
    ],
    [
      "56.716246374",
      "1508.118966800"
    ],
    [
      "1237.883386217",
      "714.651337741"
    ],
    [
      "1021.032046845",
      "1288.867070067"
    ],
    [
      "1897.740684826",
      "646.965674488"
    ],
    [
      "808.006719919",
      "1757.168504646"
    ],
    [
      "1654.419777416",
      "1914.593871664"
    ],
    [
      "469.754260801",
      "1843.862221024"
    ],
    [
      "2344.621480135",
      "1187.375616629"
    ],
    [
      "2319.310514825",
      "1417.603361317"
    ],
    [
      "2067.469876538",
      "1931.294366223"
    ],
    [
      "40.450283913",
      "964.002651673"
    ],
    [
      "985.268778145",
      "38.299947239"
    ],
    [
      "623.056775106",
      "1158.708523568"
    ],
    [
      "871.119070615",
      "2296.492305764"
    ],
    [
      "98.913976362",
      "771.724845844"
    ],
    [
      "587.000618672",
      "2172.366577906"
    ],
    [
      "349.780658411",
      "384.145479691"
    ],
    [
      "505.549019229",
      "245.363344187"
    ],
    [
      "187.469199406",
      "596.099467614"
    ],
    [
      "63.504340915",
      "1460.474106556"
    ],
    [
      "1100.800414719",
      "2328.972802656"
    ],
    [
      "2179.078063748",
      "1751.578425893"
    ],
    [
      "1592.877106316",
      "2253.349669124"
    ],
    [
      "1331.950234724",
      "2318.778619136"
    ],
    [
      "2218.817453614",
      "693.002511706"
    ],
    [
      "729.514090272",
      "127.681455924"
    ],
    [
      "365.834211555",
      "1984.903525169"
    ],
    [
      "1841.197766470",
      "246.832679324"
    ],
    [
      "2052.592761663",
      "441.762138223"
    ],
    [
      "969.863964140",
      "1295.382312984"
    ],
    [
      "913.249724062",
      "1240.283966181"
    ],
    [
      "2284.492225740",
      "1465.828682371"
    ],
    [
      "1132.390981031",
      "2140.493304049"
    ],
    [
      "565.652422790",
      "903.381276504"
    ],
    [
      "1875.182888425",
      "1389.954360797"
    ],
    [
      "1272.139331194",
      "1666.434095177"
    ],
    [
      "1984.062004528",
      "1694.548007880"
    ],
    [
      "468.559736411",
      "1563.993407119"
    ],
    [
      "1891.414765186",
      "2063.243450829"
    ],
    [
      "1531.526046257",
      "383.447564745"
    ],
    [
      "1811.328923674",
      "2119.725819666"
    ],
    [
      "1264.344456511",
      "1115.094828928"
    ],
    [
      "1174.655351714",
      "52.017169383"
    ],
    [
      "1429.594497870",
      "80.764012532"
    ],
    [
      "933.031153058",
      "991.196673076"
    ],
    [
      "503.018839909",
      "671.525685794"
    ],
    [
      "454.535542618",
      "1210.569231286"
    ],
    [
      "2282.356295505",
      "957.743310131"
    ],
    [
      "1855.110617267",
      "589.437359584"
    ],
    [
      "1535.709764694",
      "116.590680642"
    ],
    [
      "1063.468172294",
      "66.167721751"
    ],
    [
      "69.700508305",
      "1041.584264984"
    ],
    [
      "62.095303514",
      "1169.249284948"
    ],
    [
      "940.939536534",
      "598.243711149"
    ],
    [
      "837.279853540",
      "524.870213736"
    ],
    [
      "2292.920435486",
      "1088.357740337"
    ],
    [
      "668.816446880",
      "939.867391710"
    ],
    [
      "808.827310439",
      "2230.789800539"
    ],
    [
      "944.546093334",
      "729.194055740"
    ],
    [
      "205.599623372",
      "1714.834346832"
    ],
    [
      "683.959866036",
      "2174.423841588"
    ],
    [
      "1385.680772405",
      "1988.042067637"
    ],
    [
      "1441.311403452",
      "1856.286079187"
    ],
    [
      "1435.492091693",
      "458.697159521"
    ],
    [
      "1234.096027910",
      "806.077509684"
    ],
    [
      "1500.983283928",
      "1565.373854614"
    ],
    [
      "1995.447390428",
      "1409.557290274"
    ],
    [
      "1299.634157586",
      "83.974924230"
    ],
    [
      "1374.205256382",
      "865.013102474"
    ],
    [
      "1647.496681663",
      "1517.941541945"
    ],
    [
      "2026.644939177",
      "845.966388937"
    ],
    [
      "807.495611901",
      "382.962148599"
    ],
    [
      "1922.103684207",
      "969.720685870"
    ],
    [
      "1961.688206262",
      "1952.687385959"
    ],
    [
      "955.257777438",
      "1571.322354250"
    ],
    [
      "191.135049784",
      "710.394226608"
    ],
    [
      "802.093702899",
      "670.684941407"
    ],
    [
      "1669.091220910",
      "1203.520740931"
    ],
    [
      "1401.853086538",
      "1695.816771614"
    ],
    [
      "465.594448161",
      "355.915014194"
    ],
    [
      "1247.457826885",
      "2070.606545359"
    ],
    [
      "732.397021654",
      "1834.990527136"
    ],
    [
      "344.452326916",
      "1633.342465475"
    ],
    [
      "1241.544142230",
      "972.911335973"
    ],
    [
      "1738.537208276",
      "1370.668145455"
    ],
    [
      "2066.691349082",
      "1808.957291691"
    ],
    [
      "1875.389171148",
      "1795.864311960"
    ],
    [
      "1667.033649499",
      "2147.794910332"
    ],
    [
      "2203.295095915",
      "824.086669453"
    ],
    [
      "1132.776696612",
      "1630.184183694"
    ],
    [
      "1556.666039738",
      "1984.408440201"
    ],
    [
      "1211.822983905",
      "2259.403172942"
    ],
    [
      "1064.075650776",
      "2013.729682875"
    ],
    [
      "141.801119897",
      "894.279817452"
    ],
    [
      "602.568230488",
      "1494.403727445"
    ],
    [
      "168.434907343",
      "1544.849689044"
    ],
    [
      "598.842571694",
      "1284.399581290"
    ],
    [
      "633.458833953",
      "769.581834780"
    ],
    [
      "1766.334244191",
      "1968.267974645"
    ],
    [
      "769.060693012",
      "1634.666167186"
    ],
    [
      "828.397762955",
      "864.911861337"
    ],
    [
      "121.732258204",
      "1332.041303758"
    ],
    [
      "1286.508458633",
      "1276.580918144"
    ],
    [
      "339.336349144",
      "1838.278618390"
    ],
    [
      "1247.606270224",
      "444.163047144"
    ],
    [
      "530.695180860",
      "1057.465640528"
    ],
    [
      "1056.978377346",
      "874.847691165"
    ],
    [
      "1725.622242222",
      "1007.509915643"
    ],
    [
      "651.239297191",
      "259.382749816"
    ],
    [
      "994.700940816",
      "2223.934617778"
    ],
    [
      "1314.979795964",
      "1506.827270886"
    ],
    [
      "2117.790143472",
      "1025.704880711"
    ],
    [
      "1157.094627665",
      "225.128754701"
    ],
    [
      "1121.197737659",
      "644.637192357"
    ],
    [
      "1571.541828663",
      "821.858992120"
    ],
    [
      "1009.527250655",
      "423.201643420"
    ],
    [
      "1089.064343912",
      "1409.471179497"
    ],
    [
      "547.913419764",
      "1718.844926125"
    ],
    [
      "1404.645559364",
      "260.036292787"
    ],
    [
      "1889.547167052",
      "405.635498769"
    ],
    [
      "1514.997916270",
      "1356.309004468"
    ],
    [
      "831.971953346",
      "2034.147166543"
    ],
    [
      "1376.016409571",
      "654.889898167"
    ],
    [
      "1824.773953676",
      "778.012773788"
    ],
    [
      "1854.820661060",
      "1566.785861658"
    ],
    [
      "1438.737471726",
      "2189.084802731"
    ],
    [
      "1668.644406118",
      "259.255957123"
    ],
    [
      "1232.621065049",
      "1844.091931040"
    ],
    [
      "822.484009063",
      "1393.403478265"
    ],
    [
      "349.910949085",
      "552.387221058"
    ],
    [
      "959.956953653",
      "1795.273058074"
    ],
    [
      "897.955745860",
      "180.228421328"
    ],
    [
      "781.152315559",
      "1115.087022660"
    ],
    [
      "630.000472717",
      "519.605756449"
    ],
    [
      "2054.842317731",
      "623.748235214"
    ],
    [
      "2137.000636548",
      "1579.487023253"
    ],
    [
      "1068.697897400",
      "1138.147462391"
    ],
    [
      "371.704077226",
      "1395.901226206"
    ],
    [
      "386.325436489",
      "837.633029411"
    ],
    [
      "1912.007023871",
      "1200.499925513"
    ],
    [
      "1634.379559427",
      "1746.565558850"
    ],
    [
      "552.454916663",
      "1996.807827978"
    ],
    [
      "269.915051429",
      "1114.760702219"
    ],
    [
      "1464.847846470",
      "1077.486444021"
    ],
    [
      "2202.194000178",
      "1287.680879830"
    ],
    [
      "1645.288355334",
      "552.781958870"
    ]
  ],
  "radius": "1180.881433994"
}

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

DISCUSSION

讨论区

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