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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1776.988177102y0
0x1776.988177102
已验证构造r = 888.494088551

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "24.812527127",
      "684.309985438"
    ],
    [
      "1282.994420897",
      "1681.238313450"
    ],
    [
      "1588.069500281",
      "938.715649820"
    ],
    [
      "1142.054703370",
      "1735.843984990"
    ],
    [
      "744.744579969",
      "470.505186027"
    ],
    [
      "519.015843313",
      "1595.682529492"
    ],
    [
      "56.039134758",
      "1147.944480875"
    ],
    [
      "617.060655717",
      "1217.846868439"
    ],
    [
      "974.754674827",
      "987.090154804"
    ],
    [
      "771.162419757",
      "336.526309437"
    ],
    [
      "569.510592069",
      "321.085593782"
    ],
    [
      "761.838669629",
      "1536.666422642"
    ],
    [
      "883.359575498",
      "1059.678732506"
    ],
    [
      "1167.983982520",
      "677.499945243"
    ],
    [
      "1501.099178253",
      "265.936894064"
    ],
    [
      "1534.187902567",
      "866.279878251"
    ],
    [
      "255.311724068",
      "1136.024352130"
    ],
    [
      "1160.252928390",
      "1715.387229376"
    ],
    [
      "382.476809135",
      "1595.461729417"
    ],
    [
      "960.987498983",
      "1753.886946531"
    ],
    [
      "1115.202400487",
      "51.181355600"
    ],
    [
      "1395.935535327",
      "1590.762851473"
    ],
    [
      "306.425366436",
      "248.075215229"
    ],
    [
      "684.060875198",
      "48.641670606"
    ],
    [
      "1656.770850698",
      "494.510259211"
    ],
    [
      "1747.380087943",
      "964.865624891"
    ],
    [
      "1699.620525464",
      "1175.349304891"
    ],
    [
      "929.179757677",
      "28.966748560"
    ],
    [
      "982.418428607",
      "638.508650133"
    ],
    [
      "172.906654023",
      "414.256529684"
    ],
    [
      "1729.019187595",
      "718.825588878"
    ],
    [
      "232.461544399",
      "1439.130946153"
    ],
    [
      "66.214493649",
      "652.637665176"
    ],
    [
      "1567.575444847",
      "1407.021646406"
    ],
    [
      "35.595657500",
      "920.375517306"
    ],
    [
      "94.511776182",
      "1198.869355489"
    ],
    [
      "869.366882032",
      "1447.114916741"
    ],
    [
      "791.003067630",
      "677.304555004"
    ],
    [
      "1205.055107531",
      "406.194386765"
    ],
    [
      "1533.764027308",
      "1089.004370622"
    ],
    [
      "630.230288104",
      "1371.959488137"
    ],
    [
      "504.753771908",
      "1112.178596203"
    ],
    [
      "1324.570992930",
      "659.297005396"
    ],
    [
      "662.386464952",
      "1702.155939781"
    ],
    [
      "1151.420476837",
      "1030.042126700"
    ],
    [
      "743.983002064",
      "286.548653234"
    ],
    [
      "496.890133884",
      "143.935238311"
    ],
    [
      "1514.845088880",
      "328.034690136"
    ],
    [
      "669.738835400",
      "227.279743029"
    ],
    [
      "716.393334942",
      "630.040237274"
    ],
    [
      "748.764176974",
      "396.147086044"
    ],
    [
      "1443.726372816",
      "398.340915493"
    ],
    [
      "376.138132625",
      "624.920046379"
    ],
    [
      "1299.811711768",
      "162.409935952"
    ],
    [
      "457.126657770",
      "1601.582978979"
    ],
    [
      "1086.476904463",
      "223.325305712"
    ],
    [
      "890.276724804",
      "1719.986266206"
    ],
    [
      "1209.024621193",
      "1654.640685986"
    ],
    [
      "1035.992138857",
      "567.371058547"
    ],
    [
      "1313.453441339",
      "1599.698702738"
    ],
    [
      "606.219269046",
      "647.423208839"
    ],
    [
      "968.820524419",
      "232.323985365"
    ],
    [
      "368.142751620",
      "509.195918022"
    ],
    [
      "770.375148086",
      "1703.719370352"
    ],
    [
      "568.268484837",
      "1647.175890497"
    ],
    [
      "645.382675552",
      "339.670923633"
    ],
    [
      "554.107222573",
      "242.935244157"
    ],
    [
      "1372.775776106",
      "1256.004331919"
    ],
    [
      "1257.588525073",
      "1330.172365461"
    ],
    [
      "703.662332206",
      "994.076360843"
    ],
    [
      "300.812171063",
      "723.418774874"
    ],
    [
      "616.395467626",
      "118.672721526"
    ],
    [
      "694.499979700",
      "1589.649396991"
    ],
    [
      "1318.130122422",
      "408.651274818"
    ],
    [
      "1175.661365935",
      "127.371505187"
    ],
    [
      "492.998094881",
      "570.287187934"
    ],
    [
      "1078.754709941",
      "696.684343766"
    ],
    [
      "1565.762534208",
      "443.288383187"
    ],
    [
      "408.233796347",
      "236.857125872"
    ],
    [
      "626.847014386",
      "1123.106081224"
    ],
    [
      "863.614641307",
      "329.178113615"
    ],
    [
      "1412.061016896",
      "1111.240144855"
    ],
    [
      "699.492685978",
      "1269.106582291"
    ],
    [
      "1019.489762435",
      "95.255626212"
    ],
    [
      "996.426905520",
      "1464.154017587"
    ],
    [
      "1220.268993144",
      "282.068498039"
    ],
    [
      "1394.478238154",
      "266.905145332"
    ],
    [
      "1500.563277778",
      "965.385155972"
    ],
    [
      "743.746556029",
      "1435.316073564"
    ],
    [
      "1234.206148797",
      "757.707701262"
    ],
    [
      "857.856684731",
      "1574.623235294"
    ],
    [
      "798.930708370",
      "1125.102833371"
    ],
    [
      "646.072900455",
      "498.669425480"
    ],
    [
      "561.762904019",
      "1488.309036124"
    ],
    [
      "1664.362161045",
      "1054.811864645"
    ],
    [
      "1093.881127343",
      "1309.307697318"
    ],
    [
      "291.621258532",
      "368.680932701"
    ],
    [
      "484.705863447",
      "396.484889622"
    ],
    [
      "364.861279431",
      "1093.609446638"
    ],
    [
      "909.412864282",
      "748.185210835"
    ],
    [
      "867.928143014",
      "944.857572649"
    ],
    [
      "1421.577059238",
      "551.040639812"
    ],
    [
      "322.508725122",
      "896.065975868"
    ],
    [
      "364.415134719",
      "1472.251080046"
    ],
    [
      "1228.736173330",
      "1158.581159978"
    ],
    [
      "475.578186957",
      "751.451607225"
    ],
    [
      "1186.514823509",
      "1491.183324548"
    ],
    [
      "889.895213070",
      "1303.219252841"
    ],
    [
      "1042.035706023",
      "1652.716573034"
    ],
    [
      "526.667416904",
      "961.322735741"
    ],
    [
      "1620.635629453",
      "626.834344200"
    ],
    [
      "1206.712054671",
      "557.587550382"
    ],
    [
      "1662.867461844",
      "846.817235203"
    ],
    [
      "1298.978477784",
      "951.151608888"
    ],
    [
      "1076.492451598",
      "888.671015666"
    ],
    [
      "1050.490697920",
      "391.518625849"
    ],
    [
      "1441.240965470",
      "769.156046861"
    ],
    [
      "1010.620153507",
      "1112.165624880"
    ],
    [
      "124.726627309",
      "794.790206776"
    ],
    [
      "696.664764806",
      "804.205262330"
    ],
    [
      "192.686409067",
      "564.613170422"
    ],
    [
      "858.455943640",
      "532.112555835"
    ],
    [
      "1563.655959641",
      "1249.240048240"
    ],
    [
      "1412.829427789",
      "1444.842597540"
    ],
    [
      "813.138688732",
      "128.727817275"
    ],
    [
      "490.780684301",
      "1280.074734232"
    ],
    [
      "236.004585665",
      "1280.162604416"
    ],
    [
      "143.725260060",
      "1042.346780527"
    ]
  ],
  "radius": "888.494088551"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 128
}

