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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2386.35610357y0
0x2386.35610357
已验证构造r = 1193.178051785

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1083.740480177",
      "40.591431991"
    ],
    [
      "1394.018791944",
      "686.610814362"
    ],
    [
      "879.991434377",
      "1652.506909594"
    ],
    [
      "809.322633956",
      "1736.455082477"
    ],
    [
      "634.193126852",
      "1998.304682755"
    ],
    [
      "1957.238563380",
      "286.022074391"
    ],
    [
      "1239.209148258",
      "402.092712051"
    ],
    [
      "484.993507812",
      "1268.327671483"
    ],
    [
      "742.972332262",
      "2288.327309104"
    ],
    [
      "1284.968330837",
      "892.350975557"
    ],
    [
      "1552.637452272",
      "318.148306150"
    ],
    [
      "1473.145326553",
      "1651.876165606"
    ],
    [
      "1748.360641530",
      "1795.297697961"
    ],
    [
      "1843.187299590",
      "1991.552554065"
    ],
    [
      "1186.019880973",
      "1319.138813130"
    ],
    [
      "346.935705843",
      "2009.883197052"
    ],
    [
      "1099.262151718",
      "2365.408099862"
    ],
    [
      "2365.423122073",
      "1113.131309665"
    ],
    [
      "1847.811810141",
      "470.507720669"
    ],
    [
      "2096.577337504",
      "1514.611887047"
    ],
    [
      "306.200604511",
      "427.007808824"
    ],
    [
      "1537.097718501",
      "73.894478207"
    ],
    [
      "2308.092708076",
      "838.672064274"
    ],
    [
      "1308.984621395",
      "2356.410560912"
    ],
    [
      "1949.417832387",
      "2083.353258643"
    ],
    [
      "1515.593121666",
      "2314.518684015"
    ],
    [
      "1332.563044367",
      "35.580939434"
    ],
    [
      "2350.911096153",
      "1321.854853255"
    ],
    [
      "1780.736825344",
      "2198.018520364"
    ],
    [
      "30.543412706",
      "1166.787536633"
    ],
    [
      "63.728576431",
      "920.056676288"
    ],
    [
      "1753.395453013",
      "176.181458596"
    ],
    [
      "1819.450634310",
      "980.112751853"
    ],
    [
      "540.288598666",
      "2150.771138452"
    ],
    [
      "1977.306289973",
      "341.085317873"
    ],
    [
      "165.098225125",
      "662.243496616"
    ],
    [
      "2119.198387049",
      "1885.345141792"
    ],
    [
      "2274.438773452",
      "1598.884619021"
    ],
    [
      "2169.433507030",
      "577.645662473"
    ],
    [
      "539.834101076",
      "1010.987677362"
    ],
    [
      "101.332729472",
      "1561.110896358"
    ],
    [
      "918.931596529",
      "75.190050089"
    ],
    [
      "1915.584304562",
      "1621.118943245"
    ],
    [
      "134.221340149",
      "1639.503525555"
    ],
    [
      "826.832913951",
      "105.548523092"
    ],
    [
      "330.193326804",
      "1948.247782386"
    ],
    [
      "658.178966896",
      "1532.817145050"
    ],
    [
      "1297.346123544",
      "1568.905170121"
    ],
    [
      "243.806126370",
      "1156.847570407"
    ],
    [
      "678.097569495",
      "1298.050192717"
    ],
    [
      "1144.312847866",
      "1767.064643981"
    ],
    [
      "453.729596969",
      "323.993692454"
    ],
    [
      "387.936404883",
      "1865.001319170"
    ],
    [
      "1789.143997257",
      "1300.488934358"
    ],
    [
      "377.653043937",
      "399.263736586"
    ],
    [
      "88.929748982",
      "1464.857287677"
    ],
    [
      "1017.882088358",
      "70.636445852"
    ],
    [
      "493.602536268",
      "1828.122238657"
    ],
    [
      "2318.211062008",
      "1049.699806397"
    ],
    [
      "840.754423688",
      "1962.663092828"
    ],
    [
      "783.308695657",
      "632.497349020"
    ],
    [
      "1742.578754706",
      "1038.204941344"
    ],
    [
      "272.996446619",
      "1849.355041816"
    ],
    [
      "515.710480727",
      "889.729369446"
    ],
    [
      "702.441432222",
      "527.014390907"
    ],
    [
      "2288.704186738",
      "928.160668679"
    ],
    [
      "789.342298049",
      "767.975355610"
    ],
    [
      "1023.778239824",
      "2305.531121594"
    ],
    [
      "1613.241135289",
      "1017.401571320"
    ],
    [
      "1796.302560680",
      "1591.367081603"
    ],
    [
      "890.770998924",
      "862.411595661"
    ],
    [
      "1223.258079540",
      "487.585796131"
    ],
    [
      "209.509054486",
      "1729.083054049"
    ],
    [
      "886.426300106",
      "2269.497184023"
    ],
    [
      "907.225951763",
      "1009.212108748"
    ],
    [
      "358.145283110",
      "1739.488415196"
    ],
    [
      "1524.755752167",
      "526.101340012"
    ],
    [
      "1157.893471398",
      "1895.347794334"
    ],
    [
      "1160.597110884",
      "348.176445583"
    ],
    [
      "399.360721716",
      "804.786437596"
    ],
    [
      "1336.045655512",
      "968.166660980"
    ],
    [
      "1613.683304779",
      "394.295079209"
    ],
    [
      "577.276336515",
      "269.511237511"
    ],
    [
      "723.284201603",
      "188.451362523"
    ],
    [
      "926.958169922",
      "1560.801984604"
    ],
    [
      "1018.352348310",
      "1126.055338424"
    ],
    [
      "1836.928159637",
      "2092.742213416"
    ],
    [
      "1422.399662634",
      "112.032372764"
    ],
    [
      "2100.337274493",
      "1250.280406278"
    ],
    [
      "1398.559969403",
      "2276.986026989"
    ],
    [
      "1906.870815562",
      "726.796348616"
    ],
    [
      "722.905967914",
      "367.472712078"
    ],
    [
      "1497.715582273",
      "903.832884610"
    ],
    [
      "858.567429184",
      "496.919988194"
    ],
    [
      "1525.470435150",
      "1915.191782915"
    ],
    [
      "1465.563004328",
      "1092.118955346"
    ],
    [
      "1362.114953808",
      "587.939602522"
    ],
    [
      "1854.094053068",
      "1749.114168447"
    ],
    [
      "1052.346951328",
      "493.098169101"
    ],
    [
      "759.483171411",
      "1639.396671918"
    ],
    [
      "2285.272360839",
      "1206.702730362"
    ],
    [
      "1335.342686062",
      "785.130488928"
    ],
    [
      "1942.090967160",
      "917.759318205"
    ],
    [
      "1173.091251216",
      "656.284608628"
    ],
    [
      "1527.468672432",
      "708.081119287"
    ],
    [
      "1266.883756751",
      "1414.586829896"
    ],
    [
      "1447.065191073",
      "1528.190045718"
    ],
    [
      "543.983628747",
      "457.587274289"
    ],
    [
      "1198.519267631",
      "2277.342946709"
    ],
    [
      "362.910864228",
      "1263.323787942"
    ],
    [
      "1736.664356193",
      "1922.005077095"
    ],
    [
      "121.317817935",
      "1051.539007953"
    ],
    [
      "1659.868761815",
      "1193.327306920"
    ],
    [
      "780.244717898",
      "1426.354362849"
    ],
    [
      "1606.576255633",
      "197.402054685"
    ],
    [
      "1459.632223920",
      "1304.441342452"
    ],
    [
      "953.700512283",
      "685.256645545"
    ],
    [
      "487.285856179",
      "2004.179932929"
    ],
    [
      "570.865107199",
      "1167.427839997"
    ],
    [
      "1969.702926862",
      "1933.934590209"
    ],
    [
      "1129.987134678",
      "1595.662269604"
    ],
    [
      "545.036413133",
      "1407.039773275"
    ],
    [
      "536.834106877",
      "1651.902433093"
    ],
    [
      "2134.175268360",
      "1039.985398796"
    ],
    [
      "129.253258707",
      "1288.406120027"
    ],
    [
      "815.701511914",
      "1188.317995841"
    ],
    [
      "193.112570967",
      "823.577358899"
    ],
    [
      "1812.441782970",
      "326.508153126"
    ],
    [
      "684.810903525",
      "1855.880048669"
    ],
    [
      "1666.250297768",
      "1437.951535175"
    ],
    [
      "1718.454683394",
      "846.718573200"
    ],
    [
      "2227.060504015",
      "1432.313855366"
    ],
    [
      "1902.089346688",
      "1150.371652298"
    ],
    [
      "365.733380602",
      "1019.340113483"
    ],
    [
      "705.205183486",
      "951.861738989"
    ],
    [
      "1199.687759702",
      "136.020042366"
    ],
    [
      "1732.214003345",
      "579.072013130"
    ],
    [
      "1620.136621229",
      "1701.954430687"
    ],
    [
      "2000.840879265",
      "515.703238991"
    ],
    [
      "593.406518224",
      "700.612742083"
    ],
    [
      "1241.268789629",
      "1168.918611642"
    ],
    [
      "1026.420389081",
      "1353.912545287"
    ],
    [
      "332.050153782",
      "592.068507918"
    ],
    [
      "950.771597458",
      "1790.871878041"
    ],
    [
      "719.383297999",
      "2127.872202300"
    ],
    [
      "1341.772765562",
      "1758.253310413"
    ],
    [
      "1389.935571930",
      "345.530829542"
    ],
    [
      "1321.238083550",
      "2051.535302419"
    ],
    [
      "1945.156893573",
      "1430.732752834"
    ],
    [
      "2144.970360069",
      "766.198134674"
    ],
    [
      "944.584335653",
      "267.516213564"
    ],
    [
      "1604.776484414",
      "2149.545379633"
    ],
    [
      "1110.574965253",
      "905.565000938"
    ],
    [
      "292.179803250",
      "1517.672204517"
    ],
    [
      "1019.207278615",
      "2082.577973344"
    ],
    [
      "2102.528011021",
      "1691.997621107"
    ]
  ],
  "radius": "1193.178051785"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 156
}

