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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1902.533796726y0
0x1902.533796726
已验证构造r = 951.266898363

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1635.033613934",
      "932.234715325"
    ],
    [
      "602.259477849",
      "72.773114957"
    ],
    [
      "1002.455790038",
      "774.679768549"
    ],
    [
      "1735.543237839",
      "817.935744651"
    ],
    [
      "615.330739588",
      "1655.240498005"
    ],
    [
      "1890.303714101",
      "1057.817470658"
    ],
    [
      "975.732753960",
      "546.249642295"
    ],
    [
      "1371.599677584",
      "505.190316008"
    ],
    [
      "1683.856444273",
      "1110.546049522"
    ],
    [
      "665.478204648",
      "200.965189922"
    ],
    [
      "595.399978365",
      "765.136029476"
    ],
    [
      "291.382071277",
      "1339.843155069"
    ],
    [
      "34.257999957",
      "754.292074996"
    ],
    [
      "1750.534389333",
      "461.833193566"
    ],
    [
      "1161.078896890",
      "1229.123094685"
    ],
    [
      "441.473755937",
      "465.646604813"
    ],
    [
      "94.106215011",
      "579.966076256"
    ],
    [
      "1607.067414500",
      "1615.066125134"
    ],
    [
      "607.018829481",
      "1116.213680045"
    ],
    [
      "276.027862246",
      "310.100470411"
    ],
    [
      "652.560419418",
      "1089.717851283"
    ],
    [
      "1328.340761686",
      "1800.582937109"
    ],
    [
      "1615.228707912",
      "302.621906855"
    ],
    [
      "1382.754779446",
      "130.543846352"
    ],
    [
      "640.389433315",
      "78.727221306"
    ],
    [
      "470.308516996",
      "161.082061897"
    ],
    [
      "1854.476594604",
      "755.401941115"
    ],
    [
      "551.788993245",
      "1783.374529548"
    ],
    [
      "1735.911890787",
      "1435.938365288"
    ],
    [
      "865.800763306",
      "34.126539796"
    ],
    [
      "344.749528517",
      "1643.037554130"
    ],
    [
      "166.994904518",
      "1430.419672577"
    ],
    [
      "1258.670184319",
      "454.773542757"
    ],
    [
      "1129.898721768",
      "51.687783207"
    ],
    [
      "783.577680988",
      "1852.052958964"
    ],
    [
      "1754.673463195",
      "512.802091542"
    ],
    [
      "1075.340373943",
      "1857.075782233"
    ],
    [
      "810.490284202",
      "399.245007988"
    ],
    [
      "644.628529713",
      "1448.245925677"
    ],
    [
      "727.506922195",
      "1286.607045080"
    ],
    [
      "189.017144298",
      "453.834590581"
    ],
    [
      "928.451979878",
      "1326.345216482"
    ],
    [
      "1464.946551064",
      "1700.302399847"
    ],
    [
      "1581.702473699",
      "1326.302744225"
    ],
    [
      "46.095338040",
      "908.248716355"
    ],
    [
      "1822.038349721",
      "1198.759270916"
    ],
    [
      "1570.821103345",
      "611.005164981"
    ],
    [
      "58.397944492",
      "814.606293611"
    ],
    [
      "148.156411739",
      "540.316079947"
    ],
    [
      "1851.881172188",
      "985.559052950"
    ],
    [
      "174.782940819",
      "1128.752664515"
    ],
    [
      "77.534301421",
      "1163.865099647"
    ],
    [
      "1536.858808240",
      "1632.417054922"
    ],
    [
      "1733.305840250",
      "1152.629352306"
    ],
    [
      "1374.999466850",
      "1739.294647361"
    ],
    [
      "258.468447935",
      "384.227987542"
    ],
    [
      "1306.732400250",
      "530.865929367"
    ],
    [
      "1832.812812499",
      "1095.290793149"
    ],
    [
      "226.579354222",
      "1030.974589906"
    ],
    [
      "466.257100481",
      "1348.373374138"
    ],
    [
      "1210.117304707",
      "374.283478718"
    ],
    [
      "1533.288273465",
      "279.503740344"
    ],
    [
      "919.805681812",
      "1568.351799187"
    ],
    [
      "1430.458027479",
      "204.623689271"
    ],
    [
      "936.251035229",
      "1081.705017343"
    ],
    [
      "588.392789553",
      "1030.863718796"
    ],
    [
      "355.746275241",
      "1285.792566329"
    ],
    [
      "1045.659922953",
      "1604.707128748"
    ],
    [
      "797.079965571",
      "1616.956311056"
    ],
    [
      "1659.781860206",
      "849.582001126"
    ],
    [
      "1070.494632560",
      "1059.918402730"
    ],
    [
      "1364.993581793",
      "1206.550540685"
    ],
    [
      "1386.711596581",
      "876.152480623"
    ],
    [
      "1170.954114843",
      "1535.426580229"
    ],
    [
      "675.108079222",
      "1183.038870104"
    ],
    [
      "787.904505847",
      "829.478482539"
    ],
    [
      "529.613394328",
      "1469.843452898"
    ],
    [
      "306.631279427",
      "760.896454979"
    ],
    [
      "658.332576314",
      "1565.447457694"
    ],
    [
      "578.684389990",
      "163.683245696"
    ],
    [
      "305.583614647",
      "1146.552818115"
    ],
    [
      "85.582064662",
      "1030.100325804"
    ],
    [
      "1814.501366531",
      "857.919912676"
    ],
    [
      "1100.202321873",
      "749.378768380"
    ],
    [
      "609.981803063",
      "1329.184578746"
    ],
    [
      "1444.039798270",
      "570.811873457"
    ],
    [
      "924.094544972",
      "456.675580440"
    ],
    [
      "872.846731483",
      "289.347574376"
    ],
    [
      "758.054271564",
      "515.041902983"
    ],
    [
      "1533.257853367",
      "947.519101828"
    ],
    [
      "1376.289557558",
      "1040.470821615"
    ],
    [
      "1447.099845300",
      "1348.517302618"
    ],
    [
      "1216.578329882",
      "1134.453987367"
    ],
    [
      "1709.327745958",
      "1005.918833656"
    ],
    [
      "183.992622637",
      "882.980095771"
    ],
    [
      "618.091672804",
      "871.404381391"
    ],
    [
      "844.391172482",
      "1215.143263797"
    ],
    [
      "1056.255113057",
      "327.220629806"
    ],
    [
      "684.579083788",
      "688.089286047"
    ],
    [
      "1724.456774438",
      "1307.402754154"
    ],
    [
      "141.775299695",
      "691.118575032"
    ],
    [
      "1042.783378908",
      "1230.684577438"
    ],
    [
      "1025.231210168",
      "1434.931783969"
    ],
    [
      "484.384939757",
      "721.779211203"
    ],
    [
      "1514.412782697",
      "752.150839241"
    ],
    [
      "684.159881974",
      "1751.851242780"
    ],
    [
      "762.921824199",
      "128.277222843"
    ],
    [
      "492.233484133",
      "1176.265209831"
    ],
    [
      "179.568600960",
      "1288.750625165"
    ],
    [
      "559.141040388",
      "520.917825360"
    ],
    [
      "490.035876505",
      "1653.630340578"
    ],
    [
      "1602.277992423",
      "1480.939893802"
    ],
    [
      "676.087719861",
      "330.419357220"
    ],
    [
      "768.015880943",
      "1018.451080824"
    ],
    [
      "1386.186868796",
      "378.317617561"
    ],
    [
      "1297.303804109",
      "709.637476353"
    ],
    [
      "967.781736519",
      "902.457102763"
    ],
    [
      "1201.794741624",
      "923.972526143"
    ],
    [
      "991.873704703",
      "119.991205595"
    ],
    [
      "802.338056349",
      "1428.029466790"
    ],
    [
      "1611.651832622",
      "448.042434433"
    ],
    [
      "1233.100056891",
      "1348.818239371"
    ],
    [
      "1730.285728737",
      "669.920640443"
    ],
    [
      "1555.473753040",
      "1160.362832773"
    ],
    [
      "907.679940477",
      "668.039155257"
    ],
    [
      "1123.998513711",
      "540.731359445"
    ],
    [
      "324.585138084",
      "554.866738378"
    ],
    [
      "1372.675377554",
      "1556.227809695"
    ],
    [
      "1190.850746301",
      "1737.856010892"
    ],
    [
      "322.864135407",
      "1480.028929766"
    ],
    [
      "432.522486327",
      "315.859926785"
    ],
    [
      "1235.256143331",
      "182.795454850"
    ],
    [
      "929.783054178",
      "1769.251715697"
    ],
    [
      "402.495455451",
      "951.518494152"
    ]
  ],
  "radius": "951.266898363"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 134
}

