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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1923.67798369y0
0x1923.67798369
已验证构造r = 961.838991845

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "672.928284690",
      "199.929831933"
    ],
    [
      "1915.319996136",
      "930.550213340"
    ],
    [
      "622.689643848",
      "1669.754299696"
    ],
    [
      "1174.230152954",
      "1243.475658456"
    ],
    [
      "1886.348766759",
      "1052.215105894"
    ],
    [
      "1384.374198166",
      "510.469703578"
    ],
    [
      "988.675235920",
      "550.034370364"
    ],
    [
      "1705.790531100",
      "1119.249715725"
    ],
    [
      "1649.338313737",
      "934.619784293"
    ],
    [
      "38.916387564",
      "757.621309688"
    ],
    [
      "612.194532387",
      "77.620428030"
    ],
    [
      "1010.366871092",
      "783.556910168"
    ],
    [
      "295.593958510",
      "1355.473579072"
    ],
    [
      "1905.008505870",
      "1055.799953543"
    ],
    [
      "604.242720744",
      "771.360357983"
    ],
    [
      "1765.866903559",
      "463.742071917"
    ],
    [
      "95.236795910",
      "587.356560877"
    ],
    [
      "1624.971775721",
      "1630.628455858"
    ],
    [
      "446.201479880",
      "471.833574701"
    ],
    [
      "614.225217219",
      "1129.390868408"
    ],
    [
      "1344.164025341",
      "1821.375550226"
    ],
    [
      "659.914101832",
      "1101.948116251"
    ],
    [
      "1633.122226389",
      "305.487354668"
    ],
    [
      "283.243905624",
      "314.497749856"
    ],
    [
      "1397.063545205",
      "132.232528037"
    ],
    [
      "649.131619252",
      "79.790967201"
    ],
    [
      "1875.089514380",
      "762.783894534"
    ],
    [
      "476.554484682",
      "164.047477089"
    ],
    [
      "1755.363562730",
      "1452.053599546"
    ],
    [
      "556.816608399",
      "1801.036300992"
    ],
    [
      "876.985898400",
      "34.939589091"
    ],
    [
      "349.664981524",
      "1661.203493618"
    ],
    [
      "170.120837410",
      "1447.499895330"
    ],
    [
      "1270.793915637",
      "459.580180865"
    ],
    [
      "1142.297867212",
      "52.796643653"
    ],
    [
      "792.852956009",
      "1872.125517347"
    ],
    [
      "1772.507705722",
      "516.709920251"
    ],
    [
      "1087.996005005",
      "1877.023613046"
    ],
    [
      "820.743110770",
      "404.362326648"
    ],
    [
      "652.118501737",
      "1462.669459764"
    ],
    [
      "735.845029549",
      "1301.831847040"
    ],
    [
      "939.139961258",
      "1341.962003526"
    ],
    [
      "189.690452610",
      "463.791076191"
    ],
    [
      "1482.420728076",
      "1717.764299565"
    ],
    [
      "1598.680856547",
      "1340.620418314"
    ],
    [
      "47.018771035",
      "919.155924536"
    ],
    [
      "1841.874215435",
      "1211.775756326"
    ],
    [
      "1588.512812088",
      "615.749474798"
    ],
    [
      "59.329879842",
      "824.899852872"
    ],
    [
      "149.494982225",
      "547.655992340"
    ],
    [
      "1871.956206565",
      "998.092605923"
    ],
    [
      "177.798247393",
      "1142.531859452"
    ],
    [
      "79.308387952",
      "1178.928941611"
    ],
    [
      "1553.550639319",
      "1650.351127799"
    ],
    [
      "1751.722854114",
      "1164.060642871"
    ],
    [
      "1391.461867707",
      "1759.315301005"
    ],
    [
      "259.119869200",
      "391.821943139"
    ],
    [
      "1319.698343613",
      "537.505510025"
    ],
    [
      "1851.924599948",
      "1106.253295346"
    ],
    [
      "230.003006030",
      "1043.442691635"
    ],
    [
      "474.276668710",
      "1362.804106029"
    ],
    [
      "1221.643561186",
      "377.116597024"
    ],
    [
      "1550.244348723",
      "282.525268653"
    ],
    [
      "930.266682013",
      "1587.283556093"
    ],
    [
      "1446.655213186",
      "207.336898531"
    ],
    [
      "945.982670706",
      "1093.628295870"
    ],
    [
      "593.445409187",
      "1042.755847612"
    ],
    [
      "360.634296240",
      "1301.759768210"
    ],
    [
      "1058.435885876",
      "1622.842199069"
    ],
    [
      "805.291922957",
      "1635.630641060"
    ],
    [
      "1677.757278312",
      "857.594205683"
    ],
    [
      "1082.092964463",
      "1070.868947606"
    ],
    [
      "1379.696287918",
      "1220.165629928"
    ],
    [
      "1402.533792446",
      "884.676238643"
    ],
    [
      "1184.545203328",
      "1552.886568224"
    ],
    [
      "683.976912342",
      "1196.957167457"
    ],
    [
      "797.413387499",
      "839.037244110"
    ],
    [
      "536.658284220",
      "1487.019781557"
    ],
    [
      "310.492339172",
      "769.366922083"
    ],
    [
      "665.225695133",
      "1581.951484737"
    ],
    [
      "585.941235111",
      "166.138957064"
    ],
    [
      "310.608652198",
      "1160.347481126"
    ],
    [
      "86.703364830",
      "1041.969690176"
    ],
    [
      "617.980710612",
      "1343.461191520"
    ],
    [
      "1833.600509099",
      "867.613333730"
    ],
    [
      "1112.874041397",
      "757.757484762"
    ],
    [
      "1459.476909513",
      "576.066533287"
    ],
    [
      "934.983265920",
      "462.076762885"
    ],
    [
      "883.429769635",
      "292.632490360"
    ],
    [
      "766.143545866",
      "521.311655755"
    ],
    [
      "1550.440786325",
      "957.809823006"
    ],
    [
      "1392.644503573",
      "1050.488478339"
    ],
    [
      "1462.665997942",
      "1363.943330630"
    ],
    [
      "1229.184092832",
      "1147.811783240"
    ],
    [
      "1727.070990955",
      "1016.100223694"
    ],
    [
      "187.097884002",
      "893.458857493"
    ],
    [
      "624.921523144",
      "881.760215044"
    ],
    [
      "854.819186926",
      "1229.955913121"
    ],
    [
      "1067.651950343",
      "330.131665493"
    ],
    [
      "692.519246571",
      "696.467193959"
    ],
    [
      "1743.537257297",
      "1322.382458945"
    ],
    [
      "143.504590259",
      "699.537904379"
    ],
    [
      "1055.341021445",
      "1243.812098802"
    ],
    [
      "1037.026875044",
      "1451.172008716"
    ],
    [
      "490.452474467",
      "731.021782823"
    ],
    [
      "1531.019194262",
      "758.614739680"
    ],
    [
      "691.522520755",
      "1771.223867748"
    ],
    [
      "773.781959293",
      "128.967107041"
    ],
    [
      "499.058820347",
      "1191.452691701"
    ],
    [
      "182.663276824",
      "1304.971660351"
    ],
    [
      "565.260360978",
      "528.163373330"
    ],
    [
      "495.979423944",
      "1672.614044203"
    ],
    [
      "1620.061291171",
      "1497.167143028"
    ],
    [
      "684.742814196",
      "334.255725924"
    ],
    [
      "776.571779264",
      "1029.902713400"
    ],
    [
      "1399.573613335",
      "382.106240682"
    ],
    [
      "1311.672962386",
      "716.672341183"
    ],
    [
      "978.380957356",
      "911.671524314"
    ],
    [
      "1216.165221271",
      "934.833547968"
    ],
    [
      "1002.678522363",
      "120.991192936"
    ],
    [
      "812.118466703",
      "1444.752674022"
    ],
    [
      "1627.989184898",
      "450.396470621"
    ],
    [
      "1246.666059527",
      "1364.106445317"
    ],
    [
      "1749.511433973",
      "676.275863681"
    ],
    [
      "1571.932132878",
      "1172.738001769"
    ],
    [
      "917.533336638",
      "675.380248436"
    ],
    [
      "1134.888813315",
      "545.898215863"
    ],
    [
      "328.839715611",
      "563.181632157"
    ],
    [
      "1387.740452225",
      "1572.917402226"
    ],
    [
      "1205.477147389",
      "1756.931227008"
    ],
    [
      "327.078350244",
      "1497.910216817"
    ],
    [
      "439.129872292",
      "320.461423833"
    ],
    [
      "1247.740077902",
      "183.870712677"
    ],
    [
      "940.698972350",
      "1788.211540831"
    ],
    [
      "407.486503653",
      "962.667645523"
    ]
  ],
  "radius": "961.838991845"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 135
}

