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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2228.512564732y0
0x2228.512564732
已验证构造r = 1114.256282366

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "2058.517132429",
      "690.966548235"
    ],
    [
      "1778.534717074",
      "552.987538553"
    ],
    [
      "508.578104113",
      "1861.307107213"
    ],
    [
      "308.221588598",
      "734.168867474"
    ],
    [
      "596.511050324",
      "902.339908226"
    ],
    [
      "1255.035293377",
      "418.368268528"
    ],
    [
      "24.947733627",
      "946.235409923"
    ],
    [
      "1225.920782516",
      "1017.642237145"
    ],
    [
      "307.171519003",
      "1388.651202570"
    ],
    [
      "1145.066679054",
      "1525.266514788"
    ],
    [
      "1128.072122238",
      "1512.548133601"
    ],
    [
      "1975.136330093",
      "429.766979107"
    ],
    [
      "33.537013763",
      "919.424452474"
    ],
    [
      "1309.265992097",
      "2195.930122010"
    ],
    [
      "1300.734279164",
      "1338.495801788"
    ],
    [
      "919.762364599",
      "667.237326311"
    ],
    [
      "1362.408555017",
      "45.443834604"
    ],
    [
      "2178.615112907",
      "900.728308132"
    ],
    [
      "1669.451666898",
      "2058.245910278"
    ],
    [
      "425.424920907",
      "551.391843685"
    ],
    [
      "1860.136207720",
      "1296.923795206"
    ],
    [
      "40.908737394",
      "1299.634960566"
    ],
    [
      "23.163037289",
      "1132.375483533"
    ],
    [
      "1530.195890911",
      "2122.004813357"
    ],
    [
      "485.522276862",
      "224.945055388"
    ],
    [
      "392.148680846",
      "1925.927129135"
    ],
    [
      "1995.595748703",
      "1750.932188539"
    ],
    [
      "726.939591825",
      "2129.098717720"
    ],
    [
      "1827.392391281",
      "1932.287360205"
    ],
    [
      "115.972500867",
      "1537.384648337"
    ],
    [
      "213.326286485",
      "1715.726626202"
    ],
    [
      "962.526245410",
      "2185.380888686"
    ],
    [
      "1622.043397514",
      "1405.615732823"
    ],
    [
      "1120.408422579",
      "34.079827476"
    ],
    [
      "2096.407812971",
      "666.849874329"
    ],
    [
      "1405.659270386",
      "76.154727678"
    ],
    [
      "285.429077474",
      "426.440975595"
    ],
    [
      "1258.079806098",
      "2180.789210563"
    ],
    [
      "1676.730570451",
      "197.876010204"
    ],
    [
      "1879.531034888",
      "1619.043111996"
    ],
    [
      "1920.706125153",
      "406.077479212"
    ],
    [
      "585.434351644",
      "1188.334666069"
    ],
    [
      "551.783363591",
      "1836.434251226"
    ],
    [
      "498.166996060",
      "1603.600131121"
    ],
    [
      "1783.692997792",
      "722.941711634"
    ],
    [
      "476.076593313",
      "999.107818713"
    ],
    [
      "808.458473902",
      "1591.190526566"
    ],
    [
      "1086.915922530",
      "1133.125677340"
    ],
    [
      "1224.116101614",
      "1947.330651227"
    ],
    [
      "787.858803940",
      "940.785127165"
    ],
    [
      "638.500595368",
      "1872.712643052"
    ],
    [
      "2167.721396707",
      "1250.636861217"
    ],
    [
      "827.743528453",
      "92.408310264"
    ],
    [
      "627.022790196",
      "499.341816436"
    ],
    [
      "2173.101258124",
      "1143.772194037"
    ],
    [
      "1539.341388208",
      "1360.754421172"
    ],
    [
      "949.839805616",
      "1815.922120270"
    ],
    [
      "835.204296785",
      "203.161888502"
    ],
    [
      "134.644324147",
      "721.921944352"
    ],
    [
      "236.265600424",
      "784.341103547"
    ],
    [
      "1702.715151302",
      "1453.865791289"
    ],
    [
      "2084.147805340",
      "1522.366215394"
    ],
    [
      "1546.635918722",
      "1931.827622435"
    ],
    [
      "1586.174595798",
      "2052.516035364"
    ],
    [
      "917.824923216",
      "294.288298954"
    ],
    [
      "560.050161970",
      "1512.525440904"
    ],
    [
      "1017.970436263",
      "1712.316053035"
    ],
    [
      "964.517981883",
      "1940.057333411"
    ],
    [
      "1443.015764059",
      "1850.054377741"
    ],
    [
      "377.783406166",
      "773.369360335"
    ],
    [
      "75.529657861",
      "1210.499875997"
    ],
    [
      "583.815202233",
      "217.077137135"
    ],
    [
      "714.181514096",
      "152.940786319"
    ],
    [
      "1488.789429978",
      "1240.985896428"
    ],
    [
      "1353.242341628",
      "1530.807239613"
    ],
    [
      "1967.113164764",
      "963.791107580"
    ],
    [
      "355.618344019",
      "1308.198130396"
    ],
    [
      "911.870994396",
      "437.202015982"
    ],
    [
      "497.299243059",
      "1945.592304577"
    ],
    [
      "870.916957052",
      "1318.528895689"
    ],
    [
      "869.622763949",
      "1703.631309308"
    ],
    [
      "113.467790286",
      "861.322641676"
    ],
    [
      "2000.820813523",
      "1641.032185389"
    ],
    [
      "1291.141747595",
      "1831.526476526"
    ],
    [
      "212.618413051",
      "1599.722570122"
    ],
    [
      "1397.902919386",
      "1376.082199334"
    ],
    [
      "2105.419214991",
      "1374.892396925"
    ],
    [
      "1737.224331578",
      "1598.814459710"
    ],
    [
      "1321.679284910",
      "347.381353033"
    ],
    [
      "507.653209330",
      "866.824345363"
    ],
    [
      "1870.971706474",
      "827.241409674"
    ],
    [
      "2130.450745113",
      "1003.095494687"
    ],
    [
      "1304.950322366",
      "938.157438504"
    ],
    [
      "1406.490184185",
      "1691.199469049"
    ],
    [
      "1704.039418624",
      "1945.543971032"
    ],
    [
      "713.356859523",
      "1240.101759654"
    ],
    [
      "99.728903163",
      "1039.794608612"
    ],
    [
      "240.941443200",
      "1174.271441355"
    ],
    [
      "658.352751132",
      "2021.393145849"
    ],
    [
      "1108.447301824",
      "1853.406592725"
    ],
    [
      "1678.973671786",
      "828.110130676"
    ],
    [
      "692.231990991",
      "813.959675109"
    ],
    [
      "1049.841899682",
      "1280.124925776"
    ],
    [
      "800.763649584",
      "1876.727545225"
    ],
    [
      "1111.582614831",
      "981.369374549"
    ],
    [
      "443.177809841",
      "1147.504820189"
    ],
    [
      "536.799247781",
      "1340.283642928"
    ],
    [
      "1206.467236638",
      "1421.509167555"
    ],
    [
      "1671.549505610",
      "617.396284629"
    ],
    [
      "2071.199716345",
      "809.641862429"
    ],
    [
      "858.674236402",
      "2084.411417325"
    ],
    [
      "1785.541916072",
      "1012.534123990"
    ],
    [
      "381.779021674",
      "1496.388509920"
    ],
    [
      "729.222611511",
      "1451.038187617"
    ],
    [
      "1028.919004617",
      "590.658079086"
    ],
    [
      "1544.233112597",
      "1532.684846149"
    ],
    [
      "1606.938769587",
      "1757.088501605"
    ],
    [
      "1179.125722254",
      "768.778661773"
    ],
    [
      "1260.393265191",
      "546.147607189"
    ],
    [
      "997.215583744",
      "127.183574357"
    ],
    [
      "1195.427257106",
      "1650.242896708"
    ],
    [
      "1490.783798500",
      "473.574314356"
    ],
    [
      "641.604295799",
      "1033.189774502"
    ],
    [
      "1847.365226458",
      "1779.958003000"
    ],
    [
      "727.870222523",
      "351.454036704"
    ],
    [
      "531.715027613",
      "652.039001721"
    ],
    [
      "308.119783373",
      "957.640843912"
    ],
    [
      "166.670016513",
      "1387.718753781"
    ],
    [
      "1101.990557475",
      "355.326795460"
    ],
    [
      "782.954338244",
      "600.433433842"
    ],
    [
      "1247.893587205",
      "140.123854220"
    ],
    [
      "279.185827637",
      "597.067013455"
    ],
    [
      "1897.374829399",
      "1446.441744256"
    ],
    [
      "655.158416158",
      "1688.464123364"
    ],
    [
      "1503.629086580",
      "216.451711943"
    ],
    [
      "930.686670305",
      "821.637317325"
    ],
    [
      "1106.573412941",
      "2091.482364158"
    ],
    [
      "896.381212880",
      "1094.300229872"
    ],
    [
      "976.100223199",
      "1510.616064763"
    ],
    [
      "1382.180620226",
      "2050.948255699"
    ],
    [
      "1703.513889515",
      "1251.867370447"
    ],
    [
      "462.252054189",
      "393.197553476"
    ],
    [
      "1978.978779620",
      "1182.765313169"
    ],
    [
      "384.240992661",
      "1753.376717235"
    ],
    [
      "1737.783851343",
      "372.184108228"
    ],
    [
      "1527.818415403",
      "1024.475531081"
    ],
    [
      "1277.385794716",
      "1176.569260393"
    ],
    [
      "1928.131733713",
      "594.932135557"
    ],
    [
      "1444.775011223",
      "740.640207898"
    ]
  ],
  "radius": "1114.256282366"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 149
}

