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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2318.17733289y0
0x2318.17733289
已验证构造r = 1159.088666445

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1049.960639005",
      "922.420252817"
    ],
    [
      "385.116845544",
      "1654.384001991"
    ],
    [
      "114.710072156",
      "677.479863237"
    ],
    [
      "946.502974314",
      "958.272418978"
    ],
    [
      "2111.483063492",
      "1810.543283820"
    ],
    [
      "441.228362644",
      "545.945012296"
    ],
    [
      "1485.392361735",
      "764.690588366"
    ],
    [
      "576.193375043",
      "166.876848081"
    ],
    [
      "1027.936731650",
      "281.843330589"
    ],
    [
      "683.777035440",
      "849.979549983"
    ],
    [
      "2093.665281342",
      "1429.337727162"
    ],
    [
      "462.734891092",
      "1340.565844357"
    ],
    [
      "1957.325577194",
      "1981.116980769"
    ],
    [
      "432.875092990",
      "1104.490008900"
    ],
    [
      "2286.989844361",
      "969.143366096"
    ],
    [
      "26.085944778",
      "1305.578999168"
    ],
    [
      "1953.347851216",
      "1658.807371438"
    ],
    [
      "2219.863782664",
      "739.241384454"
    ],
    [
      "1737.619645515",
      "440.358369505"
    ],
    [
      "1518.599450222",
      "2239.527300757"
    ],
    [
      "2297.170682698",
      "1159.884946901"
    ],
    [
      "1723.489784586",
      "2145.866522466"
    ],
    [
      "100.762891139",
      "1571.304319868"
    ],
    [
      "819.341145305",
      "76.178628641"
    ],
    [
      "1124.358308899",
      "2292.545056628"
    ],
    [
      "190.780338263",
      "1747.333937486"
    ],
    [
      "532.170377917",
      "2101.484641075"
    ],
    [
      "64.762409850",
      "873.269847145"
    ],
    [
      "354.256691560",
      "1951.830772003"
    ],
    [
      "1525.814233833",
      "180.144326789"
    ],
    [
      "2233.356516106",
      "1503.317703144"
    ],
    [
      "1829.970275875",
      "1940.479271038"
    ],
    [
      "156.759916315",
      "645.851137267"
    ],
    [
      "1888.892955921",
      "1028.226703902"
    ],
    [
      "314.735964661",
      "417.380682768"
    ],
    [
      "2108.064588551",
      "1759.462226420"
    ],
    [
      "1659.986862438",
      "1984.439092416"
    ],
    [
      "2073.364959299",
      "510.294470798"
    ],
    [
      "1858.847594031",
      "284.680524974"
    ],
    [
      "554.552225456",
      "217.469330996"
    ],
    [
      "963.196798451",
      "1249.879048034"
    ],
    [
      "1573.925970497",
      "121.882274328"
    ],
    [
      "1204.705057170",
      "2054.861131759"
    ],
    [
      "1779.207385758",
      "1742.205506176"
    ],
    [
      "1306.269795190",
      "1611.059506754"
    ],
    [
      "850.426680587",
      "807.262629169"
    ],
    [
      "701.542802997",
      "1147.354834901"
    ],
    [
      "1893.236475240",
      "1993.082083410"
    ],
    [
      "1141.370170161",
      "430.488692890"
    ],
    [
      "523.112820858",
      "1811.413995619"
    ],
    [
      "51.597167253",
      "1125.003309112"
    ],
    [
      "2239.332864660",
      "917.726196922"
    ],
    [
      "1941.764817223",
      "958.496020676"
    ],
    [
      "888.685004115",
      "2230.584266109"
    ],
    [
      "732.950535617",
      "1511.540924326"
    ],
    [
      "2206.523717741",
      "813.211452635"
    ],
    [
      "783.477675448",
      "2195.194747957"
    ],
    [
      "60.534374227",
      "1233.751887834"
    ],
    [
      "2256.803709671",
      "1231.315793704"
    ],
    [
      "1183.441427800",
      "60.269828004"
    ],
    [
      "1472.073065898",
      "106.553025860"
    ],
    [
      "1104.277268511",
      "2087.857103234"
    ],
    [
      "906.136477713",
      "92.846919774"
    ],
    [
      "1746.811483809",
      "1416.672616027"
    ],
    [
      "1528.560640692",
      "692.807866907"
    ],
    [
      "1066.848103374",
      "1288.392057077"
    ],
    [
      "1940.144202431",
      "838.506964473"
    ],
    [
      "2130.360080661",
      "1219.441086005"
    ],
    [
      "1464.097286754",
      "572.970811866"
    ],
    [
      "1738.294871188",
      "1272.766137970"
    ],
    [
      "1649.898048836",
      "1515.463299238"
    ],
    [
      "1206.997641109",
      "1673.327448629"
    ],
    [
      "1093.002318544",
      "747.543814720"
    ],
    [
      "970.577310829",
      "214.901846121"
    ],
    [
      "1655.849192846",
      "751.130467686"
    ],
    [
      "1499.527055074",
      "432.279020139"
    ],
    [
      "1416.726187315",
      "2210.059070352"
    ],
    [
      "1047.458594605",
      "83.778742855"
    ],
    [
      "341.208589375",
      "1577.012154520"
    ],
    [
      "1145.010070564",
      "891.433333903"
    ],
    [
      "193.685585767",
      "1638.955381828"
    ],
    [
      "1203.915372268",
      "1231.814398982"
    ],
    [
      "380.746029220",
      "775.574640379"
    ],
    [
      "1322.799375699",
      "96.537752657"
    ],
    [
      "1730.535729624",
      "1875.551688347"
    ],
    [
      "1768.593800399",
      "2042.277648337"
    ],
    [
      "422.052901873",
      "1432.028717060"
    ],
    [
      "912.433877056",
      "1813.041860778"
    ],
    [
      "1031.398172481",
      "2221.531555169"
    ],
    [
      "977.127929670",
      "862.182926735"
    ],
    [
      "1820.683857389",
      "1134.443851426"
    ],
    [
      "838.768973949",
      "1202.084026005"
    ],
    [
      "191.936096372",
      "1159.317199600"
    ],
    [
      "1554.196708470",
      "1907.073736694"
    ],
    [
      "1597.070746353",
      "1358.093428829"
    ],
    [
      "109.668756028",
      "989.161139715"
    ],
    [
      "1121.622694352",
      "579.970326094"
    ],
    [
      "2089.241012708",
      "913.053326095"
    ],
    [
      "722.072316126",
      "739.039130003"
    ],
    [
      "2195.317514499",
      "1377.946103684"
    ],
    [
      "2011.030204408",
      "1096.039854194"
    ],
    [
      "2212.465728902",
      "1070.583225859"
    ],
    [
      "662.437432680",
      "2090.556037954"
    ],
    [
      "810.330962487",
      "1650.441138646"
    ],
    [
      "1828.052156787",
      "698.709693660"
    ],
    [
      "490.069828831",
      "1972.359552625"
    ],
    [
      "559.492496141",
      "1087.781862016"
    ],
    [
      "1414.179561199",
      "265.397640431"
    ],
    [
      "1530.205949033",
      "885.918514362"
    ],
    [
      "1229.774849230",
      "2205.793254008"
    ],
    [
      "1025.326070722",
      "1648.990815954"
    ],
    [
      "532.080732660",
      "643.896456221"
    ],
    [
      "553.660940792",
      "867.859164317"
    ],
    [
      "1582.061686638",
      "2114.428674222"
    ],
    [
      "183.348088254",
      "791.443270002"
    ],
    [
      "388.841510129",
      "1231.334085873"
    ],
    [
      "923.643914435",
      "661.417550271"
    ],
    [
      "1395.399817615",
      "1289.552663511"
    ],
    [
      "1620.836469309",
      "1703.547584567"
    ],
    [
      "1306.515756633",
      "466.376507945"
    ],
    [
      "1653.742187560",
      "554.862432203"
    ],
    [
      "1830.253492188",
      "1584.172207347"
    ],
    [
      "1366.221499018",
      "2016.540914976"
    ],
    [
      "730.525527858",
      "516.163675539"
    ],
    [
      "1454.147278347",
      "1525.344384862"
    ],
    [
      "302.310510994",
      "581.850946723"
    ],
    [
      "1383.054077985",
      "1767.108230097"
    ],
    [
      "1764.315089950",
      "922.822581089"
    ],
    [
      "963.794120012",
      "418.210809755"
    ],
    [
      "344.155232302",
      "1786.873891399"
    ],
    [
      "698.382233742",
      "1859.333263816"
    ],
    [
      "1173.153939066",
      "252.301173585"
    ],
    [
      "338.680286145",
      "987.438920667"
    ],
    [
      "2066.479346424",
      "682.172606787"
    ],
    [
      "2089.204140706",
      "1587.624314054"
    ],
    [
      "1943.382079897",
      "1816.047006847"
    ],
    [
      "898.981223723",
      "2038.105204940"
    ],
    [
      "1591.639417518",
      "1125.156740719"
    ],
    [
      "779.980487645",
      "978.689948457"
    ],
    [
      "1038.393982058",
      "1083.872959948"
    ],
    [
      "910.741915940",
      "1424.548236495"
    ],
    [
      "1899.856399995",
      "462.143532063"
    ],
    [
      "492.819561291",
      "391.937014168"
    ],
    [
      "1193.820209107",
      "1457.588816668"
    ],
    [
      "1135.598612175",
      "1880.023208926"
    ],
    [
      "562.447171395",
      "1617.981531214"
    ],
    [
      "1321.227074470",
      "1035.144715176"
    ],
    [
      "1669.333701353",
      "286.191023096"
    ],
    [
      "635.863979198",
      "1332.124647005"
    ],
    [
      "1948.082026524",
      "1339.018303653"
    ],
    [
      "1316.956183214",
      "737.175321630"
    ],
    [
      "746.043143637",
      "240.600246176"
    ],
    [
      "183.560021022",
      "1405.174559389"
    ]
  ],
  "radius": "1159.088666445"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 153
}

