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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2272.861880316y0
0x2272.861880316
已验证构造r = 1136.430940158

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "2216.893339173",
      "1433.274882779"
    ],
    [
      "291.192071103",
      "701.810949220"
    ],
    [
      "1003.556860751",
      "1133.835369418"
    ],
    [
      "1049.167713808",
      "539.075813732"
    ],
    [
      "2260.877596518",
      "1261.453757621"
    ],
    [
      "595.377232569",
      "1266.457099849"
    ],
    [
      "886.954806036",
      "513.492958471"
    ],
    [
      "1330.074907173",
      "224.404093684"
    ],
    [
      "11.646000665",
      "1157.823606846"
    ],
    [
      "1323.807499252",
      "880.947914255"
    ],
    [
      "1177.909987737",
      "277.108123257"
    ],
    [
      "828.519044160",
      "1530.311270354"
    ],
    [
      "1634.722507628",
      "1188.540447461"
    ],
    [
      "1967.010507351",
      "1400.329115896"
    ],
    [
      "2242.989093994",
      "1293.906634229"
    ],
    [
      "947.566801943",
      "199.387860059"
    ],
    [
      "137.198347630",
      "1640.652559031"
    ],
    [
      "787.369033882",
      "2193.931929362"
    ],
    [
      "1383.592279647",
      "1322.678470865"
    ],
    [
      "634.419310542",
      "2131.342026915"
    ],
    [
      "2136.543236627",
      "1629.831494150"
    ],
    [
      "623.228790806",
      "152.001703607"
    ],
    [
      "2011.170962662",
      "447.754130008"
    ],
    [
      "1944.065783136",
      "1898.889359602"
    ],
    [
      "1877.596443950",
      "308.579131765"
    ],
    [
      "1093.109064363",
      "27.132829197"
    ],
    [
      "446.704146689",
      "2005.023043386"
    ],
    [
      "165.589273399",
      "601.881486384"
    ],
    [
      "881.265277413",
      "58.961974344"
    ],
    [
      "990.573084478",
      "2233.123003683"
    ],
    [
      "1524.353592472",
      "2171.499467161"
    ],
    [
      "78.486525396",
      "819.379971311"
    ],
    [
      "1745.812792084",
      "2056.329629276"
    ],
    [
      "71.341867992",
      "1420.568883889"
    ],
    [
      "1359.460819001",
      "57.817112563"
    ],
    [
      "1271.415898699",
      "2228.551498990"
    ],
    [
      "2111.652342338",
      "1326.936670183"
    ],
    [
      "1625.393519079",
      "152.832380424"
    ],
    [
      "39.500813936",
      "1105.760187434"
    ],
    [
      "273.039354984",
      "849.188173392"
    ],
    [
      "789.478561678",
      "1761.532978190"
    ],
    [
      "2227.715181726",
      "1057.602770732"
    ],
    [
      "1623.666475174",
      "1497.779657307"
    ],
    [
      "1337.580687879",
      "572.128564110"
    ],
    [
      "565.015695142",
      "805.424877021"
    ],
    [
      "1406.213976317",
      "1626.397826532"
    ],
    [
      "1486.028046502",
      "1144.276352545"
    ],
    [
      "1158.670386462",
      "1616.213945790"
    ],
    [
      "978.061137404",
      "2029.051808378"
    ],
    [
      "2182.468311785",
      "842.938172124"
    ],
    [
      "344.521677678",
      "394.150605894"
    ],
    [
      "883.814405616",
      "784.567230987"
    ],
    [
      "2198.474445070",
      "1350.641574260"
    ],
    [
      "2131.882154357",
      "1037.868411502"
    ],
    [
      "1499.855200984",
      "764.016379323"
    ],
    [
      "436.386619475",
      "456.537611416"
    ],
    [
      "2199.630226500",
      "949.941176123"
    ],
    [
      "1495.465303370",
      "363.440777084"
    ],
    [
      "206.621156804",
      "1680.689844792"
    ],
    [
      "273.158508840",
      "1779.402089687"
    ],
    [
      "2066.894563087",
      "1675.679633669"
    ],
    [
      "1670.305420964",
      "1763.904249779"
    ],
    [
      "1231.313103019",
      "584.626580287"
    ],
    [
      "343.675688389",
      "925.519742247"
    ],
    [
      "1600.836482368",
      "1870.229085693"
    ],
    [
      "1595.794651054",
      "1117.438086483"
    ],
    [
      "1084.146805589",
      "1704.078103254"
    ],
    [
      "474.732018569",
      "575.050029813"
    ],
    [
      "1945.697374502",
      "1628.655794190"
    ],
    [
      "1117.716525818",
      "503.222618477"
    ],
    [
      "380.611489905",
      "1263.025340328"
    ],
    [
      "976.207442870",
      "515.081548038"
    ],
    [
      "731.521899324",
      "2119.757991349"
    ],
    [
      "571.090561591",
      "236.977703253"
    ],
    [
      "450.745798934",
      "326.255121196"
    ],
    [
      "1677.496854902",
      "1001.297008967"
    ],
    [
      "330.801861776",
      "1403.880944840"
    ],
    [
      "683.414841734",
      "1261.767231281"
    ],
    [
      "1652.301426870",
      "1619.599177532"
    ],
    [
      "621.933288826",
      "1569.135947048"
    ],
    [
      "1909.263922855",
      "417.637749944"
    ],
    [
      "1508.490424755",
      "1547.215507614"
    ],
    [
      "851.387350553",
      "423.160104516"
    ],
    [
      "1261.049761786",
      "1963.554933458"
    ],
    [
      "1093.505479771",
      "1126.202350234"
    ],
    [
      "1964.631012640",
      "1782.536263808"
    ],
    [
      "2104.178320700",
      "730.511852695"
    ],
    [
      "1802.400989220",
      "1692.805197657"
    ],
    [
      "1117.238764476",
      "1303.501761165"
    ],
    [
      "929.206649774",
      "1737.071650441"
    ],
    [
      "783.857484784",
      "1629.207753623"
    ],
    [
      "996.541026839",
      "101.410746680"
    ],
    [
      "604.591651958",
      "670.220800622"
    ],
    [
      "1992.383612593",
      "1093.739763047"
    ],
    [
      "896.794887073",
      "2149.915340917"
    ],
    [
      "1984.462409368",
      "1288.055814335"
    ],
    [
      "535.119462680",
      "1168.850706632"
    ],
    [
      "1436.453268058",
      "1914.999707295"
    ],
    [
      "2049.033124874",
      "909.240893785"
    ],
    [
      "2005.411102445",
      "571.662198257"
    ],
    [
      "1510.294403776",
      "1730.206615768"
    ],
    [
      "351.133594923",
      "1091.352126391"
    ],
    [
      "1851.846658506",
      "955.152840165"
    ],
    [
      "185.206016656",
      "735.077241903"
    ],
    [
      "1913.930338718",
      "756.390518667"
    ],
    [
      "2165.232591727",
      "1194.354028500"
    ],
    [
      "751.119794524",
      "1433.932963554"
    ],
    [
      "415.077032685",
      "1869.451225585"
    ],
    [
      "180.878232121",
      "1513.966844352"
    ],
    [
      "716.711216407",
      "1067.792789336"
    ],
    [
      "588.766200486",
      "2003.363432309"
    ],
    [
      "296.490514042",
      "549.950904925"
    ],
    [
      "1600.035217249",
      "2048.273657861"
    ],
    [
      "521.293077533",
      "958.304200892"
    ],
    [
      "720.656161193",
      "842.827375522"
    ],
    [
      "1789.290148218",
      "573.891688773"
    ],
    [
      "1382.705301774",
      "2123.557838403"
    ],
    [
      "1328.716153986",
      "738.709728166"
    ],
    [
      "1071.947797697",
      "1889.734562406"
    ],
    [
      "408.463306181",
      "753.303121144"
    ],
    [
      "528.058196738",
      "1386.736315437"
    ],
    [
      "814.752065890",
      "624.860020029"
    ],
    [
      "624.570237166",
      "1772.118819488"
    ],
    [
      "1201.793820787",
      "945.076403746"
    ],
    [
      "1793.211664002",
      "1905.606880691"
    ],
    [
      "1463.741084938",
      "180.481802417"
    ],
    [
      "2082.537064346",
      "1488.331529418"
    ],
    [
      "1214.385891890",
      "132.129059979"
    ],
    [
      "1035.959627080",
      "318.866889283"
    ],
    [
      "1682.182339143",
      "795.350301691"
    ],
    [
      "1278.623865049",
      "1749.075388564"
    ],
    [
      "1783.580569097",
      "1180.211082150"
    ],
    [
      "822.749897044",
      "1934.170732193"
    ],
    [
      "147.956879183",
      "970.144257367"
    ],
    [
      "1126.476543106",
      "2137.812404876"
    ],
    [
      "1307.131738927",
      "1182.813492243"
    ],
    [
      "941.268658513",
      "964.622802476"
    ],
    [
      "630.914303241",
      "440.725445483"
    ],
    [
      "899.039336501",
      "1237.373025872"
    ],
    [
      "1466.023094458",
      "957.137757751"
    ],
    [
      "407.004713437",
      "1620.582108049"
    ],
    [
      "1297.309785149",
      "390.540419137"
    ],
    [
      "786.443878827",
      "206.692218924"
    ],
    [
      "1548.472631637",
      "1324.780296523"
    ],
    [
      "1067.052636680",
      "712.229476817"
    ],
    [
      "1527.443845326",
      "564.918748230"
    ],
    [
      "1810.228256735",
      "1457.935587269"
    ],
    [
      "995.019005322",
      "1508.351878974"
    ],
    [
      "1698.828667734",
      "324.809934024"
    ],
    [
      "1290.317758952",
      "1468.318816324"
    ],
    [
      "158.154607006",
      "1254.961753931"
    ]
  ],
  "radius": "1136.430940158"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 151
}

