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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2075.835266812y0
0x2075.835266812
已验证构造r = 1037.917633406

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1230.897129000",
      "655.704626787"
    ],
    [
      "656.387236990",
      "511.310530229"
    ],
    [
      "809.518342848",
      "1850.714268953"
    ],
    [
      "798.626865535",
      "503.649060322"
    ],
    [
      "1740.103963564",
      "1782.579512427"
    ],
    [
      "645.814158557",
      "149.875435291"
    ],
    [
      "799.246938493",
      "1353.940790554"
    ],
    [
      "1891.719028923",
      "1224.904661373"
    ],
    [
      "277.121171508",
      "667.956861675"
    ],
    [
      "1620.354388327",
      "1873.915841539"
    ],
    [
      "788.392200955",
      "2029.852434475"
    ],
    [
      "1344.892266363",
      "861.700072835"
    ],
    [
      "1031.729699938",
      "151.726881016"
    ],
    [
      "299.492778791",
      "1737.632926421"
    ],
    [
      "1678.902405364",
      "1152.296775004"
    ],
    [
      "1237.593483757",
      "1360.648114857"
    ],
    [
      "1381.379332001",
      "76.508835966"
    ],
    [
      "58.552596670",
      "1317.865910932"
    ],
    [
      "207.068797783",
      "1627.559725867"
    ],
    [
      "1972.344748394",
      "644.537124643"
    ],
    [
      "263.188927305",
      "380.140599445"
    ],
    [
      "1066.815299268",
      "26.480426074"
    ],
    [
      "1808.667363226",
      "380.769487953"
    ],
    [
      "477.024184209",
      "1881.249242475"
    ],
    [
      "990.802114862",
      "2049.673707979"
    ],
    [
      "1178.080578343",
      "2040.035278062"
    ],
    [
      "881.247319156",
      "39.214036657"
    ],
    [
      "2012.370532196",
      "1303.014655304"
    ],
    [
      "634.861245797",
      "113.006643417"
    ],
    [
      "455.996005909",
      "214.956410030"
    ],
    [
      "34.441340732",
      "1121.094856867"
    ],
    [
      "2031.739159844",
      "882.603877046"
    ],
    [
      "1024.954646866",
      "342.672966100"
    ],
    [
      "1425.010413697",
      "1964.205814324"
    ],
    [
      "348.917582770",
      "1598.665799505"
    ],
    [
      "1328.440073995",
      "79.045558705"
    ],
    [
      "1596.086145109",
      "207.162131964"
    ],
    [
      "1887.027885330",
      "1565.851694693"
    ],
    [
      "661.155018142",
      "1963.057295798"
    ],
    [
      "1584.014127504",
      "1736.215622198"
    ],
    [
      "1542.522996306",
      "698.408303172"
    ],
    [
      "1564.743285725",
      "528.360932841"
    ],
    [
      "739.572122536",
      "1987.041451048"
    ],
    [
      "1689.480764806",
      "1446.034586437"
    ],
    [
      "1090.848469252",
      "851.424771307"
    ],
    [
      "764.962729213",
      "1077.746514957"
    ],
    [
      "749.475810905",
      "1532.608246639"
    ],
    [
      "1742.683994923",
      "809.514694465"
    ],
    [
      "1369.848899711",
      "1776.241211298"
    ],
    [
      "185.283535889",
      "538.922296609"
    ],
    [
      "1100.141747515",
      "305.217660785"
    ],
    [
      "1516.597527989",
      "609.094977779"
    ],
    [
      "737.189318165",
      "502.675990786"
    ],
    [
      "245.800436307",
      "454.271849656"
    ],
    [
      "581.011150858",
      "495.389138444"
    ],
    [
      "1651.715619772",
      "1804.347193591"
    ],
    [
      "278.924012716",
      "1659.308144175"
    ],
    [
      "1486.746013650",
      "1003.027145600"
    ],
    [
      "116.838783777",
      "1369.419497287"
    ],
    [
      "225.753497509",
      "1321.448712856"
    ],
    [
      "85.016359192",
      "822.633579053"
    ],
    [
      "206.699278736",
      "840.585378168"
    ],
    [
      "1577.983009881",
      "1484.495707917"
    ],
    [
      "1405.256720865",
      "911.009960988"
    ],
    [
      "346.093772337",
      "1357.037684979"
    ],
    [
      "1481.859999912",
      "1126.930845585"
    ],
    [
      "642.095300978",
      "1757.218550735"
    ],
    [
      "1898.143414833",
      "589.864265424"
    ],
    [
      "1825.200888563",
      "473.173170171"
    ],
    [
      "732.458718894",
      "741.437380974"
    ],
    [
      "724.278159805",
      "1872.766406164"
    ],
    [
      "1007.628448229",
      "1126.096420486"
    ],
    [
      "300.163245602",
      "937.999375640"
    ],
    [
      "1085.861648876",
      "430.646468399"
    ],
    [
      "578.734338169",
      "1884.298794644"
    ],
    [
      "1449.388393647",
      "1431.297044120"
    ],
    [
      "977.373759017",
      "78.909219750"
    ],
    [
      "481.996351481",
      "1312.546236559"
    ],
    [
      "1082.700974418",
      "1995.788960894"
    ],
    [
      "989.260400436",
      "235.458597763"
    ],
    [
      "1981.452809913",
      "1197.394051150"
    ],
    [
      "655.651762396",
      "610.270725784"
    ],
    [
      "313.725692964",
      "573.442034356"
    ],
    [
      "1352.589897689",
      "1049.568917703"
    ],
    [
      "1053.672222978",
      "975.999882191"
    ],
    [
      "571.853571998",
      "209.209725746"
    ],
    [
      "824.749273334",
      "612.038345594"
    ],
    [
      "886.574319130",
      "1021.473775566"
    ],
    [
      "483.540951529",
      "601.524710316"
    ],
    [
      "1149.386017741",
      "729.769638207"
    ],
    [
      "1624.430391318",
      "1059.998794955"
    ],
    [
      "109.417052175",
      "1218.601998630"
    ],
    [
      "625.671473109",
      "1598.063727125"
    ],
    [
      "1772.300464330",
      "948.391851478"
    ],
    [
      "569.102073652",
      "764.666811805"
    ],
    [
      "1238.307037252",
      "355.410814823"
    ],
    [
      "1179.562475724",
      "1107.436727346"
    ],
    [
      "166.479726071",
      "685.722898576"
    ],
    [
      "667.184533165",
      "367.756273624"
    ],
    [
      "1212.330007818",
      "550.152761904"
    ],
    [
      "1244.722665049",
      "1693.516212662"
    ],
    [
      "1500.860063702",
      "1851.321667543"
    ],
    [
      "1013.751777204",
      "592.291655179"
    ],
    [
      "1229.731356299",
      "907.267200187"
    ],
    [
      "879.910968842",
      "1454.565504667"
    ],
    [
      "1801.586587659",
      "1146.236040124"
    ],
    [
      "454.020634467",
      "1495.418758441"
    ],
    [
      "480.913192639",
      "947.510245558"
    ],
    [
      "1966.353202231",
      "1007.994996643"
    ],
    [
      "1271.060537604",
      "1484.166465900"
    ],
    [
      "1065.388539426",
      "1806.579342759"
    ],
    [
      "362.115121096",
      "762.342704671"
    ],
    [
      "234.020654084",
      "1495.325848484"
    ],
    [
      "892.255915583",
      "1950.280750414"
    ],
    [
      "1064.485413115",
      "1574.463762609"
    ],
    [
      "706.498127810",
      "925.616771003"
    ],
    [
      "1415.425329119",
      "473.724426409"
    ],
    [
      "118.960341382",
      "998.385694480"
    ],
    [
      "1581.570551166",
      "853.570439210"
    ],
    [
      "664.772519353",
      "1388.683431531"
    ],
    [
      "842.339776611",
      "1225.739057122"
    ],
    [
      "884.462184160",
      "408.147143636"
    ],
    [
      "1460.378253095",
      "1629.993352566"
    ],
    [
      "1912.360240738",
      "781.337192653"
    ],
    [
      "1272.204043061",
      "1920.260244659"
    ],
    [
      "1342.822675747",
      "1259.341655149"
    ],
    [
      "449.065247221",
      "1729.373388588"
    ],
    [
      "605.697534524",
      "1147.822172364"
    ],
    [
      "1174.865316087",
      "139.376261785"
    ],
    [
      "921.644177339",
      "806.313126176"
    ],
    [
      "1370.151706447",
      "718.833855828"
    ],
    [
      "1703.058388583",
      "633.930494370"
    ],
    [
      "787.044592049",
      "168.542479833"
    ],
    [
      "1424.996850252",
      "221.072012823"
    ],
    [
      "1647.672825787",
      "371.990566769"
    ],
    [
      "1604.857271084",
      "1287.167143860"
    ],
    [
      "1721.101500661",
      "1624.251109421"
    ],
    [
      "1083.506658729",
      "1321.908823494"
    ],
    [
      "424.347568480",
      "380.966579667"
    ],
    [
      "839.922230197",
      "1696.280007299"
    ],
    [
      "1864.499548383",
      "1386.089399842"
    ],
    [
      "333.268152368",
      "1150.435401654"
    ]
  ],
  "radius": "1037.917633406"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 142
}