当前第一名的答案

{
  "centers": [
    [
      "24.812527127",
      "684.309985438"
    ],
    [
      "1282.994420897",
      "1681.238313450"
    ],
    [
      "1588.069500281",
      "938.715649820"
    ],
    [
      "1142.054703370",
      "1735.843984990"
    ],
    [
      "744.744579969",
      "470.505186027"
    ],
    [
      "519.015843313",
      "1595.682529492"
    ],
    [
      "56.039134758",
      "1147.944480875"
    ],
    [
      "617.060655717",
      "1217.846868439"
    ],
    [
      "974.754674827",
      "987.090154804"
    ],
    [
      "771.162419757",
      "336.526309437"
    ],
    [
      "569.510592069",
      "321.085593782"
    ],
    [
      "761.838669629",
      "1536.666422642"
    ],
    [
      "883.359575498",
      "1059.678732506"
    ],
    [
      "1167.983982520",
      "677.499945243"
    ],
    [
      "1501.099178253",
      "265.936894064"
    ],
    [
      "1534.187902567",
      "866.279878251"
    ],
    [
      "255.311724068",
      "1136.024352130"
    ],
    [
      "1160.252928390",
      "1715.387229376"
    ],
    [
      "382.476809135",
      "1595.461729417"
    ],
    [
      "960.987498983",
      "1753.886946531"
    ],
    [
      "1115.202400487",
      "51.181355600"
    ],
    [
      "1395.935535327",
      "1590.762851473"
    ],
    [
      "306.425366436",
      "248.075215229"
    ],
    [
      "684.060875198",
      "48.641670606"
    ],
    [
      "1656.770850698",
      "494.510259211"
    ],
    [
      "1747.380087943",
      "964.865624891"
    ],
    [
      "1699.620525464",
      "1175.349304891"
    ],
    [
      "929.179757677",
      "28.966748560"
    ],
    [
      "982.418428607",
      "638.508650133"
    ],
    [
      "172.906654023",
      "414.256529684"
    ],
    [
      "1729.019187595",
      "718.825588878"
    ],
    [
      "232.461544399",
      "1439.130946153"
    ],
    [
      "66.214493649",
      "652.637665176"
    ],
    [
      "1567.575444847",
      "1407.021646406"
    ],
    [
      "35.595657500",
      "920.375517306"
    ],
    [
      "94.511776182",
      "1198.869355489"
    ],
    [
      "869.366882032",
      "1447.114916741"
    ],
    [
      "791.003067630",
      "677.304555004"
    ],
    [
      "1205.055107531",
      "406.194386765"
    ],
    [
      "1533.764027308",
      "1089.004370622"
    ],
    [
      "630.230288104",
      "1371.959488137"
    ],
    [
      "504.753771908",
      "1112.178596203"
    ],
    [
      "1324.570992930",
      "659.297005396"
    ],
    [
      "662.386464952",
      "1702.155939781"
    ],
    [
      "1151.420476837",
      "1030.042126700"
    ],
    [
      "743.983002064",
      "286.548653234"
    ],
    [
      "496.890133884",
      "143.935238311"
    ],
    [
      "1514.845088880",
      "328.034690136"
    ],
    [
      "669.738835400",
      "227.279743029"
    ],
    [
      "716.393334942",
      "630.040237274"
    ],
    [
      "748.764176974",
      "396.147086044"
    ],
    [
      "1443.726372816",
      "398.340915493"
    ],
    [
      "376.138132625",
      "624.920046379"
    ],
    [
      "1299.811711768",
      "162.409935952"
    ],
    [
      "457.126657770",
      "1601.582978979"
    ],
    [
      "1086.476904463",
      "223.325305712"
    ],
    [
      "890.276724804",
      "1719.986266206"
    ],
    [
      "1209.024621193",
      "1654.640685986"
    ],
    [
      "1035.992138857",
      "567.371058547"
    ],
    [
      "1313.453441339",
      "1599.698702738"
    ],
    [
      "606.219269046",
      "647.423208839"
    ],
    [
      "968.820524419",
      "232.323985365"
    ],
    [
      "368.142751620",
      "509.195918022"
    ],
    [
      "770.375148086",
      "1703.719370352"
    ],
    [
      "568.268484837",
      "1647.175890497"
    ],
    [
      "645.382675552",
      "339.670923633"
    ],
    [
      "554.107222573",
      "242.935244157"
    ],
    [
      "1372.775776106",
      "1256.004331919"
    ],
    [
      "1257.588525073",
      "1330.172365461"
    ],
    [
      "703.662332206",
      "994.076360843"
    ],
    [
      "300.812171063",
      "723.418774874"
    ],
    [
      "616.395467626",
      "118.672721526"
    ],
    [
      "694.499979700",
      "1589.649396991"
    ],
    [
      "1318.130122422",
      "408.651274818"
    ],
    [
      "1175.661365935",
      "127.371505187"
    ],
    [
      "492.998094881",
      "570.287187934"
    ],
    [
      "1078.754709941",
      "696.684343766"
    ],
    [
      "1565.762534208",
      "443.288383187"
    ],
    [
      "408.233796347",
      "236.857125872"
    ],
    [
      "626.847014386",
      "1123.106081224"
    ],
    [
      "863.614641307",
      "329.178113615"
    ],
    [
      "1412.061016896",
      "1111.240144855"
    ],
    [
      "699.492685978",
      "1269.106582291"
    ],
    [
      "1019.489762435",
      "95.255626212"
    ],
    [
      "996.426905520",
      "1464.154017587"
    ],
    [
      "1220.268993144",
      "282.068498039"
    ],
    [
      "1394.478238154",
      "266.905145332"
    ],
    [
      "1500.563277778",
      "965.385155972"
    ],
    [
      "743.746556029",
      "1435.316073564"
    ],
    [
      "1234.206148797",
      "757.707701262"
    ],
    [
      "857.856684731",
      "1574.623235294"
    ],
    [
      "798.930708370",
      "1125.102833371"
    ],
    [
      "646.072900455",
      "498.669425480"
    ],
    [
      "561.762904019",
      "1488.309036124"
    ],
    [
      "1664.362161045",
      "1054.811864645"
    ],
    [
      "1093.881127343",
      "1309.307697318"
    ],
    [
      "291.621258532",
      "368.680932701"
    ],
    [
      "484.705863447",
      "396.484889622"
    ],
    [
      "364.861279431",
      "1093.609446638"
    ],
    [
      "909.412864282",
      "748.185210835"
    ],
    [
      "867.928143014",
      "944.857572649"
    ],
    [
      "1421.577059238",
      "551.040639812"
    ],
    [
      "322.508725122",
      "896.065975868"
    ],
    [
      "364.415134719",
      "1472.251080046"
    ],
    [
      "1228.736173330",
      "1158.581159978"
    ],
    [
      "475.578186957",
      "751.451607225"
    ],
    [
      "1186.514823509",
      "1491.183324548"
    ],
    [
      "889.895213070",
      "1303.219252841"
    ],
    [
      "1042.035706023",
      "1652.716573034"
    ],
    [
      "526.667416904",
      "961.322735741"
    ],
    [
      "1620.635629453",
      "626.834344200"
    ],
    [
      "1206.712054671",
      "557.587550382"
    ],
    [
      "1662.867461844",
      "846.817235203"
    ],
    [
      "1298.978477784",
      "951.151608888"
    ],
    [
      "1076.492451598",
      "888.671015666"
    ],
    [
      "1050.490697920",
      "391.518625849"
    ],
    [
      "1441.240965470",
      "769.156046861"
    ],
    [
      "1010.620153507",
      "1112.165624880"
    ],
    [
      "124.726627309",
      "794.790206776"
    ],
    [
      "696.664764806",
      "804.205262330"
    ],
    [
      "192.686409067",
      "564.613170422"
    ],
    [
      "858.455943640",
      "532.112555835"
    ],
    [
      "1563.655959641",
      "1249.240048240"
    ],
    [
      "1412.829427789",
      "1444.842597540"
    ],
    [
      "813.138688732",
      "128.727817275"
    ],
    [
      "490.780684301",
      "1280.074734232"
    ],
    [
      "236.004585665",
      "1280.162604416"
    ],
    [
      "143.725260060",
      "1042.346780527"
    ]
  ],
  "radius": "888.494088551"
}

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

DISCUSSION

讨论区

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