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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1966.607650754y0
0x1966.607650754
已验证构造r = 983.303825377

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "780.288461260",
      "1944.342188837"
    ],
    [
      "1144.269894348",
      "1564.812410739"
    ],
    [
      "399.032505457",
      "1532.921210742"
    ],
    [
      "1043.988149703",
      "1218.177804793"
    ],
    [
      "1281.507794708",
      "1400.485582894"
    ],
    [
      "150.007197563",
      "472.992836273"
    ],
    [
      "775.010023767",
      "316.466091878"
    ],
    [
      "1104.195378431",
      "1950.938783945"
    ],
    [
      "600.577667041",
      "796.600611900"
    ],
    [
      "1448.976711149",
      "447.656964957"
    ],
    [
      "1241.917854330",
      "1919.939897242"
    ],
    [
      "150.120832793",
      "1482.113345353"
    ],
    [
      "994.954415041",
      "447.176811916"
    ],
    [
      "390.740938561",
      "698.279835217"
    ],
    [
      "147.828430361",
      "494.637063967"
    ],
    [
      "271.112642507",
      "1116.349083147"
    ],
    [
      "30.587846054",
      "824.644169945"
    ],
    [
      "1608.967489787",
      "1718.255937149"
    ],
    [
      "1693.983762198",
      "1635.082739671"
    ],
    [
      "65.569368605",
      "690.638384089"
    ],
    [
      "1716.293402895",
      "359.969488562"
    ],
    [
      "315.424680100",
      "292.056025591"
    ],
    [
      "1880.304775822",
      "640.735903742"
    ],
    [
      "1903.870436531",
      "1253.014163648"
    ],
    [
      "1311.031196266",
      "82.879548070"
    ],
    [
      "1936.053297247",
      "1076.434300613"
    ],
    [
      "295.644873430",
      "1647.154697637"
    ],
    [
      "1927.466078786",
      "838.509855868"
    ],
    [
      "1812.760703901",
      "1455.121899299"
    ],
    [
      "1518.195271246",
      "194.494319266"
    ],
    [
      "810.968927267",
      "46.776104790"
    ],
    [
      "34.631800509",
      "1053.290832984"
    ],
    [
      "749.142951195",
      "1904.306564530"
    ],
    [
      "497.509069711",
      "1798.890245225"
    ],
    [
      "1541.563112584",
      "1217.980784021"
    ],
    [
      "1355.902130275",
      "1494.554918383"
    ],
    [
      "1086.471064334",
      "308.236272215"
    ],
    [
      "541.490620775",
      "147.600280745"
    ],
    [
      "172.861670563",
      "785.823923204"
    ],
    [
      "1131.077389078",
      "1400.773201907"
    ],
    [
      "708.640433278",
      "1617.166295897"
    ],
    [
      "1744.549791084",
      "840.230157338"
    ],
    [
      "347.023596132",
      "1369.835990378"
    ],
    [
      "1635.722800727",
      "1659.055455301"
    ],
    [
      "1099.154404120",
      "599.514225131"
    ],
    [
      "112.706397736",
      "1330.567746241"
    ],
    [
      "352.571287677",
      "650.657028530"
    ],
    [
      "153.684032222",
      "1415.173506867"
    ],
    [
      "515.012814294",
      "481.012921074"
    ],
    [
      "1030.816588447",
      "1915.394881196"
    ],
    [
      "1436.108727204",
      "1797.649965532"
    ],
    [
      "1042.256327951",
      "1808.871450985"
    ],
    [
      "1341.591393965",
      "1406.712998853"
    ],
    [
      "1077.470783735",
      "59.064328484"
    ],
    [
      "81.295170975",
      "764.169303224"
    ],
    [
      "216.988212824",
      "461.193686877"
    ],
    [
      "1490.990506307",
      "1141.070589996"
    ],
    [
      "291.565294456",
      "368.889595657"
    ],
    [
      "1523.485539508",
      "866.254966968"
    ],
    [
      "1545.506659751",
      "1607.313838701"
    ],
    [
      "1528.546844648",
      "1727.142612555"
    ],
    [
      "1729.182155765",
      "442.502332303"
    ],
    [
      "1408.265260300",
      "906.358423919"
    ],
    [
      "983.157299620",
      "1704.029591720"
    ],
    [
      "793.283545240",
      "1261.131793368"
    ],
    [
      "605.897838634",
      "1587.283872199"
    ],
    [
      "1637.408573071",
      "534.273615636"
    ],
    [
      "904.451750253",
      "1334.728839637"
    ],
    [
      "681.111681204",
      "796.362843492"
    ],
    [
      "431.205068094",
      "998.851456523"
    ],
    [
      "239.133399556",
      "1331.462132504"
    ],
    [
      "861.714572122",
      "1004.245505925"
    ],
    [
      "1073.118481341",
      "193.524644884"
    ],
    [
      "1148.854103255",
      "1877.385184102"
    ],
    [
      "1113.500449592",
      "1165.622152271"
    ],
    [
      "281.043544422",
      "1023.918779407"
    ],
    [
      "1871.871231509",
      "1157.042176786"
    ],
    [
      "742.276057019",
      "661.429190659"
    ],
    [
      "1049.988430963",
      "1305.915500260"
    ],
    [
      "1511.543141100",
      "1005.519761072"
    ],
    [
      "1201.196862578",
      "279.034458711"
    ],
    [
      "1651.889802625",
      "924.507393644"
    ],
    [
      "1205.392254286",
      "110.822474441"
    ],
    [
      "1301.366953129",
      "1824.483483418"
    ],
    [
      "750.759471316",
      "1115.321901311"
    ],
    [
      "714.140027350",
      "947.803024265"
    ],
    [
      "1784.228888522",
      "580.961196999"
    ],
    [
      "1600.514815309",
      "1326.130738857"
    ],
    [
      "833.283113443",
      "1654.101404958"
    ],
    [
      "1423.192281829",
      "754.088321704"
    ],
    [
      "544.921505332",
      "884.538302956"
    ],
    [
      "1843.495006979",
      "749.865096323"
    ],
    [
      "579.725346248",
      "1066.013402424"
    ],
    [
      "1482.404006161",
      "1464.600362829"
    ],
    [
      "1224.942351022",
      "1497.800872804"
    ],
    [
      "1422.057540965",
      "1281.308855431"
    ],
    [
      "363.413605930",
      "506.592854008"
    ],
    [
      "930.227816198",
      "99.592446886"
    ],
    [
      "1228.076017392",
      "1301.212837778"
    ],
    [
      "1077.229490208",
      "742.882537451"
    ],
    [
      "626.993300706",
      "1254.166904868"
    ],
    [
      "1470.904039034",
      "568.110935378"
    ],
    [
      "1252.899042343",
      "844.913497649"
    ],
    [
      "933.078875470",
      "1165.127873537"
    ],
    [
      "1793.480049813",
      "1322.467642772"
    ],
    [
      "1330.874459769",
      "413.766491973"
    ],
    [
      "1120.809934489",
      "449.007025725"
    ],
    [
      "280.894804040",
      "1505.585697036"
    ],
    [
      "1374.644929994",
      "201.473077130"
    ],
    [
      "1682.461107986",
      "1506.597887381"
    ],
    [
      "1157.780039068",
      "1692.544868484"
    ],
    [
      "883.109701603",
      "1848.827651552"
    ],
    [
      "1376.046117719",
      "1642.186960203"
    ],
    [
      "115.618427827",
      "930.418252911"
    ],
    [
      "440.661175271",
      "1661.161101984"
    ],
    [
      "190.679658863",
      "631.220232788"
    ],
    [
      "1259.424816002",
      "625.010304678"
    ],
    [
      "1848.345220205",
      "961.994310084"
    ],
    [
      "868.393389957",
      "812.781173715"
    ],
    [
      "497.255118699",
      "1433.077508607"
    ],
    [
      "1631.814748262",
      "722.502462534"
    ],
    [
      "141.396912252",
      "1165.023020166"
    ],
    [
      "1673.939406180",
      "1128.318126883"
    ],
    [
      "925.609171029",
      "325.485116952"
    ],
    [
      "926.527734118",
      "575.807761641"
    ],
    [
      "655.803010195",
      "1775.587275322"
    ],
    [
      "333.702335598",
      "827.672552577"
    ],
    [
      "1058.784325046",
      "970.135207144"
    ],
    [
      "745.592496519",
      "1451.230931907"
    ],
    [
      "1559.052147156",
      "353.509185537"
    ],
    [
      "999.255567240",
      "1509.695225794"
    ],
    [
      "532.225059835",
      "661.330351187"
    ],
    [
      "472.049709551",
      "303.865951475"
    ],
    [
      "396.381921134",
      "1199.857298321"
    ],
    [
      "711.467829895",
      "179.798858094"
    ],
    [
      "697.606439266",
      "450.444127504"
    ],
    [
      "1306.889394862",
      "1078.761828488"
    ]
  ],
  "radius": "983.303825377"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 137
}