当前第一名的答案

{
  "centers": [
    [
      "1230.897129000",
      "655.704626787"
    ],
    [
      "656.387236990",
      "511.310530229"
    ],
    [
      "809.518342848",
      "1850.714268953"
    ],
    [
      "798.626865535",
      "503.649060322"
    ],
    [
      "1740.103963564",
      "1782.579512427"
    ],
    [
      "645.814158557",
      "149.875435291"
    ],
    [
      "799.246938493",
      "1353.940790554"
    ],
    [
      "1891.719028923",
      "1224.904661373"
    ],
    [
      "277.121171508",
      "667.956861675"
    ],
    [
      "1620.354388327",
      "1873.915841539"
    ],
    [
      "788.392200955",
      "2029.852434475"
    ],
    [
      "1344.892266363",
      "861.700072835"
    ],
    [
      "1031.729699938",
      "151.726881016"
    ],
    [
      "299.492778791",
      "1737.632926421"
    ],
    [
      "1678.902405364",
      "1152.296775004"
    ],
    [
      "1237.593483757",
      "1360.648114857"
    ],
    [
      "1381.379332001",
      "76.508835966"
    ],
    [
      "58.552596670",
      "1317.865910932"
    ],
    [
      "207.068797783",
      "1627.559725867"
    ],
    [
      "1972.344748394",
      "644.537124643"
    ],
    [
      "263.188927305",
      "380.140599445"
    ],
    [
      "1066.815299268",
      "26.480426074"
    ],
    [
      "1808.667363226",
      "380.769487953"
    ],
    [
      "477.024184209",
      "1881.249242475"
    ],
    [
      "990.802114862",
      "2049.673707979"
    ],
    [
      "1178.080578343",
      "2040.035278062"
    ],
    [
      "881.247319156",
      "39.214036657"
    ],
    [
      "2012.370532196",
      "1303.014655304"
    ],
    [
      "634.861245797",
      "113.006643417"
    ],
    [
      "455.996005909",
      "214.956410030"
    ],
    [
      "34.441340732",
      "1121.094856867"
    ],
    [
      "2031.739159844",
      "882.603877046"
    ],
    [
      "1024.954646866",
      "342.672966100"
    ],
    [
      "1425.010413697",
      "1964.205814324"
    ],
    [
      "348.917582770",
      "1598.665799505"
    ],
    [
      "1328.440073995",
      "79.045558705"
    ],
    [
      "1596.086145109",
      "207.162131964"
    ],
    [
      "1887.027885330",
      "1565.851694693"
    ],
    [
      "661.155018142",
      "1963.057295798"
    ],
    [
      "1584.014127504",
      "1736.215622198"
    ],
    [
      "1542.522996306",
      "698.408303172"
    ],
    [
      "1564.743285725",
      "528.360932841"
    ],
    [
      "739.572122536",
      "1987.041451048"
    ],
    [
      "1689.480764806",
      "1446.034586437"
    ],
    [
      "1090.848469252",
      "851.424771307"
    ],
    [
      "764.962729213",
      "1077.746514957"
    ],
    [
      "749.475810905",
      "1532.608246639"
    ],
    [
      "1742.683994923",
      "809.514694465"
    ],
    [
      "1369.848899711",
      "1776.241211298"
    ],
    [
      "185.283535889",
      "538.922296609"
    ],
    [
      "1100.141747515",
      "305.217660785"
    ],
    [
      "1516.597527989",
      "609.094977779"
    ],
    [
      "737.189318165",
      "502.675990786"
    ],
    [
      "245.800436307",
      "454.271849656"
    ],
    [
      "581.011150858",
      "495.389138444"
    ],
    [
      "1651.715619772",
      "1804.347193591"
    ],
    [
      "278.924012716",
      "1659.308144175"
    ],
    [
      "1486.746013650",
      "1003.027145600"
    ],
    [
      "116.838783777",
      "1369.419497287"
    ],
    [
      "225.753497509",
      "1321.448712856"
    ],
    [
      "85.016359192",
      "822.633579053"
    ],
    [
      "206.699278736",
      "840.585378168"
    ],
    [
      "1577.983009881",
      "1484.495707917"
    ],
    [
      "1405.256720865",
      "911.009960988"
    ],
    [
      "346.093772337",
      "1357.037684979"
    ],
    [
      "1481.859999912",
      "1126.930845585"
    ],
    [
      "642.095300978",
      "1757.218550735"
    ],
    [
      "1898.143414833",
      "589.864265424"
    ],
    [
      "1825.200888563",
      "473.173170171"
    ],
    [
      "732.458718894",
      "741.437380974"
    ],
    [
      "724.278159805",
      "1872.766406164"
    ],
    [
      "1007.628448229",
      "1126.096420486"
    ],
    [
      "300.163245602",
      "937.999375640"
    ],
    [
      "1085.861648876",
      "430.646468399"
    ],
    [
      "578.734338169",
      "1884.298794644"
    ],
    [
      "1449.388393647",
      "1431.297044120"
    ],
    [
      "977.373759017",
      "78.909219750"
    ],
    [
      "481.996351481",
      "1312.546236559"
    ],
    [
      "1082.700974418",
      "1995.788960894"
    ],
    [
      "989.260400436",
      "235.458597763"
    ],
    [
      "1981.452809913",
      "1197.394051150"
    ],
    [
      "655.651762396",
      "610.270725784"
    ],
    [
      "313.725692964",
      "573.442034356"
    ],
    [
      "1352.589897689",
      "1049.568917703"
    ],
    [
      "1053.672222978",
      "975.999882191"
    ],
    [
      "571.853571998",
      "209.209725746"
    ],
    [
      "824.749273334",
      "612.038345594"
    ],
    [
      "886.574319130",
      "1021.473775566"
    ],
    [
      "483.540951529",
      "601.524710316"
    ],
    [
      "1149.386017741",
      "729.769638207"
    ],
    [
      "1624.430391318",
      "1059.998794955"
    ],
    [
      "109.417052175",
      "1218.601998630"
    ],
    [
      "625.671473109",
      "1598.063727125"
    ],
    [
      "1772.300464330",
      "948.391851478"
    ],
    [
      "569.102073652",
      "764.666811805"
    ],
    [
      "1238.307037252",
      "355.410814823"
    ],
    [
      "1179.562475724",
      "1107.436727346"
    ],
    [
      "166.479726071",
      "685.722898576"
    ],
    [
      "667.184533165",
      "367.756273624"
    ],
    [
      "1212.330007818",
      "550.152761904"
    ],
    [
      "1244.722665049",
      "1693.516212662"
    ],
    [
      "1500.860063702",
      "1851.321667543"
    ],
    [
      "1013.751777204",
      "592.291655179"
    ],
    [
      "1229.731356299",
      "907.267200187"
    ],
    [
      "879.910968842",
      "1454.565504667"
    ],
    [
      "1801.586587659",
      "1146.236040124"
    ],
    [
      "454.020634467",
      "1495.418758441"
    ],
    [
      "480.913192639",
      "947.510245558"
    ],
    [
      "1966.353202231",
      "1007.994996643"
    ],
    [
      "1271.060537604",
      "1484.166465900"
    ],
    [
      "1065.388539426",
      "1806.579342759"
    ],
    [
      "362.115121096",
      "762.342704671"
    ],
    [
      "234.020654084",
      "1495.325848484"
    ],
    [
      "892.255915583",
      "1950.280750414"
    ],
    [
      "1064.485413115",
      "1574.463762609"
    ],
    [
      "706.498127810",
      "925.616771003"
    ],
    [
      "1415.425329119",
      "473.724426409"
    ],
    [
      "118.960341382",
      "998.385694480"
    ],
    [
      "1581.570551166",
      "853.570439210"
    ],
    [
      "664.772519353",
      "1388.683431531"
    ],
    [
      "842.339776611",
      "1225.739057122"
    ],
    [
      "884.462184160",
      "408.147143636"
    ],
    [
      "1460.378253095",
      "1629.993352566"
    ],
    [
      "1912.360240738",
      "781.337192653"
    ],
    [
      "1272.204043061",
      "1920.260244659"
    ],
    [
      "1342.822675747",
      "1259.341655149"
    ],
    [
      "449.065247221",
      "1729.373388588"
    ],
    [
      "605.697534524",
      "1147.822172364"
    ],
    [
      "1174.865316087",
      "139.376261785"
    ],
    [
      "921.644177339",
      "806.313126176"
    ],
    [
      "1370.151706447",
      "718.833855828"
    ],
    [
      "1703.058388583",
      "633.930494370"
    ],
    [
      "787.044592049",
      "168.542479833"
    ],
    [
      "1424.996850252",
      "221.072012823"
    ],
    [
      "1647.672825787",
      "371.990566769"
    ],
    [
      "1604.857271084",
      "1287.167143860"
    ],
    [
      "1721.101500661",
      "1624.251109421"
    ],
    [
      "1083.506658729",
      "1321.908823494"
    ],
    [
      "424.347568480",
      "380.966579667"
    ],
    [
      "839.922230197",
      "1696.280007299"
    ],
    [
      "1864.499548383",
      "1386.089399842"
    ],
    [
      "333.268152368",
      "1150.435401654"
    ]
  ],
  "radius": "1037.917633406"
}

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

DISCUSSION

讨论区

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