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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2408.138683696y0
0x2408.138683696
已验证构造r = 1204.069341848

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1159.001286103",
      "11.124149859"
    ],
    [
      "724.864382807",
      "1999.536865090"
    ],
    [
      "1204.773969137",
      "85.191719336"
    ],
    [
      "420.829148493",
      "2010.306034973"
    ],
    [
      "440.419893904",
      "302.830435401"
    ],
    [
      "1994.382605447",
      "2010.493931622"
    ],
    [
      "1904.690581395",
      "1589.380143685"
    ],
    [
      "1947.080987031",
      "753.338499630"
    ],
    [
      "692.264635903",
      "413.730564850"
    ],
    [
      "1050.628104968",
      "2376.749224822"
    ],
    [
      "615.719714166",
      "848.805385727"
    ],
    [
      "1491.474944200",
      "1039.940918616"
    ],
    [
      "2150.035720240",
      "1035.124564811"
    ],
    [
      "1504.504464440",
      "1750.724692789"
    ],
    [
      "1053.600636370",
      "1692.569998421"
    ],
    [
      "1198.731189634",
      "194.206421652"
    ],
    [
      "1985.869335044",
      "1467.115987930"
    ],
    [
      "1294.502859619",
      "1458.642489277"
    ],
    [
      "1376.680950793",
      "555.898480550"
    ],
    [
      "2200.805899342",
      "564.956907249"
    ],
    [
      "46.907790023",
      "958.382364910"
    ],
    [
      "1684.646860809",
      "2283.991931319"
    ],
    [
      "2018.129269077",
      "348.544201797"
    ],
    [
      "2307.456137505",
      "1622.136506400"
    ],
    [
      "962.545695951",
      "50.147043369"
    ],
    [
      "1871.027832268",
      "2175.097415385"
    ],
    [
      "158.255911274",
      "1741.902737761"
    ],
    [
      "767.499329823",
      "112.202863932"
    ],
    [
      "2211.902640169",
      "1807.951517372"
    ],
    [
      "2289.807661949",
      "757.737827717"
    ],
    [
      "2030.772351801",
      "2036.243272251"
    ],
    [
      "72.675384165",
      "1509.927947868"
    ],
    [
      "1207.292957990",
      "33.023145101"
    ],
    [
      "1673.949851617",
      "722.410090265"
    ],
    [
      "1096.223866170",
      "2368.054234822"
    ],
    [
      "1484.418787092",
      "70.294005256"
    ],
    [
      "37.386197283",
      "1233.264012399"
    ],
    [
      "2358.995570630",
      "1364.886212972"
    ],
    [
      "2357.146725069",
      "1037.493229002"
    ],
    [
      "1768.752255828",
      "186.160777428"
    ],
    [
      "536.826628064",
      "1360.011935927"
    ],
    [
      "418.736650263",
      "2060.606885141"
    ],
    [
      "418.664396693",
      "348.955008269"
    ],
    [
      "485.512244729",
      "2114.802767914"
    ],
    [
      "2051.177180399",
      "1231.045032428"
    ],
    [
      "896.986504448",
      "1762.467316900"
    ],
    [
      "812.119441128",
      "2292.448068526"
    ],
    [
      "354.896938829",
      "419.628277393"
    ],
    [
      "1478.247524043",
      "1484.302389062"
    ],
    [
      "346.657366500",
      "1633.118987802"
    ],
    [
      "799.347546448",
      "1546.149233580"
    ],
    [
      "1440.864887076",
      "1733.204379689"
    ],
    [
      "128.550291153",
      "793.923756314"
    ],
    [
      "823.407076421",
      "2191.374061948"
    ],
    [
      "1786.270846665",
      "1008.792726354"
    ],
    [
      "97.442205149",
      "898.390435143"
    ],
    [
      "360.013414227",
      "1980.817477381"
    ],
    [
      "504.732910951",
      "296.103077441"
    ],
    [
      "1266.713254661",
      "2056.562446552"
    ],
    [
      "2128.497743911",
      "530.104558036"
    ],
    [
      "899.028128154",
      "2104.734252760"
    ],
    [
      "1615.294260545",
      "798.757815140"
    ],
    [
      "569.946223869",
      "908.194198704"
    ],
    [
      "712.971464316",
      "2232.942987590"
    ],
    [
      "456.978583441",
      "1265.190659748"
    ],
    [
      "2044.031168570",
      "436.284220434"
    ],
    [
      "447.005804472",
      "853.001016948"
    ],
    [
      "1595.378701067",
      "2270.620107103"
    ],
    [
      "640.003133681",
      "1023.269665752"
    ],
    [
      "1491.345801917",
      "844.153625565"
    ],
    [
      "1930.395040162",
      "1260.909659430"
    ],
    [
      "776.722702692",
      "1057.806261901"
    ],
    [
      "889.631800720",
      "564.291293205"
    ],
    [
      "1457.681897671",
      "2305.312906602"
    ],
    [
      "597.124723384",
      "2156.128063156"
    ],
    [
      "861.931949018",
      "1178.817138947"
    ],
    [
      "735.756356852",
      "2093.796127502"
    ],
    [
      "1174.513562649",
      "451.159601353"
    ],
    [
      "1511.607606750",
      "1843.460751900"
    ],
    [
      "312.993201711",
      "1247.377251552"
    ],
    [
      "766.548195987",
      "471.736302811"
    ],
    [
      "1189.628528917",
      "291.875145752"
    ],
    [
      "1224.565659507",
      "934.612888517"
    ],
    [
      "211.566903206",
      "684.940995642"
    ],
    [
      "301.835403573",
      "542.035327978"
    ],
    [
      "1148.235112222",
      "1656.250714578"
    ],
    [
      "1017.136848843",
      "1228.643402107"
    ],
    [
      "2209.739655180",
      "1688.050743033"
    ],
    [
      "882.945590491",
      "136.240154458"
    ],
    [
      "2033.873949292",
      "813.922173498"
    ],
    [
      "1911.558529020",
      "2063.297346724"
    ],
    [
      "1609.558952403",
      "443.939289033"
    ],
    [
      "1335.115764409",
      "797.665182049"
    ],
    [
      "388.752150832",
      "701.952404290"
    ],
    [
      "571.663471822",
      "749.538627774"
    ],
    [
      "1398.265149308",
      "981.982268540"
    ],
    [
      "1849.875371384",
      "1680.080089315"
    ],
    [
      "1060.623630769",
      "585.342623440"
    ],
    [
      "2056.471736150",
      "1374.947665064"
    ],
    [
      "740.626884505",
      "652.192003925"
    ],
    [
      "1038.729894056",
      "1807.834378588"
    ],
    [
      "2176.376650682",
      "685.248244138"
    ],
    [
      "1132.205492569",
      "773.164446085"
    ],
    [
      "1733.207180874",
      "596.015308171"
    ],
    [
      "927.149531011",
      "738.292499850"
    ],
    [
      "1264.709584787",
      "611.536275440"
    ],
    [
      "1377.127316430",
      "1364.083156297"
    ],
    [
      "1591.815385091",
      "1375.660426068"
    ],
    [
      "271.789982936",
      "869.596675568"
    ],
    [
      "1735.255576025",
      "2160.536230659"
    ],
    [
      "503.485245035",
      "1669.533497486"
    ],
    [
      "2037.575897861",
      "1585.810059822"
    ],
    [
      "187.167832540",
      "1599.472464097"
    ],
    [
      "1617.705563338",
      "977.904179560"
    ],
    [
      "952.698263956",
      "1609.706746434"
    ],
    [
      "1087.468727867",
      "122.265667660"
    ],
    [
      "1494.041357191",
      "1173.014825395"
    ],
    [
      "747.265725179",
      "870.090892858"
    ],
    [
      "979.638889261",
      "2265.674941196"
    ],
    [
      "640.289923786",
      "1483.366491738"
    ],
    [
      "1344.245175121",
      "1589.699567010"
    ],
    [
      "2249.858004999",
      "1481.918460241"
    ],
    [
      "734.374267458",
      "1707.563213822"
    ],
    [
      "847.849180491",
      "1926.954289557"
    ],
    [
      "1961.728880614",
      "611.388005816"
    ],
    [
      "309.055767024",
      "1805.055370564"
    ],
    [
      "867.648312854",
      "1381.774645190"
    ],
    [
      "139.826491793",
      "1363.168004852"
    ],
    [
      "1332.617005893",
      "136.712987181"
    ],
    [
      "1077.505730321",
      "2036.714068072"
    ],
    [
      "1741.504429657",
      "1189.325183017"
    ],
    [
      "1500.725863194",
      "642.200853210"
    ],
    [
      "2234.794052620",
      "912.871632987"
    ],
    [
      "1809.995075694",
      "821.287630505"
    ],
    [
      "387.152111930",
      "1452.605344011"
    ],
    [
      "654.462451710",
      "1227.759098544"
    ],
    [
      "697.243993810",
      "265.045887991"
    ],
    [
      "1384.049461964",
      "398.712419362"
    ],
    [
      "1828.947153196",
      "1444.780065508"
    ],
    [
      "1590.658444299",
      "212.710461257"
    ],
    [
      "433.339005094",
      "1060.551537539"
    ],
    [
      "1235.401991532",
      "1159.351790153"
    ],
    [
      "1134.957570971",
      "1426.456100274"
    ],
    [
      "150.008948557",
      "1091.358664365"
    ],
    [
      "1243.562746162",
      "2259.334770955"
    ],
    [
      "1281.887742047",
      "1851.230933305"
    ],
    [
      "1610.974829019",
      "1629.939634241"
    ],
    [
      "967.736664797",
      "357.553221683"
    ],
    [
      "1986.434985274",
      "1048.166799249"
    ],
    [
      "1733.379148521",
      "1900.543001862"
    ],
    [
      "1839.189135461",
      "364.082504749"
    ],
    [
      "535.909058175",
      "504.820862840"
    ],
    [
      "2032.328713253",
      "1851.165296905"
    ],
    [
      "992.540285390",
      "988.901855715"
    ],
    [
      "565.411871197",
      "1928.324869573"
    ],
    [
      "1482.815756427",
      "2076.690315539"
    ],
    [
      "2251.137370051",
      "1202.410742571"
    ]
  ],
  "radius": "1204.069341848"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 157
}

