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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1071.166952154y0
0x1071.166952154
已验证构造r = 535.583476077

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "439.984824744",
      "211.455556376"
    ],
    [
      "487.701928638",
      "621.326047487"
    ],
    [
      "762.062913554",
      "798.805520924"
    ],
    [
      "375.861880529",
      "33.624016183"
    ],
    [
      "572.529501663",
      "395.720831532"
    ],
    [
      "362.773240523",
      "515.964976212"
    ],
    [
      "378.147177411",
      "787.151605972"
    ],
    [
      "327.684488170",
      "433.409989997"
    ],
    [
      "106.853868239",
      "234.361640075"
    ],
    [
      "449.324793621",
      "116.593925745"
    ],
    [
      "667.108924897",
      "308.820688713"
    ],
    [
      "258.555948173",
      "92.325040003"
    ],
    [
      "789.163371946",
      "992.461945743"
    ],
    [
      "697.459238708",
      "41.243840134"
    ],
    [
      "931.362682400",
      "873.674140903"
    ],
    [
      "409.106375410",
      "33.883310501"
    ],
    [
      "537.746573938",
      "17.070564623"
    ],
    [
      "1004.924948764",
      "317.549433110"
    ],
    [
      "44.679093565",
      "374.974919859"
    ],
    [
      "906.200782779",
      "177.269357247"
    ],
    [
      "21.088172248",
      "538.185101372"
    ],
    [
      "1015.022922733",
      "719.718762994"
    ],
    [
      "237.177536984",
      "952.241740774"
    ],
    [
      "411.437869945",
      "1031.779121878"
    ],
    [
      "784.534942928",
      "506.068819615"
    ],
    [
      "613.016744776",
      "1039.249444739"
    ],
    [
      "182.673106836",
      "169.371210553"
    ],
    [
      "830.464438370",
      "355.681177289"
    ],
    [
      "509.289163244",
      "264.116763201"
    ],
    [
      "171.384752812",
      "423.057494593"
    ],
    [
      "1036.110297220",
      "472.687952693"
    ],
    [
      "145.625493501",
      "217.138331085"
    ],
    [
      "1038.030208277",
      "538.510181572"
    ],
    [
      "233.289827328",
      "135.327890984"
    ],
    [
      "108.171173552",
      "796.020114476"
    ],
    [
      "76.184626388",
      "731.890242322"
    ],
    [
      "844.951949412",
      "484.920753318"
    ],
    [
      "818.576787756",
      "944.856125064"
    ],
    [
      "371.506964982",
      "415.607595423"
    ],
    [
      "450.159085375",
      "407.972422167"
    ],
    [
      "877.839984517",
      "892.617504201"
    ],
    [
      "323.258951771",
      "483.238812872"
    ],
    [
      "372.619929052",
      "734.404727364"
    ],
    [
      "468.180485452",
      "573.235387747"
    ],
    [
      "737.090663935",
      "88.294978304"
    ],
    [
      "706.278594784",
      "173.938730724"
    ],
    [
      "331.572884155",
      "814.512545883"
    ],
    [
      "215.669989816",
      "643.020059167"
    ],
    [
      "885.790082861",
      "409.235570776"
    ],
    [
      "780.883262463",
      "744.302875202"
    ],
    [
      "416.099292687",
      "493.783834204"
    ],
    [
      "164.127264678",
      "728.713393142"
    ],
    [
      "584.489828572",
      "857.656041222"
    ],
    [
      "475.709796559",
      "57.736443098"
    ],
    [
      "792.145996626",
      "848.882167297"
    ],
    [
      "272.113974909",
      "730.407622654"
    ],
    [
      "529.592758617",
      "347.685680959"
    ],
    [
      "991.701777829",
      "394.013453019"
    ],
    [
      "467.095333760",
      "684.557695797"
    ],
    [
      "771.529839476",
      "421.531528897"
    ],
    [
      "684.195582118",
      "802.386133401"
    ],
    [
      "492.154498835",
      "174.744489671"
    ],
    [
      "574.688239306",
      "742.070882797"
    ],
    [
      "945.712241112",
      "507.013287147"
    ],
    [
      "569.194420613",
      "614.188835752"
    ],
    [
      "820.088896220",
      "161.999072075"
    ],
    [
      "686.656905915",
      "674.409800100"
    ],
    [
      "648.438080338",
      "386.425705551"
    ],
    [
      "992.173457733",
      "631.634133520"
    ],
    [
      "248.398429651",
      "240.709713068"
    ],
    [
      "76.558299151",
      "463.933680608"
    ],
    [
      "265.314671455",
      "383.293561388"
    ],
    [
      "609.483467634",
      "245.009137286"
    ],
    [
      "540.131722143",
      "478.261062439"
    ],
    [
      "211.504225599",
      "520.090622459"
    ],
    [
      "752.481699797",
      "286.872075530"
    ],
    [
      "128.105993107",
      "325.200716795"
    ],
    [
      "684.051074704",
      "528.895171634"
    ],
    [
      "457.337402972",
      "822.212273588"
    ],
    [
      "208.788725905",
      "852.995393139"
    ],
    [
      "88.079223771",
      "615.496434268"
    ],
    [
      "910.334134068",
      "280.044997390"
    ],
    [
      "609.092658957",
      "89.009626810"
    ],
    [
      "344.722723783",
      "944.850881448"
    ],
    [
      "344.324916864",
      "609.301966873"
    ],
    [
      "352.828935507",
      "124.820673645"
    ],
    [
      "396.729424900",
      "292.157899126"
    ],
    [
      "917.043340766",
      "769.718778174"
    ],
    [
      "513.928575596",
      "980.883917853"
    ],
    [
      "690.851608961",
      "953.239364415"
    ],
    [
      "831.918169208",
      "612.255432702"
    ]
  ],
  "radius": "535.583476077"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 91
}