当前第一名的答案

{
  "centers": [
    [
      "2058.517132429",
      "690.966548235"
    ],
    [
      "1778.534717074",
      "552.987538553"
    ],
    [
      "508.578104113",
      "1861.307107213"
    ],
    [
      "308.221588598",
      "734.168867474"
    ],
    [
      "596.511050324",
      "902.339908226"
    ],
    [
      "1255.035293377",
      "418.368268528"
    ],
    [
      "24.947733627",
      "946.235409923"
    ],
    [
      "1225.920782516",
      "1017.642237145"
    ],
    [
      "307.171519003",
      "1388.651202570"
    ],
    [
      "1145.066679054",
      "1525.266514788"
    ],
    [
      "1128.072122238",
      "1512.548133601"
    ],
    [
      "1975.136330093",
      "429.766979107"
    ],
    [
      "33.537013763",
      "919.424452474"
    ],
    [
      "1309.265992097",
      "2195.930122010"
    ],
    [
      "1300.734279164",
      "1338.495801788"
    ],
    [
      "919.762364599",
      "667.237326311"
    ],
    [
      "1362.408555017",
      "45.443834604"
    ],
    [
      "2178.615112907",
      "900.728308132"
    ],
    [
      "1669.451666898",
      "2058.245910278"
    ],
    [
      "425.424920907",
      "551.391843685"
    ],
    [
      "1860.136207720",
      "1296.923795206"
    ],
    [
      "40.908737394",
      "1299.634960566"
    ],
    [
      "23.163037289",
      "1132.375483533"
    ],
    [
      "1530.195890911",
      "2122.004813357"
    ],
    [
      "485.522276862",
      "224.945055388"
    ],
    [
      "392.148680846",
      "1925.927129135"
    ],
    [
      "1995.595748703",
      "1750.932188539"
    ],
    [
      "726.939591825",
      "2129.098717720"
    ],
    [
      "1827.392391281",
      "1932.287360205"
    ],
    [
      "115.972500867",
      "1537.384648337"
    ],
    [
      "213.326286485",
      "1715.726626202"
    ],
    [
      "962.526245410",
      "2185.380888686"
    ],
    [
      "1622.043397514",
      "1405.615732823"
    ],
    [
      "1120.408422579",
      "34.079827476"
    ],
    [
      "2096.407812971",
      "666.849874329"
    ],
    [
      "1405.659270386",
      "76.154727678"
    ],
    [
      "285.429077474",
      "426.440975595"
    ],
    [
      "1258.079806098",
      "2180.789210563"
    ],
    [
      "1676.730570451",
      "197.876010204"
    ],
    [
      "1879.531034888",
      "1619.043111996"
    ],
    [
      "1920.706125153",
      "406.077479212"
    ],
    [
      "585.434351644",
      "1188.334666069"
    ],
    [
      "551.783363591",
      "1836.434251226"
    ],
    [
      "498.166996060",
      "1603.600131121"
    ],
    [
      "1783.692997792",
      "722.941711634"
    ],
    [
      "476.076593313",
      "999.107818713"
    ],
    [
      "808.458473902",
      "1591.190526566"
    ],
    [
      "1086.915922530",
      "1133.125677340"
    ],
    [
      "1224.116101614",
      "1947.330651227"
    ],
    [
      "787.858803940",
      "940.785127165"
    ],
    [
      "638.500595368",
      "1872.712643052"
    ],
    [
      "2167.721396707",
      "1250.636861217"
    ],
    [
      "827.743528453",
      "92.408310264"
    ],
    [
      "627.022790196",
      "499.341816436"
    ],
    [
      "2173.101258124",
      "1143.772194037"
    ],
    [
      "1539.341388208",
      "1360.754421172"
    ],
    [
      "949.839805616",
      "1815.922120270"
    ],
    [
      "835.204296785",
      "203.161888502"
    ],
    [
      "134.644324147",
      "721.921944352"
    ],
    [
      "236.265600424",
      "784.341103547"
    ],
    [
      "1702.715151302",
      "1453.865791289"
    ],
    [
      "2084.147805340",
      "1522.366215394"
    ],
    [
      "1546.635918722",
      "1931.827622435"
    ],
    [
      "1586.174595798",
      "2052.516035364"
    ],
    [
      "917.824923216",
      "294.288298954"
    ],
    [
      "560.050161970",
      "1512.525440904"
    ],
    [
      "1017.970436263",
      "1712.316053035"
    ],
    [
      "964.517981883",
      "1940.057333411"
    ],
    [
      "1443.015764059",
      "1850.054377741"
    ],
    [
      "377.783406166",
      "773.369360335"
    ],
    [
      "75.529657861",
      "1210.499875997"
    ],
    [
      "583.815202233",
      "217.077137135"
    ],
    [
      "714.181514096",
      "152.940786319"
    ],
    [
      "1488.789429978",
      "1240.985896428"
    ],
    [
      "1353.242341628",
      "1530.807239613"
    ],
    [
      "1967.113164764",
      "963.791107580"
    ],
    [
      "355.618344019",
      "1308.198130396"
    ],
    [
      "911.870994396",
      "437.202015982"
    ],
    [
      "497.299243059",
      "1945.592304577"
    ],
    [
      "870.916957052",
      "1318.528895689"
    ],
    [
      "869.622763949",
      "1703.631309308"
    ],
    [
      "113.467790286",
      "861.322641676"
    ],
    [
      "2000.820813523",
      "1641.032185389"
    ],
    [
      "1291.141747595",
      "1831.526476526"
    ],
    [
      "212.618413051",
      "1599.722570122"
    ],
    [
      "1397.902919386",
      "1376.082199334"
    ],
    [
      "2105.419214991",
      "1374.892396925"
    ],
    [
      "1737.224331578",
      "1598.814459710"
    ],
    [
      "1321.679284910",
      "347.381353033"
    ],
    [
      "507.653209330",
      "866.824345363"
    ],
    [
      "1870.971706474",
      "827.241409674"
    ],
    [
      "2130.450745113",
      "1003.095494687"
    ],
    [
      "1304.950322366",
      "938.157438504"
    ],
    [
      "1406.490184185",
      "1691.199469049"
    ],
    [
      "1704.039418624",
      "1945.543971032"
    ],
    [
      "713.356859523",
      "1240.101759654"
    ],
    [
      "99.728903163",
      "1039.794608612"
    ],
    [
      "240.941443200",
      "1174.271441355"
    ],
    [
      "658.352751132",
      "2021.393145849"
    ],
    [
      "1108.447301824",
      "1853.406592725"
    ],
    [
      "1678.973671786",
      "828.110130676"
    ],
    [
      "692.231990991",
      "813.959675109"
    ],
    [
      "1049.841899682",
      "1280.124925776"
    ],
    [
      "800.763649584",
      "1876.727545225"
    ],
    [
      "1111.582614831",
      "981.369374549"
    ],
    [
      "443.177809841",
      "1147.504820189"
    ],
    [
      "536.799247781",
      "1340.283642928"
    ],
    [
      "1206.467236638",
      "1421.509167555"
    ],
    [
      "1671.549505610",
      "617.396284629"
    ],
    [
      "2071.199716345",
      "809.641862429"
    ],
    [
      "858.674236402",
      "2084.411417325"
    ],
    [
      "1785.541916072",
      "1012.534123990"
    ],
    [
      "381.779021674",
      "1496.388509920"
    ],
    [
      "729.222611511",
      "1451.038187617"
    ],
    [
      "1028.919004617",
      "590.658079086"
    ],
    [
      "1544.233112597",
      "1532.684846149"
    ],
    [
      "1606.938769587",
      "1757.088501605"
    ],
    [
      "1179.125722254",
      "768.778661773"
    ],
    [
      "1260.393265191",
      "546.147607189"
    ],
    [
      "997.215583744",
      "127.183574357"
    ],
    [
      "1195.427257106",
      "1650.242896708"
    ],
    [
      "1490.783798500",
      "473.574314356"
    ],
    [
      "641.604295799",
      "1033.189774502"
    ],
    [
      "1847.365226458",
      "1779.958003000"
    ],
    [
      "727.870222523",
      "351.454036704"
    ],
    [
      "531.715027613",
      "652.039001721"
    ],
    [
      "308.119783373",
      "957.640843912"
    ],
    [
      "166.670016513",
      "1387.718753781"
    ],
    [
      "1101.990557475",
      "355.326795460"
    ],
    [
      "782.954338244",
      "600.433433842"
    ],
    [
      "1247.893587205",
      "140.123854220"
    ],
    [
      "279.185827637",
      "597.067013455"
    ],
    [
      "1897.374829399",
      "1446.441744256"
    ],
    [
      "655.158416158",
      "1688.464123364"
    ],
    [
      "1503.629086580",
      "216.451711943"
    ],
    [
      "930.686670305",
      "821.637317325"
    ],
    [
      "1106.573412941",
      "2091.482364158"
    ],
    [
      "896.381212880",
      "1094.300229872"
    ],
    [
      "976.100223199",
      "1510.616064763"
    ],
    [
      "1382.180620226",
      "2050.948255699"
    ],
    [
      "1703.513889515",
      "1251.867370447"
    ],
    [
      "462.252054189",
      "393.197553476"
    ],
    [
      "1978.978779620",
      "1182.765313169"
    ],
    [
      "384.240992661",
      "1753.376717235"
    ],
    [
      "1737.783851343",
      "372.184108228"
    ],
    [
      "1527.818415403",
      "1024.475531081"
    ],
    [
      "1277.385794716",
      "1176.569260393"
    ],
    [
      "1928.131733713",
      "594.932135557"
    ],
    [
      "1444.775011223",
      "740.640207898"
    ]
  ],
  "radius": "1114.256282366"
}

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

DISCUSSION

讨论区

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