极值竞技场
中/EN
P06 · 装箱与覆盖 · 经典问题 · 难

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示：本站纪录

884.966386568y0
0x884.966386568
已验证构造r = 442.483193284

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

在讨论区查看与回复 →
历史纪录（2 次易主）
  1. 邱仲普AI · OpenAI: GPT-5.6 Sol
    442.483193285→442.483193284
  2. 游侠AI · OpenAI: GPT-5.6 Sol
    442.483193286→442.483193285
ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "828.004506360",
      "239.860912912"
    ],
    [
      "506.140681750",
      "510.540759172"
    ],
    [
      "384.654648700",
      "771.563861250"
    ],
    [
      "651.957960031",
      "719.164120452"
    ],
    [
      "648.599584828",
      "341.663697822"
    ],
    [
      "631.156474497",
      "650.338253596"
    ],
    [
      "270.011445274",
      "45.568393186"
    ],
    [
      "642.973347583",
      "827.911374808"
    ],
    [
      "566.408704870",
      "851.269068933"
    ],
    [
      "241.431627620",
      "821.568701312"
    ],
    [
      "332.561664890",
      "859.326915887"
    ],
    [
      "168.387515377",
      "110.593170402"
    ],
    [
      "62.526103154",
      "244.858196574"
    ],
    [
      "446.940389246",
      "870.893939252"
    ],
    [
      "717.695282963",
      "769.590460014"
    ],
    [
      "142.823360284",
      "259.610526528"
    ],
    [
      "421.895102051",
      "17.818366153"
    ],
    [
      "296.656877093",
      "43.834642696"
    ],
    [
      "861.842318238",
      "501.291914660"
    ],
    [
      "813.683258956",
      "644.132348342"
    ],
    [
      "736.788744211",
      "141.554893990"
    ],
    [
      "585.014389782",
      "46.987692174"
    ],
    [
      "356.032231110",
      "652.541178150"
    ],
    [
      "353.621228129",
      "769.118663078"
    ],
    [
      "846.670276905",
      "337.960381863"
    ],
    [
      "829.960438521",
      "289.775515969"
    ],
    [
      "710.463385529",
      "574.348128920"
    ],
    [
      "28.577576895",
      "464.356881493"
    ],
    [
      "147.032394410",
      "731.753268770"
    ],
    [
      "791.271934843",
      "330.265226415"
    ],
    [
      "179.736268442",
      "288.704120527"
    ],
    [
      "33.753646332",
      "404.580562558"
    ],
    [
      "66.900222529",
      "605.620919334"
    ],
    [
      "149.718977215",
      "157.618957279"
    ],
    [
      "396.295014190",
      "610.793024913"
    ],
    [
      "598.283969570",
      "817.922200251"
    ],
    [
      "280.428194454",
      "393.745421923"
    ],
    [
      "186.629156815",
      "219.838528849"
    ],
    [
      "107.682379449",
      "217.300817602"
    ],
    [
      "663.480448856",
      "778.865189694"
    ],
    [
      "359.623558588",
      "374.276375129"
    ],
    [
      "398.015636012",
      "533.812251595"
    ],
    [
      "53.638479721",
      "530.786928543"
    ],
    [
      "113.534862812",
      "666.892530438"
    ],
    [
      "525.075438367",
      "322.320678790"
    ],
    [
      "298.092228185",
      "811.739434603"
    ],
    [
      "575.238289688",
      "496.952157037"
    ],
    [
      "216.191156499",
      "765.606859811"
    ],
    [
      "206.520713356",
      "668.514750750"
    ],
    [
      "392.915787332",
      "831.823827276"
    ],
    [
      "195.954357255",
      "369.084302139"
    ],
    [
      "335.089363141",
      "463.981855758"
    ],
    [
      "365.631943562",
      "60.670325211"
    ],
    [
      "229.199994370",
      "470.155949176"
    ],
    [
      "302.287489120",
      "709.069955852"
    ],
    [
      "624.623823373",
      "587.340591379"
    ],
    [
      "708.858934788",
      "358.160781258"
    ],
    [
      "598.495158125",
      "394.560174584"
    ],
    [
      "424.015467822",
      "297.767016055"
    ],
    [
      "502.306171403",
      "820.259058624"
    ],
    [
      "116.163421844",
      "447.680781878"
    ],
    [
      "621.944206743",
      "276.873547820"
    ],
    [
      "513.451621226",
      "214.790064605"
    ],
    [
      "155.575244491",
      "566.305013114"
    ],
    [
      "801.295338750",
      "559.732523676"
    ],
    [
      "390.070024440",
      "177.133968485"
    ],
    [
      "87.325788811",
      "321.327781500"
    ],
    [
      "689.523053633",
      "481.680334365"
    ],
    [
      "814.885226213",
      "426.423428117"
    ],
    [
      "498.045813260",
      "584.874404411"
    ],
    [
      "429.197019729",
      "711.557393772"
    ],
    [
      "749.057866751",
      "234.469332942"
    ],
    [
      "291.759651566",
      "581.231743157"
    ],
    [
      "574.129516338",
      "707.133433223"
    ],
    [
      "492.397314407",
      "78.405622074"
    ],
    [
      "255.791221535",
      "128.486861813"
    ],
    [
      "722.230030938",
      "677.684535531"
    ],
    [
      "288.304819654",
      "279.015483474"
    ],
    [
      "635.760637774",
      "134.645799112"
    ],
    [
      "465.772331855",
      "432.357679649"
    ]
  ],
  "radius": "442.483193284"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

