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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1798.151308834y0
0x1798.151308834
已验证构造r = 899.075654417

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1508.544823937",
      "555.051215219"
    ],
    [
      "1042.331677348",
      "253.344435373"
    ],
    [
      "856.090981236",
      "170.948501861"
    ],
    [
      "1551.500581599",
      "1511.828913648"
    ],
    [
      "1633.077800401",
      "902.985049320"
    ],
    [
      "957.249714562",
      "1221.950063623"
    ],
    [
      "651.443548682",
      "807.218209972"
    ],
    [
      "1275.726350376",
      "477.431245899"
    ],
    [
      "414.989057866",
      "412.119692843"
    ],
    [
      "1340.699221456",
      "1465.990094416"
    ],
    [
      "911.284314368",
      "1714.961488494"
    ],
    [
      "469.867050310",
      "1292.957435567"
    ],
    [
      "809.245255460",
      "587.254943757"
    ],
    [
      "1626.097740031",
      "1394.864314534"
    ],
    [
      "1565.868301734",
      "1104.893889986"
    ],
    [
      "166.016899177",
      "1391.322591307"
    ],
    [
      "20.118346370",
      "904.896532382"
    ],
    [
      "1663.555045183",
      "461.230990854"
    ],
    [
      "897.018970711",
      "687.810899720"
    ],
    [
      "1317.190050787",
      "1672.237747617"
    ],
    [
      "1539.405974262",
      "298.400473026"
    ],
    [
      "233.922424419",
      "327.550402264"
    ],
    [
      "281.379928857",
      "1520.255344916"
    ],
    [
      "138.684780579",
      "466.047966574"
    ],
    [
      "1165.193239586",
      "1731.655789003"
    ],
    [
      "432.484804148",
      "1637.014728292"
    ],
    [
      "491.191942825",
      "332.415791498"
    ],
    [
      "616.953273662",
      "75.099101024"
    ],
    [
      "400.665237886",
      "186.070750353"
    ],
    [
      "57.283183550",
      "683.084876591"
    ],
    [
      "638.424195982",
      "1727.048315810"
    ],
    [
      "856.503756756",
      "33.045733450"
    ],
    [
      "1668.932075754",
      "872.851416444"
    ],
    [
      "1722.592817117",
      "1163.807416814"
    ],
    [
      "517.667851703",
      "958.577120429"
    ],
    [
      "911.556907323",
      "1762.061056131"
    ],
    [
      "1454.914465777",
      "709.903567652"
    ],
    [
      "239.279800407",
      "732.630328670"
    ],
    [
      "1200.806552255",
      "617.525130664"
    ],
    [
      "1292.249357509",
      "1450.061353649"
    ],
    [
      "936.860640682",
      "1267.675918008"
    ],
    [
      "660.104106860",
      "1028.541212187"
    ],
    [
      "441.077896247",
      "632.436856023"
    ],
    [
      "909.540437177",
      "1547.707613534"
    ],
    [
      "101.958086368",
      "1205.749432517"
    ],
    [
      "669.133015819",
      "864.232976349"
    ],
    [
      "1705.505786494",
      "623.933213263"
    ],
    [
      "1749.875967911",
      "877.428573909"
    ],
    [
      "1250.902813756",
      "125.224074214"
    ],
    [
      "1484.858937726",
      "1513.719788789"
    ],
    [
      "1664.286719102",
      "533.446960115"
    ],
    [
      "696.424631324",
      "429.497383449"
    ],
    [
      "478.508587932",
      "414.698570936"
    ],
    [
      "1153.051149634",
      "93.067397939"
    ],
    [
      "1553.633630832",
      "1432.008638844"
    ],
    [
      "607.751665049",
      "945.696647872"
    ],
    [
      "1371.897529909",
      "763.686615106"
    ],
    [
      "61.219173873",
      "972.592825606"
    ],
    [
      "829.836720463",
      "1481.692691743"
    ],
    [
      "437.278004540",
      "1228.674492967"
    ],
    [
      "1459.974928185",
      "276.549917353"
    ],
    [
      "1102.523021372",
      "640.792007500"
    ],
    [
      "586.289498451",
      "371.811797585"
    ],
    [
      "758.636260187",
      "527.949567294"
    ],
    [
      "528.270416812",
      "1457.572988731"
    ],
    [
      "846.505429234",
      "262.282537301"
    ],
    [
      "90.199015769",
      "1094.187104931"
    ],
    [
      "1227.418590939",
      "1662.539903351"
    ],
    [
      "170.507595082",
      "1296.837109268"
    ],
    [
      "208.695125166",
      "1162.945173979"
    ],
    [
      "222.689543757",
      "421.460031185"
    ],
    [
      "337.485961188",
      "682.373926339"
    ],
    [
      "309.229239919",
      "1264.640266147"
    ],
    [
      "1344.755061670",
      "204.727253784"
    ],
    [
      "1158.077173998",
      "912.218136664"
    ],
    [
      "821.697377865",
      "402.956385730"
    ],
    [
      "419.152838771",
      "1366.703003792"
    ],
    [
      "707.449665003",
      "299.692354692"
    ],
    [
      "1378.187657802",
      "1222.257377154"
    ],
    [
      "351.693193615",
      "1117.651107919"
    ],
    [
      "401.827227448",
      "964.655752918"
    ],
    [
      "305.657415341",
      "833.048886672"
    ],
    [
      "266.514874502",
      "1414.678537889"
    ],
    [
      "1700.896318277",
      "754.852091979"
    ],
    [
      "1185.654973246",
      "1515.350228994"
    ],
    [
      "887.511176571",
      "1150.656131680"
    ],
    [
      "714.588919862",
      "1145.470272530"
    ],
    [
      "392.562644983",
      "1530.233544518"
    ],
    [
      "681.650180433",
      "1471.380527029"
    ],
    [
      "1053.750188059",
      "1208.453978180"
    ],
    [
      "1354.080591059",
      "1566.426752706"
    ],
    [
      "1324.958690092",
      "905.550889736"
    ],
    [
      "1411.424024025",
      "1391.015618317"
    ],
    [
      "1565.363519332",
      "639.462055963"
    ],
    [
      "1334.572207563",
      "373.420198160"
    ],
    [
      "1216.711449375",
      "751.584946597"
    ],
    [
      "985.527780819",
      "347.381219783"
    ],
    [
      "363.894952194",
      "514.437732520"
    ],
    [
      "222.448670848",
      "993.791111542"
    ],
    [
      "1021.203624376",
      "1021.262308513"
    ],
    [
      "558.446371412",
      "1620.807212361"
    ],
    [
      "532.252770972",
      "1094.798558283"
    ],
    [
      "359.804455054",
      "313.479359097"
    ],
    [
      "801.746146280",
      "1320.297903974"
    ],
    [
      "1453.851668629",
      "1054.534518051"
    ],
    [
      "749.529891086",
      "120.227107974"
    ],
    [
      "1168.859251425",
      "257.907358318"
    ],
    [
      "591.099107794",
      "1296.385037600"
    ],
    [
      "1217.917473041",
      "1320.926652844"
    ],
    [
      "114.673339353",
      "813.323706837"
    ],
    [
      "1153.043003912",
      "475.332854327"
    ],
    [
      "171.556830227",
      "598.735104002"
    ],
    [
      "1533.335343315",
      "434.716330723"
    ],
    [
      "544.060748250",
      "198.855546483"
    ],
    [
      "1523.141442654",
      "845.730956740"
    ],
    [
      "1672.443406508",
      "1021.997583160"
    ],
    [
      "579.197567058",
      "551.672033633"
    ],
    [
      "939.229269599",
      "557.337043372"
    ],
    [
      "1228.067760964",
      "1093.152704220"
    ],
    [
      "1356.899111949",
      "587.257775168"
    ],
    [
      "1006.285359296",
      "1414.046025767"
    ],
    [
      "808.312060324",
      "958.324387066"
    ],
    [
      "979.425846313",
      "127.465857892"
    ],
    [
      "1034.643790113",
      "1659.837676784"
    ],
    [
      "755.984127012",
      "716.930958415"
    ],
    [
      "994.859597421",
      "794.910751149"
    ],
    [
      "782.635265279",
      "1662.320341211"
    ],
    [
      "512.907947660",
      "787.618825704"
    ],
    [
      "1584.251178920",
      "1250.573896443"
    ]
  ],
  "radius": "899.075654417"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 129
}

