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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1019.646491578y0
0x1019.646491578
已验证构造r = 509.823245789

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "301.759180924",
      "618.965244432"
    ],
    [
      "942.420264105",
      "619.863565262"
    ],
    [
      "665.761954268",
      "639.828005513"
    ],
    [
      "792.290544830",
      "97.561169121"
    ],
    [
      "487.621471527",
      "5.507425506"
    ],
    [
      "634.065768073",
      "181.560938230"
    ],
    [
      "526.453234678",
      "536.189521031"
    ],
    [
      "302.576405451",
      "609.900420384"
    ],
    [
      "461.245685300",
      "16.628909699"
    ],
    [
      "407.565952929",
      "622.763028987"
    ],
    [
      "970.835452095",
      "700.219570680"
    ],
    [
      "578.864787498",
      "128.102210859"
    ],
    [
      "136.051641784",
      "837.093245878"
    ],
    [
      "1004.886339137",
      "536.928626398"
    ],
    [
      "26.607758038",
      "403.454618666"
    ],
    [
      "597.291255559",
      "506.428542791"
    ],
    [
      "441.833631471",
      "997.926880096"
    ],
    [
      "307.340969191",
      "958.031939102"
    ],
    [
      "69.572923919",
      "726.818897128"
    ],
    [
      "86.558298671",
      "263.300231334"
    ],
    [
      "601.734262857",
      "29.718537871"
    ],
    [
      "761.057270737",
      "91.683978222"
    ],
    [
      "980.451831635",
      "385.301734296"
    ],
    [
      "894.503546866",
      "213.098976286"
    ],
    [
      "400.381746893",
      "770.514164691"
    ],
    [
      "425.460524412",
      "425.497896288"
    ],
    [
      "640.626540204",
      "284.587849762"
    ],
    [
      "202.900334983",
      "395.693033047"
    ],
    [
      "694.435119233",
      "418.160300780"
    ],
    [
      "436.419384687",
      "234.437014370"
    ],
    [
      "877.124016537",
      "817.006976661"
    ],
    [
      "484.599157582",
      "428.613328630"
    ],
    [
      "822.758457798",
      "782.119991825"
    ],
    [
      "764.435930480",
      "911.793570597"
    ],
    [
      "962.977402008",
      "651.182346295"
    ],
    [
      "547.032906973",
      "492.691298189"
    ],
    [
      "977.377892757",
      "579.946313367"
    ],
    [
      "605.911507902",
      "971.758545532"
    ],
    [
      "186.156726598",
      "851.750888909"
    ],
    [
      "821.615481584",
      "861.276633851"
    ],
    [
      "42.176566837",
      "543.016911659"
    ],
    [
      "416.593860825",
      "51.383641176"
    ],
    [
      "45.764581950",
      "459.093576718"
    ],
    [
      "677.379827367",
      "223.481339958"
    ],
    [
      "219.916693533",
      "324.526313543"
    ],
    [
      "352.451464271",
      "632.795080962"
    ],
    [
      "231.724137223",
      "139.868866634"
    ],
    [
      "681.476609833",
      "689.914597828"
    ],
    [
      "684.715778679",
      "934.895462262"
    ],
    [
      "338.727305802",
      "727.809014016"
    ],
    [
      "350.771136534",
      "828.088354568"
    ],
    [
      "301.171073477",
      "549.282677570"
    ],
    [
      "665.416241075",
      "494.853877503"
    ],
    [
      "253.764454744",
      "787.877027534"
    ],
    [
      "269.204621855",
      "895.785501357"
    ],
    [
      "428.710006084",
      "148.651046652"
    ],
    [
      "786.235938594",
      "697.019739481"
    ],
    [
      "327.343956518",
      "96.488569745"
    ],
    [
      "593.550380884",
      "875.549385162"
    ],
    [
      "508.663053372",
      "959.644995380"
    ],
    [
      "141.215627759",
      "762.418377273"
    ],
    [
      "901.341204655",
      "727.215396874"
    ],
    [
      "731.271579198",
      "590.347722547"
    ],
    [
      "386.686338445",
      "937.336229933"
    ],
    [
      "164.540928442",
      "229.481457602"
    ],
    [
      "583.993258216",
      "750.915275029"
    ],
    [
      "523.866242513",
      "70.713310803"
    ],
    [
      "88.181974760",
      "641.832408632"
    ],
    [
      "446.697457902",
      "332.902039693"
    ],
    [
      "471.657938660",
      "833.321047177"
    ],
    [
      "731.141777676",
      "325.140833853"
    ],
    [
      "946.170315957",
      "473.900705413"
    ],
    [
      "868.417691979",
      "596.291593410"
    ],
    [
      "457.952584601",
      "689.974741762"
    ],
    [
      "104.290934312",
      "356.630578132"
    ],
    [
      "663.814721190",
      "104.250522236"
    ],
    [
      "232.202039271",
      "658.661580289"
    ],
    [
      "714.641393785",
      "811.471568447"
    ],
    [
      "794.855928870",
      "187.034590088"
    ],
    [
      "794.625396987",
      "462.147512822"
    ],
    [
      "586.208426269",
      "602.937743431"
    ],
    [
      "589.310742407",
      "382.525129917"
    ],
    [
      "435.447367597",
      "534.039422736"
    ],
    [
      "549.440774886",
      "219.531801908"
    ],
    [
      "315.166427798",
      "412.999406192"
    ],
    [
      "320.588815876",
      "240.704336810"
    ],
    [
      "889.137433493",
      "323.969192428"
    ],
    [
      "167.786742591",
      "506.754801131"
    ]
  ],
  "radius": "509.823245789"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 88
}