当前第一名的答案

{
  "centers": [
    [
      "1049.960639005",
      "922.420252817"
    ],
    [
      "385.116845544",
      "1654.384001991"
    ],
    [
      "114.710072156",
      "677.479863237"
    ],
    [
      "946.502974314",
      "958.272418978"
    ],
    [
      "2111.483063492",
      "1810.543283820"
    ],
    [
      "441.228362644",
      "545.945012296"
    ],
    [
      "1485.392361735",
      "764.690588366"
    ],
    [
      "576.193375043",
      "166.876848081"
    ],
    [
      "1027.936731650",
      "281.843330589"
    ],
    [
      "683.777035440",
      "849.979549983"
    ],
    [
      "2093.665281342",
      "1429.337727162"
    ],
    [
      "462.734891092",
      "1340.565844357"
    ],
    [
      "1957.325577194",
      "1981.116980769"
    ],
    [
      "432.875092990",
      "1104.490008900"
    ],
    [
      "2286.989844361",
      "969.143366096"
    ],
    [
      "26.085944778",
      "1305.578999168"
    ],
    [
      "1953.347851216",
      "1658.807371438"
    ],
    [
      "2219.863782664",
      "739.241384454"
    ],
    [
      "1737.619645515",
      "440.358369505"
    ],
    [
      "1518.599450222",
      "2239.527300757"
    ],
    [
      "2297.170682698",
      "1159.884946901"
    ],
    [
      "1723.489784586",
      "2145.866522466"
    ],
    [
      "100.762891139",
      "1571.304319868"
    ],
    [
      "819.341145305",
      "76.178628641"
    ],
    [
      "1124.358308899",
      "2292.545056628"
    ],
    [
      "190.780338263",
      "1747.333937486"
    ],
    [
      "532.170377917",
      "2101.484641075"
    ],
    [
      "64.762409850",
      "873.269847145"
    ],
    [
      "354.256691560",
      "1951.830772003"
    ],
    [
      "1525.814233833",
      "180.144326789"
    ],
    [
      "2233.356516106",
      "1503.317703144"
    ],
    [
      "1829.970275875",
      "1940.479271038"
    ],
    [
      "156.759916315",
      "645.851137267"
    ],
    [
      "1888.892955921",
      "1028.226703902"
    ],
    [
      "314.735964661",
      "417.380682768"
    ],
    [
      "2108.064588551",
      "1759.462226420"
    ],
    [
      "1659.986862438",
      "1984.439092416"
    ],
    [
      "2073.364959299",
      "510.294470798"
    ],
    [
      "1858.847594031",
      "284.680524974"
    ],
    [
      "554.552225456",
      "217.469330996"
    ],
    [
      "963.196798451",
      "1249.879048034"
    ],
    [
      "1573.925970497",
      "121.882274328"
    ],
    [
      "1204.705057170",
      "2054.861131759"
    ],
    [
      "1779.207385758",
      "1742.205506176"
    ],
    [
      "1306.269795190",
      "1611.059506754"
    ],
    [
      "850.426680587",
      "807.262629169"
    ],
    [
      "701.542802997",
      "1147.354834901"
    ],
    [
      "1893.236475240",
      "1993.082083410"
    ],
    [
      "1141.370170161",
      "430.488692890"
    ],
    [
      "523.112820858",
      "1811.413995619"
    ],
    [
      "51.597167253",
      "1125.003309112"
    ],
    [
      "2239.332864660",
      "917.726196922"
    ],
    [
      "1941.764817223",
      "958.496020676"
    ],
    [
      "888.685004115",
      "2230.584266109"
    ],
    [
      "732.950535617",
      "1511.540924326"
    ],
    [
      "2206.523717741",
      "813.211452635"
    ],
    [
      "783.477675448",
      "2195.194747957"
    ],
    [
      "60.534374227",
      "1233.751887834"
    ],
    [
      "2256.803709671",
      "1231.315793704"
    ],
    [
      "1183.441427800",
      "60.269828004"
    ],
    [
      "1472.073065898",
      "106.553025860"
    ],
    [
      "1104.277268511",
      "2087.857103234"
    ],
    [
      "906.136477713",
      "92.846919774"
    ],
    [
      "1746.811483809",
      "1416.672616027"
    ],
    [
      "1528.560640692",
      "692.807866907"
    ],
    [
      "1066.848103374",
      "1288.392057077"
    ],
    [
      "1940.144202431",
      "838.506964473"
    ],
    [
      "2130.360080661",
      "1219.441086005"
    ],
    [
      "1464.097286754",
      "572.970811866"
    ],
    [
      "1738.294871188",
      "1272.766137970"
    ],
    [
      "1649.898048836",
      "1515.463299238"
    ],
    [
      "1206.997641109",
      "1673.327448629"
    ],
    [
      "1093.002318544",
      "747.543814720"
    ],
    [
      "970.577310829",
      "214.901846121"
    ],
    [
      "1655.849192846",
      "751.130467686"
    ],
    [
      "1499.527055074",
      "432.279020139"
    ],
    [
      "1416.726187315",
      "2210.059070352"
    ],
    [
      "1047.458594605",
      "83.778742855"
    ],
    [
      "341.208589375",
      "1577.012154520"
    ],
    [
      "1145.010070564",
      "891.433333903"
    ],
    [
      "193.685585767",
      "1638.955381828"
    ],
    [
      "1203.915372268",
      "1231.814398982"
    ],
    [
      "380.746029220",
      "775.574640379"
    ],
    [
      "1322.799375699",
      "96.537752657"
    ],
    [
      "1730.535729624",
      "1875.551688347"
    ],
    [
      "1768.593800399",
      "2042.277648337"
    ],
    [
      "422.052901873",
      "1432.028717060"
    ],
    [
      "912.433877056",
      "1813.041860778"
    ],
    [
      "1031.398172481",
      "2221.531555169"
    ],
    [
      "977.127929670",
      "862.182926735"
    ],
    [
      "1820.683857389",
      "1134.443851426"
    ],
    [
      "838.768973949",
      "1202.084026005"
    ],
    [
      "191.936096372",
      "1159.317199600"
    ],
    [
      "1554.196708470",
      "1907.073736694"
    ],
    [
      "1597.070746353",
      "1358.093428829"
    ],
    [
      "109.668756028",
      "989.161139715"
    ],
    [
      "1121.622694352",
      "579.970326094"
    ],
    [
      "2089.241012708",
      "913.053326095"
    ],
    [
      "722.072316126",
      "739.039130003"
    ],
    [
      "2195.317514499",
      "1377.946103684"
    ],
    [
      "2011.030204408",
      "1096.039854194"
    ],
    [
      "2212.465728902",
      "1070.583225859"
    ],
    [
      "662.437432680",
      "2090.556037954"
    ],
    [
      "810.330962487",
      "1650.441138646"
    ],
    [
      "1828.052156787",
      "698.709693660"
    ],
    [
      "490.069828831",
      "1972.359552625"
    ],
    [
      "559.492496141",
      "1087.781862016"
    ],
    [
      "1414.179561199",
      "265.397640431"
    ],
    [
      "1530.205949033",
      "885.918514362"
    ],
    [
      "1229.774849230",
      "2205.793254008"
    ],
    [
      "1025.326070722",
      "1648.990815954"
    ],
    [
      "532.080732660",
      "643.896456221"
    ],
    [
      "553.660940792",
      "867.859164317"
    ],
    [
      "1582.061686638",
      "2114.428674222"
    ],
    [
      "183.348088254",
      "791.443270002"
    ],
    [
      "388.841510129",
      "1231.334085873"
    ],
    [
      "923.643914435",
      "661.417550271"
    ],
    [
      "1395.399817615",
      "1289.552663511"
    ],
    [
      "1620.836469309",
      "1703.547584567"
    ],
    [
      "1306.515756633",
      "466.376507945"
    ],
    [
      "1653.742187560",
      "554.862432203"
    ],
    [
      "1830.253492188",
      "1584.172207347"
    ],
    [
      "1366.221499018",
      "2016.540914976"
    ],
    [
      "730.525527858",
      "516.163675539"
    ],
    [
      "1454.147278347",
      "1525.344384862"
    ],
    [
      "302.310510994",
      "581.850946723"
    ],
    [
      "1383.054077985",
      "1767.108230097"
    ],
    [
      "1764.315089950",
      "922.822581089"
    ],
    [
      "963.794120012",
      "418.210809755"
    ],
    [
      "344.155232302",
      "1786.873891399"
    ],
    [
      "698.382233742",
      "1859.333263816"
    ],
    [
      "1173.153939066",
      "252.301173585"
    ],
    [
      "338.680286145",
      "987.438920667"
    ],
    [
      "2066.479346424",
      "682.172606787"
    ],
    [
      "2089.204140706",
      "1587.624314054"
    ],
    [
      "1943.382079897",
      "1816.047006847"
    ],
    [
      "898.981223723",
      "2038.105204940"
    ],
    [
      "1591.639417518",
      "1125.156740719"
    ],
    [
      "779.980487645",
      "978.689948457"
    ],
    [
      "1038.393982058",
      "1083.872959948"
    ],
    [
      "910.741915940",
      "1424.548236495"
    ],
    [
      "1899.856399995",
      "462.143532063"
    ],
    [
      "492.819561291",
      "391.937014168"
    ],
    [
      "1193.820209107",
      "1457.588816668"
    ],
    [
      "1135.598612175",
      "1880.023208926"
    ],
    [
      "562.447171395",
      "1617.981531214"
    ],
    [
      "1321.227074470",
      "1035.144715176"
    ],
    [
      "1669.333701353",
      "286.191023096"
    ],
    [
      "635.863979198",
      "1332.124647005"
    ],
    [
      "1948.082026524",
      "1339.018303653"
    ],
    [
      "1316.956183214",
      "737.175321630"
    ],
    [
      "746.043143637",
      "240.600246176"
    ],
    [
      "183.560021022",
      "1405.174559389"
    ]
  ],
  "radius": "1159.088666445"
}

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

DISCUSSION

讨论区

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