当前第一名的答案

{
  "centers": [
    [
      "439.984824744",
      "211.455556376"
    ],
    [
      "487.701928638",
      "621.326047487"
    ],
    [
      "762.062913554",
      "798.805520924"
    ],
    [
      "375.861880529",
      "33.624016183"
    ],
    [
      "572.529501663",
      "395.720831532"
    ],
    [
      "362.773240523",
      "515.964976212"
    ],
    [
      "378.147177411",
      "787.151605972"
    ],
    [
      "327.684488170",
      "433.409989997"
    ],
    [
      "106.853868239",
      "234.361640075"
    ],
    [
      "449.324793621",
      "116.593925745"
    ],
    [
      "667.108924897",
      "308.820688713"
    ],
    [
      "258.555948173",
      "92.325040003"
    ],
    [
      "789.163371946",
      "992.461945743"
    ],
    [
      "697.459238708",
      "41.243840134"
    ],
    [
      "931.362682400",
      "873.674140903"
    ],
    [
      "409.106375410",
      "33.883310501"
    ],
    [
      "537.746573938",
      "17.070564623"
    ],
    [
      "1004.924948764",
      "317.549433110"
    ],
    [
      "44.679093565",
      "374.974919859"
    ],
    [
      "906.200782779",
      "177.269357247"
    ],
    [
      "21.088172248",
      "538.185101372"
    ],
    [
      "1015.022922733",
      "719.718762994"
    ],
    [
      "237.177536984",
      "952.241740774"
    ],
    [
      "411.437869945",
      "1031.779121878"
    ],
    [
      "784.534942928",
      "506.068819615"
    ],
    [
      "613.016744776",
      "1039.249444739"
    ],
    [
      "182.673106836",
      "169.371210553"
    ],
    [
      "830.464438370",
      "355.681177289"
    ],
    [
      "509.289163244",
      "264.116763201"
    ],
    [
      "171.384752812",
      "423.057494593"
    ],
    [
      "1036.110297220",
      "472.687952693"
    ],
    [
      "145.625493501",
      "217.138331085"
    ],
    [
      "1038.030208277",
      "538.510181572"
    ],
    [
      "233.289827328",
      "135.327890984"
    ],
    [
      "108.171173552",
      "796.020114476"
    ],
    [
      "76.184626388",
      "731.890242322"
    ],
    [
      "844.951949412",
      "484.920753318"
    ],
    [
      "818.576787756",
      "944.856125064"
    ],
    [
      "371.506964982",
      "415.607595423"
    ],
    [
      "450.159085375",
      "407.972422167"
    ],
    [
      "877.839984517",
      "892.617504201"
    ],
    [
      "323.258951771",
      "483.238812872"
    ],
    [
      "372.619929052",
      "734.404727364"
    ],
    [
      "468.180485452",
      "573.235387747"
    ],
    [
      "737.090663935",
      "88.294978304"
    ],
    [
      "706.278594784",
      "173.938730724"
    ],
    [
      "331.572884155",
      "814.512545883"
    ],
    [
      "215.669989816",
      "643.020059167"
    ],
    [
      "885.790082861",
      "409.235570776"
    ],
    [
      "780.883262463",
      "744.302875202"
    ],
    [
      "416.099292687",
      "493.783834204"
    ],
    [
      "164.127264678",
      "728.713393142"
    ],
    [
      "584.489828572",
      "857.656041222"
    ],
    [
      "475.709796559",
      "57.736443098"
    ],
    [
      "792.145996626",
      "848.882167297"
    ],
    [
      "272.113974909",
      "730.407622654"
    ],
    [
      "529.592758617",
      "347.685680959"
    ],
    [
      "991.701777829",
      "394.013453019"
    ],
    [
      "467.095333760",
      "684.557695797"
    ],
    [
      "771.529839476",
      "421.531528897"
    ],
    [
      "684.195582118",
      "802.386133401"
    ],
    [
      "492.154498835",
      "174.744489671"
    ],
    [
      "574.688239306",
      "742.070882797"
    ],
    [
      "945.712241112",
      "507.013287147"
    ],
    [
      "569.194420613",
      "614.188835752"
    ],
    [
      "820.088896220",
      "161.999072075"
    ],
    [
      "686.656905915",
      "674.409800100"
    ],
    [
      "648.438080338",
      "386.425705551"
    ],
    [
      "992.173457733",
      "631.634133520"
    ],
    [
      "248.398429651",
      "240.709713068"
    ],
    [
      "76.558299151",
      "463.933680608"
    ],
    [
      "265.314671455",
      "383.293561388"
    ],
    [
      "609.483467634",
      "245.009137286"
    ],
    [
      "540.131722143",
      "478.261062439"
    ],
    [
      "211.504225599",
      "520.090622459"
    ],
    [
      "752.481699797",
      "286.872075530"
    ],
    [
      "128.105993107",
      "325.200716795"
    ],
    [
      "684.051074704",
      "528.895171634"
    ],
    [
      "457.337402972",
      "822.212273588"
    ],
    [
      "208.788725905",
      "852.995393139"
    ],
    [
      "88.079223771",
      "615.496434268"
    ],
    [
      "910.334134068",
      "280.044997390"
    ],
    [
      "609.092658957",
      "89.009626810"
    ],
    [
      "344.722723783",
      "944.850881448"
    ],
    [
      "344.324916864",
      "609.301966873"
    ],
    [
      "352.828935507",
      "124.820673645"
    ],
    [
      "396.729424900",
      "292.157899126"
    ],
    [
      "917.043340766",
      "769.718778174"
    ],
    [
      "513.928575596",
      "980.883917853"
    ],
    [
      "690.851608961",
      "953.239364415"
    ],
    [
      "831.918169208",
      "612.255432702"
    ]
  ],
  "radius": "535.583476077"
}

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

DISCUSSION

讨论区

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