当前第一名的答案

{
  "centers": [
    [
      "780.288461260",
      "1944.342188837"
    ],
    [
      "1144.269894348",
      "1564.812410739"
    ],
    [
      "399.032505457",
      "1532.921210742"
    ],
    [
      "1043.988149703",
      "1218.177804793"
    ],
    [
      "1281.507794708",
      "1400.485582894"
    ],
    [
      "150.007197563",
      "472.992836273"
    ],
    [
      "775.010023767",
      "316.466091878"
    ],
    [
      "1104.195378431",
      "1950.938783945"
    ],
    [
      "600.577667041",
      "796.600611900"
    ],
    [
      "1448.976711149",
      "447.656964957"
    ],
    [
      "1241.917854330",
      "1919.939897242"
    ],
    [
      "150.120832793",
      "1482.113345353"
    ],
    [
      "994.954415041",
      "447.176811916"
    ],
    [
      "390.740938561",
      "698.279835217"
    ],
    [
      "147.828430361",
      "494.637063967"
    ],
    [
      "271.112642507",
      "1116.349083147"
    ],
    [
      "30.587846054",
      "824.644169945"
    ],
    [
      "1608.967489787",
      "1718.255937149"
    ],
    [
      "1693.983762198",
      "1635.082739671"
    ],
    [
      "65.569368605",
      "690.638384089"
    ],
    [
      "1716.293402895",
      "359.969488562"
    ],
    [
      "315.424680100",
      "292.056025591"
    ],
    [
      "1880.304775822",
      "640.735903742"
    ],
    [
      "1903.870436531",
      "1253.014163648"
    ],
    [
      "1311.031196266",
      "82.879548070"
    ],
    [
      "1936.053297247",
      "1076.434300613"
    ],
    [
      "295.644873430",
      "1647.154697637"
    ],
    [
      "1927.466078786",
      "838.509855868"
    ],
    [
      "1812.760703901",
      "1455.121899299"
    ],
    [
      "1518.195271246",
      "194.494319266"
    ],
    [
      "810.968927267",
      "46.776104790"
    ],
    [
      "34.631800509",
      "1053.290832984"
    ],
    [
      "749.142951195",
      "1904.306564530"
    ],
    [
      "497.509069711",
      "1798.890245225"
    ],
    [
      "1541.563112584",
      "1217.980784021"
    ],
    [
      "1355.902130275",
      "1494.554918383"
    ],
    [
      "1086.471064334",
      "308.236272215"
    ],
    [
      "541.490620775",
      "147.600280745"
    ],
    [
      "172.861670563",
      "785.823923204"
    ],
    [
      "1131.077389078",
      "1400.773201907"
    ],
    [
      "708.640433278",
      "1617.166295897"
    ],
    [
      "1744.549791084",
      "840.230157338"
    ],
    [
      "347.023596132",
      "1369.835990378"
    ],
    [
      "1635.722800727",
      "1659.055455301"
    ],
    [
      "1099.154404120",
      "599.514225131"
    ],
    [
      "112.706397736",
      "1330.567746241"
    ],
    [
      "352.571287677",
      "650.657028530"
    ],
    [
      "153.684032222",
      "1415.173506867"
    ],
    [
      "515.012814294",
      "481.012921074"
    ],
    [
      "1030.816588447",
      "1915.394881196"
    ],
    [
      "1436.108727204",
      "1797.649965532"
    ],
    [
      "1042.256327951",
      "1808.871450985"
    ],
    [
      "1341.591393965",
      "1406.712998853"
    ],
    [
      "1077.470783735",
      "59.064328484"
    ],
    [
      "81.295170975",
      "764.169303224"
    ],
    [
      "216.988212824",
      "461.193686877"
    ],
    [
      "1490.990506307",
      "1141.070589996"
    ],
    [
      "291.565294456",
      "368.889595657"
    ],
    [
      "1523.485539508",
      "866.254966968"
    ],
    [
      "1545.506659751",
      "1607.313838701"
    ],
    [
      "1528.546844648",
      "1727.142612555"
    ],
    [
      "1729.182155765",
      "442.502332303"
    ],
    [
      "1408.265260300",
      "906.358423919"
    ],
    [
      "983.157299620",
      "1704.029591720"
    ],
    [
      "793.283545240",
      "1261.131793368"
    ],
    [
      "605.897838634",
      "1587.283872199"
    ],
    [
      "1637.408573071",
      "534.273615636"
    ],
    [
      "904.451750253",
      "1334.728839637"
    ],
    [
      "681.111681204",
      "796.362843492"
    ],
    [
      "431.205068094",
      "998.851456523"
    ],
    [
      "239.133399556",
      "1331.462132504"
    ],
    [
      "861.714572122",
      "1004.245505925"
    ],
    [
      "1073.118481341",
      "193.524644884"
    ],
    [
      "1148.854103255",
      "1877.385184102"
    ],
    [
      "1113.500449592",
      "1165.622152271"
    ],
    [
      "281.043544422",
      "1023.918779407"
    ],
    [
      "1871.871231509",
      "1157.042176786"
    ],
    [
      "742.276057019",
      "661.429190659"
    ],
    [
      "1049.988430963",
      "1305.915500260"
    ],
    [
      "1511.543141100",
      "1005.519761072"
    ],
    [
      "1201.196862578",
      "279.034458711"
    ],
    [
      "1651.889802625",
      "924.507393644"
    ],
    [
      "1205.392254286",
      "110.822474441"
    ],
    [
      "1301.366953129",
      "1824.483483418"
    ],
    [
      "750.759471316",
      "1115.321901311"
    ],
    [
      "714.140027350",
      "947.803024265"
    ],
    [
      "1784.228888522",
      "580.961196999"
    ],
    [
      "1600.514815309",
      "1326.130738857"
    ],
    [
      "833.283113443",
      "1654.101404958"
    ],
    [
      "1423.192281829",
      "754.088321704"
    ],
    [
      "544.921505332",
      "884.538302956"
    ],
    [
      "1843.495006979",
      "749.865096323"
    ],
    [
      "579.725346248",
      "1066.013402424"
    ],
    [
      "1482.404006161",
      "1464.600362829"
    ],
    [
      "1224.942351022",
      "1497.800872804"
    ],
    [
      "1422.057540965",
      "1281.308855431"
    ],
    [
      "363.413605930",
      "506.592854008"
    ],
    [
      "930.227816198",
      "99.592446886"
    ],
    [
      "1228.076017392",
      "1301.212837778"
    ],
    [
      "1077.229490208",
      "742.882537451"
    ],
    [
      "626.993300706",
      "1254.166904868"
    ],
    [
      "1470.904039034",
      "568.110935378"
    ],
    [
      "1252.899042343",
      "844.913497649"
    ],
    [
      "933.078875470",
      "1165.127873537"
    ],
    [
      "1793.480049813",
      "1322.467642772"
    ],
    [
      "1330.874459769",
      "413.766491973"
    ],
    [
      "1120.809934489",
      "449.007025725"
    ],
    [
      "280.894804040",
      "1505.585697036"
    ],
    [
      "1374.644929994",
      "201.473077130"
    ],
    [
      "1682.461107986",
      "1506.597887381"
    ],
    [
      "1157.780039068",
      "1692.544868484"
    ],
    [
      "883.109701603",
      "1848.827651552"
    ],
    [
      "1376.046117719",
      "1642.186960203"
    ],
    [
      "115.618427827",
      "930.418252911"
    ],
    [
      "440.661175271",
      "1661.161101984"
    ],
    [
      "190.679658863",
      "631.220232788"
    ],
    [
      "1259.424816002",
      "625.010304678"
    ],
    [
      "1848.345220205",
      "961.994310084"
    ],
    [
      "868.393389957",
      "812.781173715"
    ],
    [
      "497.255118699",
      "1433.077508607"
    ],
    [
      "1631.814748262",
      "722.502462534"
    ],
    [
      "141.396912252",
      "1165.023020166"
    ],
    [
      "1673.939406180",
      "1128.318126883"
    ],
    [
      "925.609171029",
      "325.485116952"
    ],
    [
      "926.527734118",
      "575.807761641"
    ],
    [
      "655.803010195",
      "1775.587275322"
    ],
    [
      "333.702335598",
      "827.672552577"
    ],
    [
      "1058.784325046",
      "970.135207144"
    ],
    [
      "745.592496519",
      "1451.230931907"
    ],
    [
      "1559.052147156",
      "353.509185537"
    ],
    [
      "999.255567240",
      "1509.695225794"
    ],
    [
      "532.225059835",
      "661.330351187"
    ],
    [
      "472.049709551",
      "303.865951475"
    ],
    [
      "396.381921134",
      "1199.857298321"
    ],
    [
      "711.467829895",
      "179.798858094"
    ],
    [
      "697.606439266",
      "450.444127504"
    ],
    [
      "1306.889394862",
      "1078.761828488"
    ]
  ],
  "radius": "983.303825377"
}

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

DISCUSSION

讨论区

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