当前第一名的答案

{
  "centers": [
    [
      "1508.544823937",
      "555.051215219"
    ],
    [
      "1042.331677348",
      "253.344435373"
    ],
    [
      "856.090981236",
      "170.948501861"
    ],
    [
      "1551.500581599",
      "1511.828913648"
    ],
    [
      "1633.077800401",
      "902.985049320"
    ],
    [
      "957.249714562",
      "1221.950063623"
    ],
    [
      "651.443548682",
      "807.218209972"
    ],
    [
      "1275.726350376",
      "477.431245899"
    ],
    [
      "414.989057866",
      "412.119692843"
    ],
    [
      "1340.699221456",
      "1465.990094416"
    ],
    [
      "911.284314368",
      "1714.961488494"
    ],
    [
      "469.867050310",
      "1292.957435567"
    ],
    [
      "809.245255460",
      "587.254943757"
    ],
    [
      "1626.097740031",
      "1394.864314534"
    ],
    [
      "1565.868301734",
      "1104.893889986"
    ],
    [
      "166.016899177",
      "1391.322591307"
    ],
    [
      "20.118346370",
      "904.896532382"
    ],
    [
      "1663.555045183",
      "461.230990854"
    ],
    [
      "897.018970711",
      "687.810899720"
    ],
    [
      "1317.190050787",
      "1672.237747617"
    ],
    [
      "1539.405974262",
      "298.400473026"
    ],
    [
      "233.922424419",
      "327.550402264"
    ],
    [
      "281.379928857",
      "1520.255344916"
    ],
    [
      "138.684780579",
      "466.047966574"
    ],
    [
      "1165.193239586",
      "1731.655789003"
    ],
    [
      "432.484804148",
      "1637.014728292"
    ],
    [
      "491.191942825",
      "332.415791498"
    ],
    [
      "616.953273662",
      "75.099101024"
    ],
    [
      "400.665237886",
      "186.070750353"
    ],
    [
      "57.283183550",
      "683.084876591"
    ],
    [
      "638.424195982",
      "1727.048315810"
    ],
    [
      "856.503756756",
      "33.045733450"
    ],
    [
      "1668.932075754",
      "872.851416444"
    ],
    [
      "1722.592817117",
      "1163.807416814"
    ],
    [
      "517.667851703",
      "958.577120429"
    ],
    [
      "911.556907323",
      "1762.061056131"
    ],
    [
      "1454.914465777",
      "709.903567652"
    ],
    [
      "239.279800407",
      "732.630328670"
    ],
    [
      "1200.806552255",
      "617.525130664"
    ],
    [
      "1292.249357509",
      "1450.061353649"
    ],
    [
      "936.860640682",
      "1267.675918008"
    ],
    [
      "660.104106860",
      "1028.541212187"
    ],
    [
      "441.077896247",
      "632.436856023"
    ],
    [
      "909.540437177",
      "1547.707613534"
    ],
    [
      "101.958086368",
      "1205.749432517"
    ],
    [
      "669.133015819",
      "864.232976349"
    ],
    [
      "1705.505786494",
      "623.933213263"
    ],
    [
      "1749.875967911",
      "877.428573909"
    ],
    [
      "1250.902813756",
      "125.224074214"
    ],
    [
      "1484.858937726",
      "1513.719788789"
    ],
    [
      "1664.286719102",
      "533.446960115"
    ],
    [
      "696.424631324",
      "429.497383449"
    ],
    [
      "478.508587932",
      "414.698570936"
    ],
    [
      "1153.051149634",
      "93.067397939"
    ],
    [
      "1553.633630832",
      "1432.008638844"
    ],
    [
      "607.751665049",
      "945.696647872"
    ],
    [
      "1371.897529909",
      "763.686615106"
    ],
    [
      "61.219173873",
      "972.592825606"
    ],
    [
      "829.836720463",
      "1481.692691743"
    ],
    [
      "437.278004540",
      "1228.674492967"
    ],
    [
      "1459.974928185",
      "276.549917353"
    ],
    [
      "1102.523021372",
      "640.792007500"
    ],
    [
      "586.289498451",
      "371.811797585"
    ],
    [
      "758.636260187",
      "527.949567294"
    ],
    [
      "528.270416812",
      "1457.572988731"
    ],
    [
      "846.505429234",
      "262.282537301"
    ],
    [
      "90.199015769",
      "1094.187104931"
    ],
    [
      "1227.418590939",
      "1662.539903351"
    ],
    [
      "170.507595082",
      "1296.837109268"
    ],
    [
      "208.695125166",
      "1162.945173979"
    ],
    [
      "222.689543757",
      "421.460031185"
    ],
    [
      "337.485961188",
      "682.373926339"
    ],
    [
      "309.229239919",
      "1264.640266147"
    ],
    [
      "1344.755061670",
      "204.727253784"
    ],
    [
      "1158.077173998",
      "912.218136664"
    ],
    [
      "821.697377865",
      "402.956385730"
    ],
    [
      "419.152838771",
      "1366.703003792"
    ],
    [
      "707.449665003",
      "299.692354692"
    ],
    [
      "1378.187657802",
      "1222.257377154"
    ],
    [
      "351.693193615",
      "1117.651107919"
    ],
    [
      "401.827227448",
      "964.655752918"
    ],
    [
      "305.657415341",
      "833.048886672"
    ],
    [
      "266.514874502",
      "1414.678537889"
    ],
    [
      "1700.896318277",
      "754.852091979"
    ],
    [
      "1185.654973246",
      "1515.350228994"
    ],
    [
      "887.511176571",
      "1150.656131680"
    ],
    [
      "714.588919862",
      "1145.470272530"
    ],
    [
      "392.562644983",
      "1530.233544518"
    ],
    [
      "681.650180433",
      "1471.380527029"
    ],
    [
      "1053.750188059",
      "1208.453978180"
    ],
    [
      "1354.080591059",
      "1566.426752706"
    ],
    [
      "1324.958690092",
      "905.550889736"
    ],
    [
      "1411.424024025",
      "1391.015618317"
    ],
    [
      "1565.363519332",
      "639.462055963"
    ],
    [
      "1334.572207563",
      "373.420198160"
    ],
    [
      "1216.711449375",
      "751.584946597"
    ],
    [
      "985.527780819",
      "347.381219783"
    ],
    [
      "363.894952194",
      "514.437732520"
    ],
    [
      "222.448670848",
      "993.791111542"
    ],
    [
      "1021.203624376",
      "1021.262308513"
    ],
    [
      "558.446371412",
      "1620.807212361"
    ],
    [
      "532.252770972",
      "1094.798558283"
    ],
    [
      "359.804455054",
      "313.479359097"
    ],
    [
      "801.746146280",
      "1320.297903974"
    ],
    [
      "1453.851668629",
      "1054.534518051"
    ],
    [
      "749.529891086",
      "120.227107974"
    ],
    [
      "1168.859251425",
      "257.907358318"
    ],
    [
      "591.099107794",
      "1296.385037600"
    ],
    [
      "1217.917473041",
      "1320.926652844"
    ],
    [
      "114.673339353",
      "813.323706837"
    ],
    [
      "1153.043003912",
      "475.332854327"
    ],
    [
      "171.556830227",
      "598.735104002"
    ],
    [
      "1533.335343315",
      "434.716330723"
    ],
    [
      "544.060748250",
      "198.855546483"
    ],
    [
      "1523.141442654",
      "845.730956740"
    ],
    [
      "1672.443406508",
      "1021.997583160"
    ],
    [
      "579.197567058",
      "551.672033633"
    ],
    [
      "939.229269599",
      "557.337043372"
    ],
    [
      "1228.067760964",
      "1093.152704220"
    ],
    [
      "1356.899111949",
      "587.257775168"
    ],
    [
      "1006.285359296",
      "1414.046025767"
    ],
    [
      "808.312060324",
      "958.324387066"
    ],
    [
      "979.425846313",
      "127.465857892"
    ],
    [
      "1034.643790113",
      "1659.837676784"
    ],
    [
      "755.984127012",
      "716.930958415"
    ],
    [
      "994.859597421",
      "794.910751149"
    ],
    [
      "782.635265279",
      "1662.320341211"
    ],
    [
      "512.907947660",
      "787.618825704"
    ],
    [
      "1584.251178920",
      "1250.573896443"
    ]
  ],
  "radius": "899.075654417"
}

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

DISCUSSION

讨论区

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