当前第一名的答案

{
  "centers": [
    [
      "301.759180924",
      "618.965244432"
    ],
    [
      "942.420264105",
      "619.863565262"
    ],
    [
      "665.761954268",
      "639.828005513"
    ],
    [
      "792.290544830",
      "97.561169121"
    ],
    [
      "487.621471527",
      "5.507425506"
    ],
    [
      "634.065768073",
      "181.560938230"
    ],
    [
      "526.453234678",
      "536.189521031"
    ],
    [
      "302.576405451",
      "609.900420384"
    ],
    [
      "461.245685300",
      "16.628909699"
    ],
    [
      "407.565952929",
      "622.763028987"
    ],
    [
      "970.835452095",
      "700.219570680"
    ],
    [
      "578.864787498",
      "128.102210859"
    ],
    [
      "136.051641784",
      "837.093245878"
    ],
    [
      "1004.886339137",
      "536.928626398"
    ],
    [
      "26.607758038",
      "403.454618666"
    ],
    [
      "597.291255559",
      "506.428542791"
    ],
    [
      "441.833631471",
      "997.926880096"
    ],
    [
      "307.340969191",
      "958.031939102"
    ],
    [
      "69.572923919",
      "726.818897128"
    ],
    [
      "86.558298671",
      "263.300231334"
    ],
    [
      "601.734262857",
      "29.718537871"
    ],
    [
      "761.057270737",
      "91.683978222"
    ],
    [
      "980.451831635",
      "385.301734296"
    ],
    [
      "894.503546866",
      "213.098976286"
    ],
    [
      "400.381746893",
      "770.514164691"
    ],
    [
      "425.460524412",
      "425.497896288"
    ],
    [
      "640.626540204",
      "284.587849762"
    ],
    [
      "202.900334983",
      "395.693033047"
    ],
    [
      "694.435119233",
      "418.160300780"
    ],
    [
      "436.419384687",
      "234.437014370"
    ],
    [
      "877.124016537",
      "817.006976661"
    ],
    [
      "484.599157582",
      "428.613328630"
    ],
    [
      "822.758457798",
      "782.119991825"
    ],
    [
      "764.435930480",
      "911.793570597"
    ],
    [
      "962.977402008",
      "651.182346295"
    ],
    [
      "547.032906973",
      "492.691298189"
    ],
    [
      "977.377892757",
      "579.946313367"
    ],
    [
      "605.911507902",
      "971.758545532"
    ],
    [
      "186.156726598",
      "851.750888909"
    ],
    [
      "821.615481584",
      "861.276633851"
    ],
    [
      "42.176566837",
      "543.016911659"
    ],
    [
      "416.593860825",
      "51.383641176"
    ],
    [
      "45.764581950",
      "459.093576718"
    ],
    [
      "677.379827367",
      "223.481339958"
    ],
    [
      "219.916693533",
      "324.526313543"
    ],
    [
      "352.451464271",
      "632.795080962"
    ],
    [
      "231.724137223",
      "139.868866634"
    ],
    [
      "681.476609833",
      "689.914597828"
    ],
    [
      "684.715778679",
      "934.895462262"
    ],
    [
      "338.727305802",
      "727.809014016"
    ],
    [
      "350.771136534",
      "828.088354568"
    ],
    [
      "301.171073477",
      "549.282677570"
    ],
    [
      "665.416241075",
      "494.853877503"
    ],
    [
      "253.764454744",
      "787.877027534"
    ],
    [
      "269.204621855",
      "895.785501357"
    ],
    [
      "428.710006084",
      "148.651046652"
    ],
    [
      "786.235938594",
      "697.019739481"
    ],
    [
      "327.343956518",
      "96.488569745"
    ],
    [
      "593.550380884",
      "875.549385162"
    ],
    [
      "508.663053372",
      "959.644995380"
    ],
    [
      "141.215627759",
      "762.418377273"
    ],
    [
      "901.341204655",
      "727.215396874"
    ],
    [
      "731.271579198",
      "590.347722547"
    ],
    [
      "386.686338445",
      "937.336229933"
    ],
    [
      "164.540928442",
      "229.481457602"
    ],
    [
      "583.993258216",
      "750.915275029"
    ],
    [
      "523.866242513",
      "70.713310803"
    ],
    [
      "88.181974760",
      "641.832408632"
    ],
    [
      "446.697457902",
      "332.902039693"
    ],
    [
      "471.657938660",
      "833.321047177"
    ],
    [
      "731.141777676",
      "325.140833853"
    ],
    [
      "946.170315957",
      "473.900705413"
    ],
    [
      "868.417691979",
      "596.291593410"
    ],
    [
      "457.952584601",
      "689.974741762"
    ],
    [
      "104.290934312",
      "356.630578132"
    ],
    [
      "663.814721190",
      "104.250522236"
    ],
    [
      "232.202039271",
      "658.661580289"
    ],
    [
      "714.641393785",
      "811.471568447"
    ],
    [
      "794.855928870",
      "187.034590088"
    ],
    [
      "794.625396987",
      "462.147512822"
    ],
    [
      "586.208426269",
      "602.937743431"
    ],
    [
      "589.310742407",
      "382.525129917"
    ],
    [
      "435.447367597",
      "534.039422736"
    ],
    [
      "549.440774886",
      "219.531801908"
    ],
    [
      "315.166427798",
      "412.999406192"
    ],
    [
      "320.588815876",
      "240.704336810"
    ],
    [
      "889.137433493",
      "323.969192428"
    ],
    [
      "167.786742591",
      "506.754801131"
    ]
  ],
  "radius": "509.823245789"
}

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

DISCUSSION

讨论区

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