当前第一名的答案

{
  "centers": [
    [
      "1159.001286103",
      "11.124149859"
    ],
    [
      "724.864382807",
      "1999.536865090"
    ],
    [
      "1204.773969137",
      "85.191719336"
    ],
    [
      "420.829148493",
      "2010.306034973"
    ],
    [
      "440.419893904",
      "302.830435401"
    ],
    [
      "1994.382605447",
      "2010.493931622"
    ],
    [
      "1904.690581395",
      "1589.380143685"
    ],
    [
      "1947.080987031",
      "753.338499630"
    ],
    [
      "692.264635903",
      "413.730564850"
    ],
    [
      "1050.628104968",
      "2376.749224822"
    ],
    [
      "615.719714166",
      "848.805385727"
    ],
    [
      "1491.474944200",
      "1039.940918616"
    ],
    [
      "2150.035720240",
      "1035.124564811"
    ],
    [
      "1504.504464440",
      "1750.724692789"
    ],
    [
      "1053.600636370",
      "1692.569998421"
    ],
    [
      "1198.731189634",
      "194.206421652"
    ],
    [
      "1985.869335044",
      "1467.115987930"
    ],
    [
      "1294.502859619",
      "1458.642489277"
    ],
    [
      "1376.680950793",
      "555.898480550"
    ],
    [
      "2200.805899342",
      "564.956907249"
    ],
    [
      "46.907790023",
      "958.382364910"
    ],
    [
      "1684.646860809",
      "2283.991931319"
    ],
    [
      "2018.129269077",
      "348.544201797"
    ],
    [
      "2307.456137505",
      "1622.136506400"
    ],
    [
      "962.545695951",
      "50.147043369"
    ],
    [
      "1871.027832268",
      "2175.097415385"
    ],
    [
      "158.255911274",
      "1741.902737761"
    ],
    [
      "767.499329823",
      "112.202863932"
    ],
    [
      "2211.902640169",
      "1807.951517372"
    ],
    [
      "2289.807661949",
      "757.737827717"
    ],
    [
      "2030.772351801",
      "2036.243272251"
    ],
    [
      "72.675384165",
      "1509.927947868"
    ],
    [
      "1207.292957990",
      "33.023145101"
    ],
    [
      "1673.949851617",
      "722.410090265"
    ],
    [
      "1096.223866170",
      "2368.054234822"
    ],
    [
      "1484.418787092",
      "70.294005256"
    ],
    [
      "37.386197283",
      "1233.264012399"
    ],
    [
      "2358.995570630",
      "1364.886212972"
    ],
    [
      "2357.146725069",
      "1037.493229002"
    ],
    [
      "1768.752255828",
      "186.160777428"
    ],
    [
      "536.826628064",
      "1360.011935927"
    ],
    [
      "418.736650263",
      "2060.606885141"
    ],
    [
      "418.664396693",
      "348.955008269"
    ],
    [
      "485.512244729",
      "2114.802767914"
    ],
    [
      "2051.177180399",
      "1231.045032428"
    ],
    [
      "896.986504448",
      "1762.467316900"
    ],
    [
      "812.119441128",
      "2292.448068526"
    ],
    [
      "354.896938829",
      "419.628277393"
    ],
    [
      "1478.247524043",
      "1484.302389062"
    ],
    [
      "346.657366500",
      "1633.118987802"
    ],
    [
      "799.347546448",
      "1546.149233580"
    ],
    [
      "1440.864887076",
      "1733.204379689"
    ],
    [
      "128.550291153",
      "793.923756314"
    ],
    [
      "823.407076421",
      "2191.374061948"
    ],
    [
      "1786.270846665",
      "1008.792726354"
    ],
    [
      "97.442205149",
      "898.390435143"
    ],
    [
      "360.013414227",
      "1980.817477381"
    ],
    [
      "504.732910951",
      "296.103077441"
    ],
    [
      "1266.713254661",
      "2056.562446552"
    ],
    [
      "2128.497743911",
      "530.104558036"
    ],
    [
      "899.028128154",
      "2104.734252760"
    ],
    [
      "1615.294260545",
      "798.757815140"
    ],
    [
      "569.946223869",
      "908.194198704"
    ],
    [
      "712.971464316",
      "2232.942987590"
    ],
    [
      "456.978583441",
      "1265.190659748"
    ],
    [
      "2044.031168570",
      "436.284220434"
    ],
    [
      "447.005804472",
      "853.001016948"
    ],
    [
      "1595.378701067",
      "2270.620107103"
    ],
    [
      "640.003133681",
      "1023.269665752"
    ],
    [
      "1491.345801917",
      "844.153625565"
    ],
    [
      "1930.395040162",
      "1260.909659430"
    ],
    [
      "776.722702692",
      "1057.806261901"
    ],
    [
      "889.631800720",
      "564.291293205"
    ],
    [
      "1457.681897671",
      "2305.312906602"
    ],
    [
      "597.124723384",
      "2156.128063156"
    ],
    [
      "861.931949018",
      "1178.817138947"
    ],
    [
      "735.756356852",
      "2093.796127502"
    ],
    [
      "1174.513562649",
      "451.159601353"
    ],
    [
      "1511.607606750",
      "1843.460751900"
    ],
    [
      "312.993201711",
      "1247.377251552"
    ],
    [
      "766.548195987",
      "471.736302811"
    ],
    [
      "1189.628528917",
      "291.875145752"
    ],
    [
      "1224.565659507",
      "934.612888517"
    ],
    [
      "211.566903206",
      "684.940995642"
    ],
    [
      "301.835403573",
      "542.035327978"
    ],
    [
      "1148.235112222",
      "1656.250714578"
    ],
    [
      "1017.136848843",
      "1228.643402107"
    ],
    [
      "2209.739655180",
      "1688.050743033"
    ],
    [
      "882.945590491",
      "136.240154458"
    ],
    [
      "2033.873949292",
      "813.922173498"
    ],
    [
      "1911.558529020",
      "2063.297346724"
    ],
    [
      "1609.558952403",
      "443.939289033"
    ],
    [
      "1335.115764409",
      "797.665182049"
    ],
    [
      "388.752150832",
      "701.952404290"
    ],
    [
      "571.663471822",
      "749.538627774"
    ],
    [
      "1398.265149308",
      "981.982268540"
    ],
    [
      "1849.875371384",
      "1680.080089315"
    ],
    [
      "1060.623630769",
      "585.342623440"
    ],
    [
      "2056.471736150",
      "1374.947665064"
    ],
    [
      "740.626884505",
      "652.192003925"
    ],
    [
      "1038.729894056",
      "1807.834378588"
    ],
    [
      "2176.376650682",
      "685.248244138"
    ],
    [
      "1132.205492569",
      "773.164446085"
    ],
    [
      "1733.207180874",
      "596.015308171"
    ],
    [
      "927.149531011",
      "738.292499850"
    ],
    [
      "1264.709584787",
      "611.536275440"
    ],
    [
      "1377.127316430",
      "1364.083156297"
    ],
    [
      "1591.815385091",
      "1375.660426068"
    ],
    [
      "271.789982936",
      "869.596675568"
    ],
    [
      "1735.255576025",
      "2160.536230659"
    ],
    [
      "503.485245035",
      "1669.533497486"
    ],
    [
      "2037.575897861",
      "1585.810059822"
    ],
    [
      "187.167832540",
      "1599.472464097"
    ],
    [
      "1617.705563338",
      "977.904179560"
    ],
    [
      "952.698263956",
      "1609.706746434"
    ],
    [
      "1087.468727867",
      "122.265667660"
    ],
    [
      "1494.041357191",
      "1173.014825395"
    ],
    [
      "747.265725179",
      "870.090892858"
    ],
    [
      "979.638889261",
      "2265.674941196"
    ],
    [
      "640.289923786",
      "1483.366491738"
    ],
    [
      "1344.245175121",
      "1589.699567010"
    ],
    [
      "2249.858004999",
      "1481.918460241"
    ],
    [
      "734.374267458",
      "1707.563213822"
    ],
    [
      "847.849180491",
      "1926.954289557"
    ],
    [
      "1961.728880614",
      "611.388005816"
    ],
    [
      "309.055767024",
      "1805.055370564"
    ],
    [
      "867.648312854",
      "1381.774645190"
    ],
    [
      "139.826491793",
      "1363.168004852"
    ],
    [
      "1332.617005893",
      "136.712987181"
    ],
    [
      "1077.505730321",
      "2036.714068072"
    ],
    [
      "1741.504429657",
      "1189.325183017"
    ],
    [
      "1500.725863194",
      "642.200853210"
    ],
    [
      "2234.794052620",
      "912.871632987"
    ],
    [
      "1809.995075694",
      "821.287630505"
    ],
    [
      "387.152111930",
      "1452.605344011"
    ],
    [
      "654.462451710",
      "1227.759098544"
    ],
    [
      "697.243993810",
      "265.045887991"
    ],
    [
      "1384.049461964",
      "398.712419362"
    ],
    [
      "1828.947153196",
      "1444.780065508"
    ],
    [
      "1590.658444299",
      "212.710461257"
    ],
    [
      "433.339005094",
      "1060.551537539"
    ],
    [
      "1235.401991532",
      "1159.351790153"
    ],
    [
      "1134.957570971",
      "1426.456100274"
    ],
    [
      "150.008948557",
      "1091.358664365"
    ],
    [
      "1243.562746162",
      "2259.334770955"
    ],
    [
      "1281.887742047",
      "1851.230933305"
    ],
    [
      "1610.974829019",
      "1629.939634241"
    ],
    [
      "967.736664797",
      "357.553221683"
    ],
    [
      "1986.434985274",
      "1048.166799249"
    ],
    [
      "1733.379148521",
      "1900.543001862"
    ],
    [
      "1839.189135461",
      "364.082504749"
    ],
    [
      "535.909058175",
      "504.820862840"
    ],
    [
      "2032.328713253",
      "1851.165296905"
    ],
    [
      "992.540285390",
      "988.901855715"
    ],
    [
      "565.411871197",
      "1928.324869573"
    ],
    [
      "1482.815756427",
      "2076.690315539"
    ],
    [
      "2251.137370051",
      "1202.410742571"
    ]
  ],
  "radius": "1204.069341848"
}

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

DISCUSSION

讨论区

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