当前第一名的答案

{
  "centers": [
    [
      "1635.033613934",
      "932.234715325"
    ],
    [
      "602.259477849",
      "72.773114957"
    ],
    [
      "1002.455790038",
      "774.679768549"
    ],
    [
      "1735.543237839",
      "817.935744651"
    ],
    [
      "615.330739588",
      "1655.240498005"
    ],
    [
      "1890.303714101",
      "1057.817470658"
    ],
    [
      "975.732753960",
      "546.249642295"
    ],
    [
      "1371.599677584",
      "505.190316008"
    ],
    [
      "1683.856444273",
      "1110.546049522"
    ],
    [
      "665.478204648",
      "200.965189922"
    ],
    [
      "595.399978365",
      "765.136029476"
    ],
    [
      "291.382071277",
      "1339.843155069"
    ],
    [
      "34.257999957",
      "754.292074996"
    ],
    [
      "1750.534389333",
      "461.833193566"
    ],
    [
      "1161.078896890",
      "1229.123094685"
    ],
    [
      "441.473755937",
      "465.646604813"
    ],
    [
      "94.106215011",
      "579.966076256"
    ],
    [
      "1607.067414500",
      "1615.066125134"
    ],
    [
      "607.018829481",
      "1116.213680045"
    ],
    [
      "276.027862246",
      "310.100470411"
    ],
    [
      "652.560419418",
      "1089.717851283"
    ],
    [
      "1328.340761686",
      "1800.582937109"
    ],
    [
      "1615.228707912",
      "302.621906855"
    ],
    [
      "1382.754779446",
      "130.543846352"
    ],
    [
      "640.389433315",
      "78.727221306"
    ],
    [
      "470.308516996",
      "161.082061897"
    ],
    [
      "1854.476594604",
      "755.401941115"
    ],
    [
      "551.788993245",
      "1783.374529548"
    ],
    [
      "1735.911890787",
      "1435.938365288"
    ],
    [
      "865.800763306",
      "34.126539796"
    ],
    [
      "344.749528517",
      "1643.037554130"
    ],
    [
      "166.994904518",
      "1430.419672577"
    ],
    [
      "1258.670184319",
      "454.773542757"
    ],
    [
      "1129.898721768",
      "51.687783207"
    ],
    [
      "783.577680988",
      "1852.052958964"
    ],
    [
      "1754.673463195",
      "512.802091542"
    ],
    [
      "1075.340373943",
      "1857.075782233"
    ],
    [
      "810.490284202",
      "399.245007988"
    ],
    [
      "644.628529713",
      "1448.245925677"
    ],
    [
      "727.506922195",
      "1286.607045080"
    ],
    [
      "189.017144298",
      "453.834590581"
    ],
    [
      "928.451979878",
      "1326.345216482"
    ],
    [
      "1464.946551064",
      "1700.302399847"
    ],
    [
      "1581.702473699",
      "1326.302744225"
    ],
    [
      "46.095338040",
      "908.248716355"
    ],
    [
      "1822.038349721",
      "1198.759270916"
    ],
    [
      "1570.821103345",
      "611.005164981"
    ],
    [
      "58.397944492",
      "814.606293611"
    ],
    [
      "148.156411739",
      "540.316079947"
    ],
    [
      "1851.881172188",
      "985.559052950"
    ],
    [
      "174.782940819",
      "1128.752664515"
    ],
    [
      "77.534301421",
      "1163.865099647"
    ],
    [
      "1536.858808240",
      "1632.417054922"
    ],
    [
      "1733.305840250",
      "1152.629352306"
    ],
    [
      "1374.999466850",
      "1739.294647361"
    ],
    [
      "258.468447935",
      "384.227987542"
    ],
    [
      "1306.732400250",
      "530.865929367"
    ],
    [
      "1832.812812499",
      "1095.290793149"
    ],
    [
      "226.579354222",
      "1030.974589906"
    ],
    [
      "466.257100481",
      "1348.373374138"
    ],
    [
      "1210.117304707",
      "374.283478718"
    ],
    [
      "1533.288273465",
      "279.503740344"
    ],
    [
      "919.805681812",
      "1568.351799187"
    ],
    [
      "1430.458027479",
      "204.623689271"
    ],
    [
      "936.251035229",
      "1081.705017343"
    ],
    [
      "588.392789553",
      "1030.863718796"
    ],
    [
      "355.746275241",
      "1285.792566329"
    ],
    [
      "1045.659922953",
      "1604.707128748"
    ],
    [
      "797.079965571",
      "1616.956311056"
    ],
    [
      "1659.781860206",
      "849.582001126"
    ],
    [
      "1070.494632560",
      "1059.918402730"
    ],
    [
      "1364.993581793",
      "1206.550540685"
    ],
    [
      "1386.711596581",
      "876.152480623"
    ],
    [
      "1170.954114843",
      "1535.426580229"
    ],
    [
      "675.108079222",
      "1183.038870104"
    ],
    [
      "787.904505847",
      "829.478482539"
    ],
    [
      "529.613394328",
      "1469.843452898"
    ],
    [
      "306.631279427",
      "760.896454979"
    ],
    [
      "658.332576314",
      "1565.447457694"
    ],
    [
      "578.684389990",
      "163.683245696"
    ],
    [
      "305.583614647",
      "1146.552818115"
    ],
    [
      "85.582064662",
      "1030.100325804"
    ],
    [
      "1814.501366531",
      "857.919912676"
    ],
    [
      "1100.202321873",
      "749.378768380"
    ],
    [
      "609.981803063",
      "1329.184578746"
    ],
    [
      "1444.039798270",
      "570.811873457"
    ],
    [
      "924.094544972",
      "456.675580440"
    ],
    [
      "872.846731483",
      "289.347574376"
    ],
    [
      "758.054271564",
      "515.041902983"
    ],
    [
      "1533.257853367",
      "947.519101828"
    ],
    [
      "1376.289557558",
      "1040.470821615"
    ],
    [
      "1447.099845300",
      "1348.517302618"
    ],
    [
      "1216.578329882",
      "1134.453987367"
    ],
    [
      "1709.327745958",
      "1005.918833656"
    ],
    [
      "183.992622637",
      "882.980095771"
    ],
    [
      "618.091672804",
      "871.404381391"
    ],
    [
      "844.391172482",
      "1215.143263797"
    ],
    [
      "1056.255113057",
      "327.220629806"
    ],
    [
      "684.579083788",
      "688.089286047"
    ],
    [
      "1724.456774438",
      "1307.402754154"
    ],
    [
      "141.775299695",
      "691.118575032"
    ],
    [
      "1042.783378908",
      "1230.684577438"
    ],
    [
      "1025.231210168",
      "1434.931783969"
    ],
    [
      "484.384939757",
      "721.779211203"
    ],
    [
      "1514.412782697",
      "752.150839241"
    ],
    [
      "684.159881974",
      "1751.851242780"
    ],
    [
      "762.921824199",
      "128.277222843"
    ],
    [
      "492.233484133",
      "1176.265209831"
    ],
    [
      "179.568600960",
      "1288.750625165"
    ],
    [
      "559.141040388",
      "520.917825360"
    ],
    [
      "490.035876505",
      "1653.630340578"
    ],
    [
      "1602.277992423",
      "1480.939893802"
    ],
    [
      "676.087719861",
      "330.419357220"
    ],
    [
      "768.015880943",
      "1018.451080824"
    ],
    [
      "1386.186868796",
      "378.317617561"
    ],
    [
      "1297.303804109",
      "709.637476353"
    ],
    [
      "967.781736519",
      "902.457102763"
    ],
    [
      "1201.794741624",
      "923.972526143"
    ],
    [
      "991.873704703",
      "119.991205595"
    ],
    [
      "802.338056349",
      "1428.029466790"
    ],
    [
      "1611.651832622",
      "448.042434433"
    ],
    [
      "1233.100056891",
      "1348.818239371"
    ],
    [
      "1730.285728737",
      "669.920640443"
    ],
    [
      "1555.473753040",
      "1160.362832773"
    ],
    [
      "907.679940477",
      "668.039155257"
    ],
    [
      "1123.998513711",
      "540.731359445"
    ],
    [
      "324.585138084",
      "554.866738378"
    ],
    [
      "1372.675377554",
      "1556.227809695"
    ],
    [
      "1190.850746301",
      "1737.856010892"
    ],
    [
      "322.864135407",
      "1480.028929766"
    ],
    [
      "432.522486327",
      "315.859926785"
    ],
    [
      "1235.256143331",
      "182.795454850"
    ],
    [
      "929.783054178",
      "1769.251715697"
    ],
    [
      "402.495455451",
      "951.518494152"
    ]
  ],
  "radius": "951.266898363"
}

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

DISCUSSION

讨论区

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