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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1036.556238578y0
0x1036.556238578
已验证构造r = 518.278119289

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "383.617973709",
      "1017.461564647"
    ],
    [
      "533.062805316",
      "749.508105455"
    ],
    [
      "952.639521240",
      "783.514225877"
    ],
    [
      "540.230741330",
      "185.890086907"
    ],
    [
      "673.800101128",
      "330.258013145"
    ],
    [
      "954.528774319",
      "522.554674896"
    ],
    [
      "797.641874297",
      "699.700435880"
    ],
    [
      "256.820052179",
      "232.125527559"
    ],
    [
      "527.324761564",
      "683.746882136"
    ],
    [
      "762.654874779",
      "247.077867272"
    ],
    [
      "827.308083481",
      "116.048129829"
    ],
    [
      "550.885880364",
      "317.463862609"
    ],
    [
      "999.115144239",
      "672.211781316"
    ],
    [
      "996.848351173",
      "360.163194614"
    ],
    [
      "221.539710688",
      "924.227752324"
    ],
    [
      "338.820070299",
      "49.243948018"
    ],
    [
      "546.533978306",
      "17.796991464"
    ],
    [
      "708.676478850",
      "55.668248009"
    ],
    [
      "20.903765858",
      "474.719101678"
    ],
    [
      "33.271123355",
      "632.358459901"
    ],
    [
      "921.879992806",
      "227.776732689"
    ],
    [
      "190.675035049",
      "145.520382313"
    ],
    [
      "201.015839813",
      "661.036853692"
    ],
    [
      "376.716964490",
      "991.851026727"
    ],
    [
      "349.707102515",
      "806.885907740"
    ],
    [
      "645.674894147",
      "993.775791498"
    ],
    [
      "607.096190632",
      "607.109132493"
    ],
    [
      "613.926484631",
      "819.999471184"
    ],
    [
      "247.040628068",
      "400.229491659"
    ],
    [
      "663.221705360",
      "291.505618872"
    ],
    [
      "434.098803002",
      "542.988259828"
    ],
    [
      "774.875897950",
      "552.830709135"
    ],
    [
      "251.395019966",
      "636.052766193"
    ],
    [
      "379.001925678",
      "237.900011515"
    ],
    [
      "584.734028266",
      "996.946344869"
    ],
    [
      "782.651221773",
      "921.637818599"
    ],
    [
      "905.917281778",
      "803.522764832"
    ],
    [
      "376.979212846",
      "750.094781688"
    ],
    [
      "265.828174213",
      "564.123982713"
    ],
    [
      "996.012470323",
      "495.625599432"
    ],
    [
      "984.180061726",
      "415.181637345"
    ],
    [
      "88.856350519",
      "312.275123926"
    ],
    [
      "137.354770146",
      "802.508119029"
    ],
    [
      "198.927129145",
      "868.927059869"
    ],
    [
      "399.987852003",
      "60.064014613"
    ],
    [
      "490.612716815",
      "46.810996932"
    ],
    [
      "705.011939583",
      "950.983037309"
    ],
    [
      "182.747494666",
      "592.427323992"
    ],
    [
      "840.545454891",
      "859.402316096"
    ],
    [
      "739.177125892",
      "702.130386274"
    ],
    [
      "749.099242607",
      "111.989490607"
    ],
    [
      "424.093397194",
      "826.777593540"
    ],
    [
      "175.993581699",
      "358.402857570"
    ],
    [
      "828.380001405",
      "755.889056678"
    ],
    [
      "531.079144255",
      "825.031189842"
    ],
    [
      "606.322478140",
      "523.435626087"
    ],
    [
      "935.789170992",
      "714.395494960"
    ],
    [
      "609.633674476",
      "907.074193720"
    ],
    [
      "701.670083331",
      "211.239049047"
    ],
    [
      "472.211542841",
      "725.640834349"
    ],
    [
      "694.828439699",
      "600.174193998"
    ],
    [
      "76.167149392",
      "415.499452367"
    ],
    [
      "716.317356111",
      "478.024979534"
    ],
    [
      "497.704666764",
      "472.424146461"
    ],
    [
      "964.858944523",
      "595.909427142"
    ],
    [
      "579.381998589",
      "244.741278089"
    ],
    [
      "190.313533799",
      "477.676484989"
    ],
    [
      "512.062157433",
      "604.002318586"
    ],
    [
      "836.133044366",
      "633.133648141"
    ],
    [
      "170.428900590",
      "235.527038667"
    ],
    [
      "72.041216903",
      "548.779642909"
    ],
    [
      "832.378770986",
      "202.507555954"
    ],
    [
      "917.809275020",
      "321.688549074"
    ],
    [
      "108.194383342",
      "689.200255920"
    ],
    [
      "295.879915935",
      "308.410517799"
    ],
    [
      "461.664738270",
      "165.326879995"
    ],
    [
      "718.660940908",
      "827.462290248"
    ],
    [
      "609.958092848",
      "385.457668250"
    ],
    [
      "610.640115280",
      "713.049951422"
    ],
    [
      "317.041700412",
      "906.675544003"
    ],
    [
      "365.646985959",
      "631.635587727"
    ],
    [
      "763.951388332",
      "340.470207796"
    ],
    [
      "475.808507807",
      "951.479427265"
    ],
    [
      "254.585314650",
      "753.661425841"
    ],
    [
      "454.612406955",
      "329.791551502"
    ],
    [
      "612.977640017",
      "96.500484522"
    ],
    [
      "299.760668268",
      "146.457006687"
    ],
    [
      "345.242274152",
      "463.833239261"
    ],
    [
      "868.303038844",
      "475.938776237"
    ]
  ],
  "radius": "518.278119289"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 89
}