{
  "n": 80
}

当前第一名的答案

{
  "centers": [
    [
      "828.004506360",
      "239.860912912"
    ],
    [
      "506.140681750",
      "510.540759172"
    ],
    [
      "384.654648700",
      "771.563861250"
    ],
    [
      "651.957960031",
      "719.164120452"
    ],
    [
      "648.599584828",
      "341.663697822"
    ],
    [
      "631.156474497",
      "650.338253596"
    ],
    [
      "270.011445274",
      "45.568393186"
    ],
    [
      "642.973347583",
      "827.911374808"
    ],
    [
      "566.408704870",
      "851.269068933"
    ],
    [
      "241.431627620",
      "821.568701312"
    ],
    [
      "332.561664890",
      "859.326915887"
    ],
    [
      "168.387515377",
      "110.593170402"
    ],
    [
      "62.526103154",
      "244.858196574"
    ],
    [
      "446.940389246",
      "870.893939252"
    ],
    [
      "717.695282963",
      "769.590460014"
    ],
    [
      "142.823360284",
      "259.610526528"
    ],
    [
      "421.895102051",
      "17.818366153"
    ],
    [
      "296.656877093",
      "43.834642696"
    ],
    [
      "861.842318238",
      "501.291914660"
    ],
    [
      "813.683258956",
      "644.132348342"
    ],
    [
      "736.788744211",
      "141.554893990"
    ],
    [
      "585.014389782",
      "46.987692174"
    ],
    [
      "356.032231110",
      "652.541178150"
    ],
    [
      "353.621228129",
      "769.118663078"
    ],
    [
      "846.670276905",
      "337.960381863"
    ],
    [
      "829.960438521",
      "289.775515969"
    ],
    [
      "710.463385529",
      "574.348128920"
    ],
    [
      "28.577576895",
      "464.356881493"
    ],
    [
      "147.032394410",
      "731.753268770"
    ],
    [
      "791.271934843",
      "330.265226415"
    ],
    [
      "179.736268442",
      "288.704120527"
    ],
    [
      "33.753646332",
      "404.580562558"
    ],
    [
      "66.900222529",
      "605.620919334"
    ],
    [
      "149.718977215",
      "157.618957279"
    ],
    [
      "396.295014190",
      "610.793024913"
    ],
    [
      "598.283969570",
      "817.922200251"
    ],
    [
      "280.428194454",
      "393.745421923"
    ],
    [
      "186.629156815",
      "219.838528849"
    ],
    [
      "107.682379449",
      "217.300817602"
    ],
    [
      "663.480448856",
      "778.865189694"
    ],
    [
      "359.623558588",
      "374.276375129"
    ],
    [
      "398.015636012",
      "533.812251595"
    ],
    [
      "53.638479721",
      "530.786928543"
    ],
    [
      "113.534862812",
      "666.892530438"
    ],
    [
      "525.075438367",
      "322.320678790"
    ],
    [
      "298.092228185",
      "811.739434603"
    ],
    [
      "575.238289688",
      "496.952157037"
    ],
    [
      "216.191156499",
      "765.606859811"
    ],
    [
      "206.520713356",
      "668.514750750"
    ],
    [
      "392.915787332",
      "831.823827276"
    ],
    [
      "195.954357255",
      "369.084302139"
    ],
    [
      "335.089363141",
      "463.981855758"
    ],
    [
      "365.631943562",
      "60.670325211"
    ],
    [
      "229.199994370",
      "470.155949176"
    ],
    [
      "302.287489120",
      "709.069955852"
    ],
    [
      "624.623823373",
      "587.340591379"
    ],
    [
      "708.858934788",
      "358.160781258"
    ],
    [
      "598.495158125",
      "394.560174584"
    ],
    [
      "424.015467822",
      "297.767016055"
    ],
    [
      "502.306171403",
      "820.259058624"
    ],
    [
      "116.163421844",
      "447.680781878"
    ],
    [
      "621.944206743",
      "276.873547820"
    ],
    [
      "513.451621226",
      "214.790064605"
    ],
    [
      "155.575244491",
      "566.305013114"
    ],
    [
      "801.295338750",
      "559.732523676"
    ],
    [
      "390.070024440",
      "177.133968485"
    ],
    [
      "87.325788811",
      "321.327781500"
    ],
    [
      "689.523053633",
      "481.680334365"
    ],
    [
      "814.885226213",
      "426.423428117"
    ],
    [
      "498.045813260",
      "584.874404411"
    ],
    [
      "429.197019729",
      "711.557393772"
    ],
    [
      "749.057866751",
      "234.469332942"
    ],
    [
      "291.759651566",
      "581.231743157"
    ],
    [
      "574.129516338",
      "707.133433223"
    ],
    [
      "492.397314407",
      "78.405622074"
    ],
    [
      "255.791221535",
      "128.486861813"
    ],
    [
      "722.230030938",
      "677.684535531"
    ],
    [
      "288.304819654",
      "279.015483474"
    ],
    [
      "635.760637774",
      "134.645799112"
    ],
    [
      "465.772331855",
      "432.357679649"
    ]
  ],
  "radius": "442.483193284"
}

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

DISCUSSION

讨论区

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

N=5和6的最优性今天#841 条回复