当前第一名的答案

{
  "centers": [
    [
      "1083.740480177",
      "40.591431991"
    ],
    [
      "1394.018791944",
      "686.610814362"
    ],
    [
      "879.991434377",
      "1652.506909594"
    ],
    [
      "809.322633956",
      "1736.455082477"
    ],
    [
      "634.193126852",
      "1998.304682755"
    ],
    [
      "1957.238563380",
      "286.022074391"
    ],
    [
      "1239.209148258",
      "402.092712051"
    ],
    [
      "484.993507812",
      "1268.327671483"
    ],
    [
      "742.972332262",
      "2288.327309104"
    ],
    [
      "1284.968330837",
      "892.350975557"
    ],
    [
      "1552.637452272",
      "318.148306150"
    ],
    [
      "1473.145326553",
      "1651.876165606"
    ],
    [
      "1748.360641530",
      "1795.297697961"
    ],
    [
      "1843.187299590",
      "1991.552554065"
    ],
    [
      "1186.019880973",
      "1319.138813130"
    ],
    [
      "346.935705843",
      "2009.883197052"
    ],
    [
      "1099.262151718",
      "2365.408099862"
    ],
    [
      "2365.423122073",
      "1113.131309665"
    ],
    [
      "1847.811810141",
      "470.507720669"
    ],
    [
      "2096.577337504",
      "1514.611887047"
    ],
    [
      "306.200604511",
      "427.007808824"
    ],
    [
      "1537.097718501",
      "73.894478207"
    ],
    [
      "2308.092708076",
      "838.672064274"
    ],
    [
      "1308.984621395",
      "2356.410560912"
    ],
    [
      "1949.417832387",
      "2083.353258643"
    ],
    [
      "1515.593121666",
      "2314.518684015"
    ],
    [
      "1332.563044367",
      "35.580939434"
    ],
    [
      "2350.911096153",
      "1321.854853255"
    ],
    [
      "1780.736825344",
      "2198.018520364"
    ],
    [
      "30.543412706",
      "1166.787536633"
    ],
    [
      "63.728576431",
      "920.056676288"
    ],
    [
      "1753.395453013",
      "176.181458596"
    ],
    [
      "1819.450634310",
      "980.112751853"
    ],
    [
      "540.288598666",
      "2150.771138452"
    ],
    [
      "1977.306289973",
      "341.085317873"
    ],
    [
      "165.098225125",
      "662.243496616"
    ],
    [
      "2119.198387049",
      "1885.345141792"
    ],
    [
      "2274.438773452",
      "1598.884619021"
    ],
    [
      "2169.433507030",
      "577.645662473"
    ],
    [
      "539.834101076",
      "1010.987677362"
    ],
    [
      "101.332729472",
      "1561.110896358"
    ],
    [
      "918.931596529",
      "75.190050089"
    ],
    [
      "1915.584304562",
      "1621.118943245"
    ],
    [
      "134.221340149",
      "1639.503525555"
    ],
    [
      "826.832913951",
      "105.548523092"
    ],
    [
      "330.193326804",
      "1948.247782386"
    ],
    [
      "658.178966896",
      "1532.817145050"
    ],
    [
      "1297.346123544",
      "1568.905170121"
    ],
    [
      "243.806126370",
      "1156.847570407"
    ],
    [
      "678.097569495",
      "1298.050192717"
    ],
    [
      "1144.312847866",
      "1767.064643981"
    ],
    [
      "453.729596969",
      "323.993692454"
    ],
    [
      "387.936404883",
      "1865.001319170"
    ],
    [
      "1789.143997257",
      "1300.488934358"
    ],
    [
      "377.653043937",
      "399.263736586"
    ],
    [
      "88.929748982",
      "1464.857287677"
    ],
    [
      "1017.882088358",
      "70.636445852"
    ],
    [
      "493.602536268",
      "1828.122238657"
    ],
    [
      "2318.211062008",
      "1049.699806397"
    ],
    [
      "840.754423688",
      "1962.663092828"
    ],
    [
      "783.308695657",
      "632.497349020"
    ],
    [
      "1742.578754706",
      "1038.204941344"
    ],
    [
      "272.996446619",
      "1849.355041816"
    ],
    [
      "515.710480727",
      "889.729369446"
    ],
    [
      "702.441432222",
      "527.014390907"
    ],
    [
      "2288.704186738",
      "928.160668679"
    ],
    [
      "789.342298049",
      "767.975355610"
    ],
    [
      "1023.778239824",
      "2305.531121594"
    ],
    [
      "1613.241135289",
      "1017.401571320"
    ],
    [
      "1796.302560680",
      "1591.367081603"
    ],
    [
      "890.770998924",
      "862.411595661"
    ],
    [
      "1223.258079540",
      "487.585796131"
    ],
    [
      "209.509054486",
      "1729.083054049"
    ],
    [
      "886.426300106",
      "2269.497184023"
    ],
    [
      "907.225951763",
      "1009.212108748"
    ],
    [
      "358.145283110",
      "1739.488415196"
    ],
    [
      "1524.755752167",
      "526.101340012"
    ],
    [
      "1157.893471398",
      "1895.347794334"
    ],
    [
      "1160.597110884",
      "348.176445583"
    ],
    [
      "399.360721716",
      "804.786437596"
    ],
    [
      "1336.045655512",
      "968.166660980"
    ],
    [
      "1613.683304779",
      "394.295079209"
    ],
    [
      "577.276336515",
      "269.511237511"
    ],
    [
      "723.284201603",
      "188.451362523"
    ],
    [
      "926.958169922",
      "1560.801984604"
    ],
    [
      "1018.352348310",
      "1126.055338424"
    ],
    [
      "1836.928159637",
      "2092.742213416"
    ],
    [
      "1422.399662634",
      "112.032372764"
    ],
    [
      "2100.337274493",
      "1250.280406278"
    ],
    [
      "1398.559969403",
      "2276.986026989"
    ],
    [
      "1906.870815562",
      "726.796348616"
    ],
    [
      "722.905967914",
      "367.472712078"
    ],
    [
      "1497.715582273",
      "903.832884610"
    ],
    [
      "858.567429184",
      "496.919988194"
    ],
    [
      "1525.470435150",
      "1915.191782915"
    ],
    [
      "1465.563004328",
      "1092.118955346"
    ],
    [
      "1362.114953808",
      "587.939602522"
    ],
    [
      "1854.094053068",
      "1749.114168447"
    ],
    [
      "1052.346951328",
      "493.098169101"
    ],
    [
      "759.483171411",
      "1639.396671918"
    ],
    [
      "2285.272360839",
      "1206.702730362"
    ],
    [
      "1335.342686062",
      "785.130488928"
    ],
    [
      "1942.090967160",
      "917.759318205"
    ],
    [
      "1173.091251216",
      "656.284608628"
    ],
    [
      "1527.468672432",
      "708.081119287"
    ],
    [
      "1266.883756751",
      "1414.586829896"
    ],
    [
      "1447.065191073",
      "1528.190045718"
    ],
    [
      "543.983628747",
      "457.587274289"
    ],
    [
      "1198.519267631",
      "2277.342946709"
    ],
    [
      "362.910864228",
      "1263.323787942"
    ],
    [
      "1736.664356193",
      "1922.005077095"
    ],
    [
      "121.317817935",
      "1051.539007953"
    ],
    [
      "1659.868761815",
      "1193.327306920"
    ],
    [
      "780.244717898",
      "1426.354362849"
    ],
    [
      "1606.576255633",
      "197.402054685"
    ],
    [
      "1459.632223920",
      "1304.441342452"
    ],
    [
      "953.700512283",
      "685.256645545"
    ],
    [
      "487.285856179",
      "2004.179932929"
    ],
    [
      "570.865107199",
      "1167.427839997"
    ],
    [
      "1969.702926862",
      "1933.934590209"
    ],
    [
      "1129.987134678",
      "1595.662269604"
    ],
    [
      "545.036413133",
      "1407.039773275"
    ],
    [
      "536.834106877",
      "1651.902433093"
    ],
    [
      "2134.175268360",
      "1039.985398796"
    ],
    [
      "129.253258707",
      "1288.406120027"
    ],
    [
      "815.701511914",
      "1188.317995841"
    ],
    [
      "193.112570967",
      "823.577358899"
    ],
    [
      "1812.441782970",
      "326.508153126"
    ],
    [
      "684.810903525",
      "1855.880048669"
    ],
    [
      "1666.250297768",
      "1437.951535175"
    ],
    [
      "1718.454683394",
      "846.718573200"
    ],
    [
      "2227.060504015",
      "1432.313855366"
    ],
    [
      "1902.089346688",
      "1150.371652298"
    ],
    [
      "365.733380602",
      "1019.340113483"
    ],
    [
      "705.205183486",
      "951.861738989"
    ],
    [
      "1199.687759702",
      "136.020042366"
    ],
    [
      "1732.214003345",
      "579.072013130"
    ],
    [
      "1620.136621229",
      "1701.954430687"
    ],
    [
      "2000.840879265",
      "515.703238991"
    ],
    [
      "593.406518224",
      "700.612742083"
    ],
    [
      "1241.268789629",
      "1168.918611642"
    ],
    [
      "1026.420389081",
      "1353.912545287"
    ],
    [
      "332.050153782",
      "592.068507918"
    ],
    [
      "950.771597458",
      "1790.871878041"
    ],
    [
      "719.383297999",
      "2127.872202300"
    ],
    [
      "1341.772765562",
      "1758.253310413"
    ],
    [
      "1389.935571930",
      "345.530829542"
    ],
    [
      "1321.238083550",
      "2051.535302419"
    ],
    [
      "1945.156893573",
      "1430.732752834"
    ],
    [
      "2144.970360069",
      "766.198134674"
    ],
    [
      "944.584335653",
      "267.516213564"
    ],
    [
      "1604.776484414",
      "2149.545379633"
    ],
    [
      "1110.574965253",
      "905.565000938"
    ],
    [
      "292.179803250",
      "1517.672204517"
    ],
    [
      "1019.207278615",
      "2082.577973344"
    ],
    [
      "2102.528011021",
      "1691.997621107"
    ]
  ],
  "radius": "1193.178051785"
}

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

DISCUSSION

讨论区

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