当前第一名的答案

{
  "centers": [
    [
      "2216.893339173",
      "1433.274882779"
    ],
    [
      "291.192071103",
      "701.810949220"
    ],
    [
      "1003.556860751",
      "1133.835369418"
    ],
    [
      "1049.167713808",
      "539.075813732"
    ],
    [
      "2260.877596518",
      "1261.453757621"
    ],
    [
      "595.377232569",
      "1266.457099849"
    ],
    [
      "886.954806036",
      "513.492958471"
    ],
    [
      "1330.074907173",
      "224.404093684"
    ],
    [
      "11.646000665",
      "1157.823606846"
    ],
    [
      "1323.807499252",
      "880.947914255"
    ],
    [
      "1177.909987737",
      "277.108123257"
    ],
    [
      "828.519044160",
      "1530.311270354"
    ],
    [
      "1634.722507628",
      "1188.540447461"
    ],
    [
      "1967.010507351",
      "1400.329115896"
    ],
    [
      "2242.989093994",
      "1293.906634229"
    ],
    [
      "947.566801943",
      "199.387860059"
    ],
    [
      "137.198347630",
      "1640.652559031"
    ],
    [
      "787.369033882",
      "2193.931929362"
    ],
    [
      "1383.592279647",
      "1322.678470865"
    ],
    [
      "634.419310542",
      "2131.342026915"
    ],
    [
      "2136.543236627",
      "1629.831494150"
    ],
    [
      "623.228790806",
      "152.001703607"
    ],
    [
      "2011.170962662",
      "447.754130008"
    ],
    [
      "1944.065783136",
      "1898.889359602"
    ],
    [
      "1877.596443950",
      "308.579131765"
    ],
    [
      "1093.109064363",
      "27.132829197"
    ],
    [
      "446.704146689",
      "2005.023043386"
    ],
    [
      "165.589273399",
      "601.881486384"
    ],
    [
      "881.265277413",
      "58.961974344"
    ],
    [
      "990.573084478",
      "2233.123003683"
    ],
    [
      "1524.353592472",
      "2171.499467161"
    ],
    [
      "78.486525396",
      "819.379971311"
    ],
    [
      "1745.812792084",
      "2056.329629276"
    ],
    [
      "71.341867992",
      "1420.568883889"
    ],
    [
      "1359.460819001",
      "57.817112563"
    ],
    [
      "1271.415898699",
      "2228.551498990"
    ],
    [
      "2111.652342338",
      "1326.936670183"
    ],
    [
      "1625.393519079",
      "152.832380424"
    ],
    [
      "39.500813936",
      "1105.760187434"
    ],
    [
      "273.039354984",
      "849.188173392"
    ],
    [
      "789.478561678",
      "1761.532978190"
    ],
    [
      "2227.715181726",
      "1057.602770732"
    ],
    [
      "1623.666475174",
      "1497.779657307"
    ],
    [
      "1337.580687879",
      "572.128564110"
    ],
    [
      "565.015695142",
      "805.424877021"
    ],
    [
      "1406.213976317",
      "1626.397826532"
    ],
    [
      "1486.028046502",
      "1144.276352545"
    ],
    [
      "1158.670386462",
      "1616.213945790"
    ],
    [
      "978.061137404",
      "2029.051808378"
    ],
    [
      "2182.468311785",
      "842.938172124"
    ],
    [
      "344.521677678",
      "394.150605894"
    ],
    [
      "883.814405616",
      "784.567230987"
    ],
    [
      "2198.474445070",
      "1350.641574260"
    ],
    [
      "2131.882154357",
      "1037.868411502"
    ],
    [
      "1499.855200984",
      "764.016379323"
    ],
    [
      "436.386619475",
      "456.537611416"
    ],
    [
      "2199.630226500",
      "949.941176123"
    ],
    [
      "1495.465303370",
      "363.440777084"
    ],
    [
      "206.621156804",
      "1680.689844792"
    ],
    [
      "273.158508840",
      "1779.402089687"
    ],
    [
      "2066.894563087",
      "1675.679633669"
    ],
    [
      "1670.305420964",
      "1763.904249779"
    ],
    [
      "1231.313103019",
      "584.626580287"
    ],
    [
      "343.675688389",
      "925.519742247"
    ],
    [
      "1600.836482368",
      "1870.229085693"
    ],
    [
      "1595.794651054",
      "1117.438086483"
    ],
    [
      "1084.146805589",
      "1704.078103254"
    ],
    [
      "474.732018569",
      "575.050029813"
    ],
    [
      "1945.697374502",
      "1628.655794190"
    ],
    [
      "1117.716525818",
      "503.222618477"
    ],
    [
      "380.611489905",
      "1263.025340328"
    ],
    [
      "976.207442870",
      "515.081548038"
    ],
    [
      "731.521899324",
      "2119.757991349"
    ],
    [
      "571.090561591",
      "236.977703253"
    ],
    [
      "450.745798934",
      "326.255121196"
    ],
    [
      "1677.496854902",
      "1001.297008967"
    ],
    [
      "330.801861776",
      "1403.880944840"
    ],
    [
      "683.414841734",
      "1261.767231281"
    ],
    [
      "1652.301426870",
      "1619.599177532"
    ],
    [
      "621.933288826",
      "1569.135947048"
    ],
    [
      "1909.263922855",
      "417.637749944"
    ],
    [
      "1508.490424755",
      "1547.215507614"
    ],
    [
      "851.387350553",
      "423.160104516"
    ],
    [
      "1261.049761786",
      "1963.554933458"
    ],
    [
      "1093.505479771",
      "1126.202350234"
    ],
    [
      "1964.631012640",
      "1782.536263808"
    ],
    [
      "2104.178320700",
      "730.511852695"
    ],
    [
      "1802.400989220",
      "1692.805197657"
    ],
    [
      "1117.238764476",
      "1303.501761165"
    ],
    [
      "929.206649774",
      "1737.071650441"
    ],
    [
      "783.857484784",
      "1629.207753623"
    ],
    [
      "996.541026839",
      "101.410746680"
    ],
    [
      "604.591651958",
      "670.220800622"
    ],
    [
      "1992.383612593",
      "1093.739763047"
    ],
    [
      "896.794887073",
      "2149.915340917"
    ],
    [
      "1984.462409368",
      "1288.055814335"
    ],
    [
      "535.119462680",
      "1168.850706632"
    ],
    [
      "1436.453268058",
      "1914.999707295"
    ],
    [
      "2049.033124874",
      "909.240893785"
    ],
    [
      "2005.411102445",
      "571.662198257"
    ],
    [
      "1510.294403776",
      "1730.206615768"
    ],
    [
      "351.133594923",
      "1091.352126391"
    ],
    [
      "1851.846658506",
      "955.152840165"
    ],
    [
      "185.206016656",
      "735.077241903"
    ],
    [
      "1913.930338718",
      "756.390518667"
    ],
    [
      "2165.232591727",
      "1194.354028500"
    ],
    [
      "751.119794524",
      "1433.932963554"
    ],
    [
      "415.077032685",
      "1869.451225585"
    ],
    [
      "180.878232121",
      "1513.966844352"
    ],
    [
      "716.711216407",
      "1067.792789336"
    ],
    [
      "588.766200486",
      "2003.363432309"
    ],
    [
      "296.490514042",
      "549.950904925"
    ],
    [
      "1600.035217249",
      "2048.273657861"
    ],
    [
      "521.293077533",
      "958.304200892"
    ],
    [
      "720.656161193",
      "842.827375522"
    ],
    [
      "1789.290148218",
      "573.891688773"
    ],
    [
      "1382.705301774",
      "2123.557838403"
    ],
    [
      "1328.716153986",
      "738.709728166"
    ],
    [
      "1071.947797697",
      "1889.734562406"
    ],
    [
      "408.463306181",
      "753.303121144"
    ],
    [
      "528.058196738",
      "1386.736315437"
    ],
    [
      "814.752065890",
      "624.860020029"
    ],
    [
      "624.570237166",
      "1772.118819488"
    ],
    [
      "1201.793820787",
      "945.076403746"
    ],
    [
      "1793.211664002",
      "1905.606880691"
    ],
    [
      "1463.741084938",
      "180.481802417"
    ],
    [
      "2082.537064346",
      "1488.331529418"
    ],
    [
      "1214.385891890",
      "132.129059979"
    ],
    [
      "1035.959627080",
      "318.866889283"
    ],
    [
      "1682.182339143",
      "795.350301691"
    ],
    [
      "1278.623865049",
      "1749.075388564"
    ],
    [
      "1783.580569097",
      "1180.211082150"
    ],
    [
      "822.749897044",
      "1934.170732193"
    ],
    [
      "147.956879183",
      "970.144257367"
    ],
    [
      "1126.476543106",
      "2137.812404876"
    ],
    [
      "1307.131738927",
      "1182.813492243"
    ],
    [
      "941.268658513",
      "964.622802476"
    ],
    [
      "630.914303241",
      "440.725445483"
    ],
    [
      "899.039336501",
      "1237.373025872"
    ],
    [
      "1466.023094458",
      "957.137757751"
    ],
    [
      "407.004713437",
      "1620.582108049"
    ],
    [
      "1297.309785149",
      "390.540419137"
    ],
    [
      "786.443878827",
      "206.692218924"
    ],
    [
      "1548.472631637",
      "1324.780296523"
    ],
    [
      "1067.052636680",
      "712.229476817"
    ],
    [
      "1527.443845326",
      "564.918748230"
    ],
    [
      "1810.228256735",
      "1457.935587269"
    ],
    [
      "995.019005322",
      "1508.351878974"
    ],
    [
      "1698.828667734",
      "324.809934024"
    ],
    [
      "1290.317758952",
      "1468.318816324"
    ],
    [
      "158.154607006",
      "1254.961753931"
    ]
  ],
  "radius": "1136.430940158"
}

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

DISCUSSION

讨论区

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