当前第一名的答案

{
  "centers": [
    [
      "672.928284690",
      "199.929831933"
    ],
    [
      "1915.319996136",
      "930.550213340"
    ],
    [
      "622.689643848",
      "1669.754299696"
    ],
    [
      "1174.230152954",
      "1243.475658456"
    ],
    [
      "1886.348766759",
      "1052.215105894"
    ],
    [
      "1384.374198166",
      "510.469703578"
    ],
    [
      "988.675235920",
      "550.034370364"
    ],
    [
      "1705.790531100",
      "1119.249715725"
    ],
    [
      "1649.338313737",
      "934.619784293"
    ],
    [
      "38.916387564",
      "757.621309688"
    ],
    [
      "612.194532387",
      "77.620428030"
    ],
    [
      "1010.366871092",
      "783.556910168"
    ],
    [
      "295.593958510",
      "1355.473579072"
    ],
    [
      "1905.008505870",
      "1055.799953543"
    ],
    [
      "604.242720744",
      "771.360357983"
    ],
    [
      "1765.866903559",
      "463.742071917"
    ],
    [
      "95.236795910",
      "587.356560877"
    ],
    [
      "1624.971775721",
      "1630.628455858"
    ],
    [
      "446.201479880",
      "471.833574701"
    ],
    [
      "614.225217219",
      "1129.390868408"
    ],
    [
      "1344.164025341",
      "1821.375550226"
    ],
    [
      "659.914101832",
      "1101.948116251"
    ],
    [
      "1633.122226389",
      "305.487354668"
    ],
    [
      "283.243905624",
      "314.497749856"
    ],
    [
      "1397.063545205",
      "132.232528037"
    ],
    [
      "649.131619252",
      "79.790967201"
    ],
    [
      "1875.089514380",
      "762.783894534"
    ],
    [
      "476.554484682",
      "164.047477089"
    ],
    [
      "1755.363562730",
      "1452.053599546"
    ],
    [
      "556.816608399",
      "1801.036300992"
    ],
    [
      "876.985898400",
      "34.939589091"
    ],
    [
      "349.664981524",
      "1661.203493618"
    ],
    [
      "170.120837410",
      "1447.499895330"
    ],
    [
      "1270.793915637",
      "459.580180865"
    ],
    [
      "1142.297867212",
      "52.796643653"
    ],
    [
      "792.852956009",
      "1872.125517347"
    ],
    [
      "1772.507705722",
      "516.709920251"
    ],
    [
      "1087.996005005",
      "1877.023613046"
    ],
    [
      "820.743110770",
      "404.362326648"
    ],
    [
      "652.118501737",
      "1462.669459764"
    ],
    [
      "735.845029549",
      "1301.831847040"
    ],
    [
      "939.139961258",
      "1341.962003526"
    ],
    [
      "189.690452610",
      "463.791076191"
    ],
    [
      "1482.420728076",
      "1717.764299565"
    ],
    [
      "1598.680856547",
      "1340.620418314"
    ],
    [
      "47.018771035",
      "919.155924536"
    ],
    [
      "1841.874215435",
      "1211.775756326"
    ],
    [
      "1588.512812088",
      "615.749474798"
    ],
    [
      "59.329879842",
      "824.899852872"
    ],
    [
      "149.494982225",
      "547.655992340"
    ],
    [
      "1871.956206565",
      "998.092605923"
    ],
    [
      "177.798247393",
      "1142.531859452"
    ],
    [
      "79.308387952",
      "1178.928941611"
    ],
    [
      "1553.550639319",
      "1650.351127799"
    ],
    [
      "1751.722854114",
      "1164.060642871"
    ],
    [
      "1391.461867707",
      "1759.315301005"
    ],
    [
      "259.119869200",
      "391.821943139"
    ],
    [
      "1319.698343613",
      "537.505510025"
    ],
    [
      "1851.924599948",
      "1106.253295346"
    ],
    [
      "230.003006030",
      "1043.442691635"
    ],
    [
      "474.276668710",
      "1362.804106029"
    ],
    [
      "1221.643561186",
      "377.116597024"
    ],
    [
      "1550.244348723",
      "282.525268653"
    ],
    [
      "930.266682013",
      "1587.283556093"
    ],
    [
      "1446.655213186",
      "207.336898531"
    ],
    [
      "945.982670706",
      "1093.628295870"
    ],
    [
      "593.445409187",
      "1042.755847612"
    ],
    [
      "360.634296240",
      "1301.759768210"
    ],
    [
      "1058.435885876",
      "1622.842199069"
    ],
    [
      "805.291922957",
      "1635.630641060"
    ],
    [
      "1677.757278312",
      "857.594205683"
    ],
    [
      "1082.092964463",
      "1070.868947606"
    ],
    [
      "1379.696287918",
      "1220.165629928"
    ],
    [
      "1402.533792446",
      "884.676238643"
    ],
    [
      "1184.545203328",
      "1552.886568224"
    ],
    [
      "683.976912342",
      "1196.957167457"
    ],
    [
      "797.413387499",
      "839.037244110"
    ],
    [
      "536.658284220",
      "1487.019781557"
    ],
    [
      "310.492339172",
      "769.366922083"
    ],
    [
      "665.225695133",
      "1581.951484737"
    ],
    [
      "585.941235111",
      "166.138957064"
    ],
    [
      "310.608652198",
      "1160.347481126"
    ],
    [
      "86.703364830",
      "1041.969690176"
    ],
    [
      "617.980710612",
      "1343.461191520"
    ],
    [
      "1833.600509099",
      "867.613333730"
    ],
    [
      "1112.874041397",
      "757.757484762"
    ],
    [
      "1459.476909513",
      "576.066533287"
    ],
    [
      "934.983265920",
      "462.076762885"
    ],
    [
      "883.429769635",
      "292.632490360"
    ],
    [
      "766.143545866",
      "521.311655755"
    ],
    [
      "1550.440786325",
      "957.809823006"
    ],
    [
      "1392.644503573",
      "1050.488478339"
    ],
    [
      "1462.665997942",
      "1363.943330630"
    ],
    [
      "1229.184092832",
      "1147.811783240"
    ],
    [
      "1727.070990955",
      "1016.100223694"
    ],
    [
      "187.097884002",
      "893.458857493"
    ],
    [
      "624.921523144",
      "881.760215044"
    ],
    [
      "854.819186926",
      "1229.955913121"
    ],
    [
      "1067.651950343",
      "330.131665493"
    ],
    [
      "692.519246571",
      "696.467193959"
    ],
    [
      "1743.537257297",
      "1322.382458945"
    ],
    [
      "143.504590259",
      "699.537904379"
    ],
    [
      "1055.341021445",
      "1243.812098802"
    ],
    [
      "1037.026875044",
      "1451.172008716"
    ],
    [
      "490.452474467",
      "731.021782823"
    ],
    [
      "1531.019194262",
      "758.614739680"
    ],
    [
      "691.522520755",
      "1771.223867748"
    ],
    [
      "773.781959293",
      "128.967107041"
    ],
    [
      "499.058820347",
      "1191.452691701"
    ],
    [
      "182.663276824",
      "1304.971660351"
    ],
    [
      "565.260360978",
      "528.163373330"
    ],
    [
      "495.979423944",
      "1672.614044203"
    ],
    [
      "1620.061291171",
      "1497.167143028"
    ],
    [
      "684.742814196",
      "334.255725924"
    ],
    [
      "776.571779264",
      "1029.902713400"
    ],
    [
      "1399.573613335",
      "382.106240682"
    ],
    [
      "1311.672962386",
      "716.672341183"
    ],
    [
      "978.380957356",
      "911.671524314"
    ],
    [
      "1216.165221271",
      "934.833547968"
    ],
    [
      "1002.678522363",
      "120.991192936"
    ],
    [
      "812.118466703",
      "1444.752674022"
    ],
    [
      "1627.989184898",
      "450.396470621"
    ],
    [
      "1246.666059527",
      "1364.106445317"
    ],
    [
      "1749.511433973",
      "676.275863681"
    ],
    [
      "1571.932132878",
      "1172.738001769"
    ],
    [
      "917.533336638",
      "675.380248436"
    ],
    [
      "1134.888813315",
      "545.898215863"
    ],
    [
      "328.839715611",
      "563.181632157"
    ],
    [
      "1387.740452225",
      "1572.917402226"
    ],
    [
      "1205.477147389",
      "1756.931227008"
    ],
    [
      "327.078350244",
      "1497.910216817"
    ],
    [
      "439.129872292",
      "320.461423833"
    ],
    [
      "1247.740077902",
      "183.870712677"
    ],
    [
      "940.698972350",
      "1788.211540831"
    ],
    [
      "407.486503653",
      "962.667645523"
    ]
  ],
  "radius": "961.838991845"
}

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

DISCUSSION

讨论区

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