当前第一名的答案

{
  "centers": [
    [
      "383.617973709",
      "1017.461564647"
    ],
    [
      "533.062805316",
      "749.508105455"
    ],
    [
      "952.639521240",
      "783.514225877"
    ],
    [
      "540.230741330",
      "185.890086907"
    ],
    [
      "673.800101128",
      "330.258013145"
    ],
    [
      "954.528774319",
      "522.554674896"
    ],
    [
      "797.641874297",
      "699.700435880"
    ],
    [
      "256.820052179",
      "232.125527559"
    ],
    [
      "527.324761564",
      "683.746882136"
    ],
    [
      "762.654874779",
      "247.077867272"
    ],
    [
      "827.308083481",
      "116.048129829"
    ],
    [
      "550.885880364",
      "317.463862609"
    ],
    [
      "999.115144239",
      "672.211781316"
    ],
    [
      "996.848351173",
      "360.163194614"
    ],
    [
      "221.539710688",
      "924.227752324"
    ],
    [
      "338.820070299",
      "49.243948018"
    ],
    [
      "546.533978306",
      "17.796991464"
    ],
    [
      "708.676478850",
      "55.668248009"
    ],
    [
      "20.903765858",
      "474.719101678"
    ],
    [
      "33.271123355",
      "632.358459901"
    ],
    [
      "921.879992806",
      "227.776732689"
    ],
    [
      "190.675035049",
      "145.520382313"
    ],
    [
      "201.015839813",
      "661.036853692"
    ],
    [
      "376.716964490",
      "991.851026727"
    ],
    [
      "349.707102515",
      "806.885907740"
    ],
    [
      "645.674894147",
      "993.775791498"
    ],
    [
      "607.096190632",
      "607.109132493"
    ],
    [
      "613.926484631",
      "819.999471184"
    ],
    [
      "247.040628068",
      "400.229491659"
    ],
    [
      "663.221705360",
      "291.505618872"
    ],
    [
      "434.098803002",
      "542.988259828"
    ],
    [
      "774.875897950",
      "552.830709135"
    ],
    [
      "251.395019966",
      "636.052766193"
    ],
    [
      "379.001925678",
      "237.900011515"
    ],
    [
      "584.734028266",
      "996.946344869"
    ],
    [
      "782.651221773",
      "921.637818599"
    ],
    [
      "905.917281778",
      "803.522764832"
    ],
    [
      "376.979212846",
      "750.094781688"
    ],
    [
      "265.828174213",
      "564.123982713"
    ],
    [
      "996.012470323",
      "495.625599432"
    ],
    [
      "984.180061726",
      "415.181637345"
    ],
    [
      "88.856350519",
      "312.275123926"
    ],
    [
      "137.354770146",
      "802.508119029"
    ],
    [
      "198.927129145",
      "868.927059869"
    ],
    [
      "399.987852003",
      "60.064014613"
    ],
    [
      "490.612716815",
      "46.810996932"
    ],
    [
      "705.011939583",
      "950.983037309"
    ],
    [
      "182.747494666",
      "592.427323992"
    ],
    [
      "840.545454891",
      "859.402316096"
    ],
    [
      "739.177125892",
      "702.130386274"
    ],
    [
      "749.099242607",
      "111.989490607"
    ],
    [
      "424.093397194",
      "826.777593540"
    ],
    [
      "175.993581699",
      "358.402857570"
    ],
    [
      "828.380001405",
      "755.889056678"
    ],
    [
      "531.079144255",
      "825.031189842"
    ],
    [
      "606.322478140",
      "523.435626087"
    ],
    [
      "935.789170992",
      "714.395494960"
    ],
    [
      "609.633674476",
      "907.074193720"
    ],
    [
      "701.670083331",
      "211.239049047"
    ],
    [
      "472.211542841",
      "725.640834349"
    ],
    [
      "694.828439699",
      "600.174193998"
    ],
    [
      "76.167149392",
      "415.499452367"
    ],
    [
      "716.317356111",
      "478.024979534"
    ],
    [
      "497.704666764",
      "472.424146461"
    ],
    [
      "964.858944523",
      "595.909427142"
    ],
    [
      "579.381998589",
      "244.741278089"
    ],
    [
      "190.313533799",
      "477.676484989"
    ],
    [
      "512.062157433",
      "604.002318586"
    ],
    [
      "836.133044366",
      "633.133648141"
    ],
    [
      "170.428900590",
      "235.527038667"
    ],
    [
      "72.041216903",
      "548.779642909"
    ],
    [
      "832.378770986",
      "202.507555954"
    ],
    [
      "917.809275020",
      "321.688549074"
    ],
    [
      "108.194383342",
      "689.200255920"
    ],
    [
      "295.879915935",
      "308.410517799"
    ],
    [
      "461.664738270",
      "165.326879995"
    ],
    [
      "718.660940908",
      "827.462290248"
    ],
    [
      "609.958092848",
      "385.457668250"
    ],
    [
      "610.640115280",
      "713.049951422"
    ],
    [
      "317.041700412",
      "906.675544003"
    ],
    [
      "365.646985959",
      "631.635587727"
    ],
    [
      "763.951388332",
      "340.470207796"
    ],
    [
      "475.808507807",
      "951.479427265"
    ],
    [
      "254.585314650",
      "753.661425841"
    ],
    [
      "454.612406955",
      "329.791551502"
    ],
    [
      "612.977640017",
      "96.500484522"
    ],
    [
      "299.760668268",
      "146.457006687"
    ],
    [
      "345.242274152",
      "463.833239261"
    ],
    [
      "868.303038844",
      "475.938776237"
    ]
  ],
  "radius": "518.278119289"
}

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

DISCUSSION

讨论区

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