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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

804.159976078y0
0x804.159976078
已验证构造r = 402.079988039

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "417.117095638",
      "1.288401091"
    ],
    [
      "159.064827916",
      "88.015231736"
    ],
    [
      "303.691169253",
      "788.831130354"
    ],
    [
      "141.611817084",
      "702.626616791"
    ],
    [
      "719.789723942",
      "523.919472532"
    ],
    [
      "781.607452297",
      "303.074753512"
    ],
    [
      "331.264615864",
      "239.995660809"
    ],
    [
      "795.922040348",
      "393.836787268"
    ],
    [
      "311.016967227",
      "118.286649755"
    ],
    [
      "111.490361822",
      "147.454830673"
    ],
    [
      "13.129335582",
      "361.479105687"
    ],
    [
      "775.280450363",
      "515.585814170"
    ],
    [
      "179.945879413",
      "82.666526036"
    ],
    [
      "129.949779716",
      "678.693044822"
    ],
    [
      "40.830578788",
      "263.146694367"
    ],
    [
      "584.093329349",
      "61.596654015"
    ],
    [
      "578.328600168",
      "744.457979568"
    ],
    [
      "294.978309220",
      "33.234942518"
    ],
    [
      "445.927423940",
      "21.558339370"
    ],
    [
      "256.703091826",
      "755.155705478"
    ],
    [
      "426.934360085",
      "782.317987010"
    ],
    [
      "88.314709365",
      "381.958641476"
    ],
    [
      "468.936002111",
      "557.099348660"
    ],
    [
      "197.127105426",
      "264.203413877"
    ],
    [
      "731.223160000",
      "218.085179063"
    ],
    [
      "184.397167855",
      "438.717653373"
    ],
    [
      "681.956027850",
      "651.131267989"
    ],
    [
      "296.023435710",
      "512.751448329"
    ],
    [
      "746.703727372",
      "544.989595003"
    ],
    [
      "35.728181592",
      "467.117449637"
    ],
    [
      "686.873312004",
      "540.481668959"
    ],
    [
      "621.760470873",
      "207.565771416"
    ],
    [
      "714.779469755",
      "598.138835596"
    ],
    [
      "765.623534406",
      "344.469507317"
    ],
    [
      "35.000002351",
      "402.121528572"
    ],
    [
      "746.207274490",
      "277.216188805"
    ],
    [
      "505.829782025",
      "509.782871573"
    ],
    [
      "677.096131380",
      "250.765292821"
    ],
    [
      "684.694471152",
      "174.141111042"
    ],
    [
      "160.703530490",
      "132.192375358"
    ],
    [
      "378.705115098",
      "256.053327887"
    ],
    [
      "639.802533303",
      "596.278996796"
    ],
    [
      "623.524730790",
      "394.590067376"
    ],
    [
      "116.926093127",
      "618.663768711"
    ],
    [
      "687.323213600",
      "333.978570182"
    ],
    [
      "55.009513593",
      "322.530398410"
    ],
    [
      "111.848353118",
      "446.821324220"
    ],
    [
      "223.847890754",
      "194.595813430"
    ],
    [
      "75.199031646",
      "535.550277988"
    ],
    [
      "613.560378656",
      "120.653347161"
    ],
    [
      "610.540684371",
      "684.569599088"
    ],
    [
      "538.615831267",
      "193.804012905"
    ],
    [
      "323.756274017",
      "179.786527348"
    ],
    [
      "422.590790708",
      "618.590172204"
    ],
    [
      "432.861940015",
      "176.767956853"
    ],
    [
      "472.596765056",
      "280.412270153"
    ],
    [
      "249.313810716",
      "92.730770746"
    ],
    [
      "312.666853688",
      "597.125595070"
    ],
    [
      "538.868135912",
      "599.918697816"
    ],
    [
      "386.324534940",
      "357.961111397"
    ],
    [
      "588.652373680",
      "295.247893067"
    ],
    [
      "604.129283763",
      "498.026683491"
    ],
    [
      "280.432571822",
      "290.090179071"
    ],
    [
      "166.819829666",
      "346.845309438"
    ],
    [
      "505.516963325",
      "81.262734018"
    ],
    [
      "114.766781526",
      "227.721507537"
    ],
    [
      "275.493333847",
      "419.996314141"
    ],
    [
      "373.057333198",
      "69.285823434"
    ],
    [
      "213.800006753",
      "676.839750515"
    ],
    [
      "494.487203108",
      "721.043975127"
    ],
    [
      "509.756408025",
      "401.854276620"
    ],
    [
      "198.061876177",
      "535.760302494"
    ],
    [
      "728.146985672",
      "444.691801719"
    ],
    [
      "396.100174087",
      "493.037330614"
    ],
    [
      "349.538813809",
      "724.912364955"
    ]
  ],
  "radius": "402.079988039"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 75
}

当前第一名的答案

{
  "centers": [
    [
      "417.117095638",
      "1.288401091"
    ],
    [
      "159.064827916",
      "88.015231736"
    ],
    [
      "303.691169253",
      "788.831130354"
    ],
    [
      "141.611817084",
      "702.626616791"
    ],
    [
      "719.789723942",
      "523.919472532"
    ],
    [
      "781.607452297",
      "303.074753512"
    ],
    [
      "331.264615864",
      "239.995660809"
    ],
    [
      "795.922040348",
      "393.836787268"
    ],
    [
      "311.016967227",
      "118.286649755"
    ],
    [
      "111.490361822",
      "147.454830673"
    ],
    [
      "13.129335582",
      "361.479105687"
    ],
    [
      "775.280450363",
      "515.585814170"
    ],
    [
      "179.945879413",
      "82.666526036"
    ],
    [
      "129.949779716",
      "678.693044822"
    ],
    [
      "40.830578788",
      "263.146694367"
    ],
    [
      "584.093329349",
      "61.596654015"
    ],
    [
      "578.328600168",
      "744.457979568"
    ],
    [
      "294.978309220",
      "33.234942518"
    ],
    [
      "445.927423940",
      "21.558339370"
    ],
    [
      "256.703091826",
      "755.155705478"
    ],
    [
      "426.934360085",
      "782.317987010"
    ],
    [
      "88.314709365",
      "381.958641476"
    ],
    [
      "468.936002111",
      "557.099348660"
    ],
    [
      "197.127105426",
      "264.203413877"
    ],
    [
      "731.223160000",
      "218.085179063"
    ],
    [
      "184.397167855",
      "438.717653373"
    ],
    [
      "681.956027850",
      "651.131267989"
    ],
    [
      "296.023435710",
      "512.751448329"
    ],
    [
      "746.703727372",
      "544.989595003"
    ],
    [
      "35.728181592",
      "467.117449637"
    ],
    [
      "686.873312004",
      "540.481668959"
    ],
    [
      "621.760470873",
      "207.565771416"
    ],
    [
      "714.779469755",
      "598.138835596"
    ],
    [
      "765.623534406",
      "344.469507317"
    ],
    [
      "35.000002351",
      "402.121528572"
    ],
    [
      "746.207274490",
      "277.216188805"
    ],
    [
      "505.829782025",
      "509.782871573"
    ],
    [
      "677.096131380",
      "250.765292821"
    ],
    [
      "684.694471152",
      "174.141111042"
    ],
    [
      "160.703530490",
      "132.192375358"
    ],
    [
      "378.705115098",
      "256.053327887"
    ],
    [
      "639.802533303",
      "596.278996796"
    ],
    [
      "623.524730790",
      "394.590067376"
    ],
    [
      "116.926093127",
      "618.663768711"
    ],
    [
      "687.323213600",
      "333.978570182"
    ],
    [
      "55.009513593",
      "322.530398410"
    ],
    [
      "111.848353118",
      "446.821324220"
    ],
    [
      "223.847890754",
      "194.595813430"
    ],
    [
      "75.199031646",
      "535.550277988"
    ],
    [
      "613.560378656",
      "120.653347161"
    ],
    [
      "610.540684371",
      "684.569599088"
    ],
    [
      "538.615831267",
      "193.804012905"
    ],
    [
      "323.756274017",
      "179.786527348"
    ],
    [
      "422.590790708",
      "618.590172204"
    ],
    [
      "432.861940015",
      "176.767956853"
    ],
    [
      "472.596765056",
      "280.412270153"
    ],
    [
      "249.313810716",
      "92.730770746"
    ],
    [
      "312.666853688",
      "597.125595070"
    ],
    [
      "538.868135912",
      "599.918697816"
    ],
    [
      "386.324534940",
      "357.961111397"
    ],
    [
      "588.652373680",
      "295.247893067"
    ],
    [
      "604.129283763",
      "498.026683491"
    ],
    [
      "280.432571822",
      "290.090179071"
    ],
    [
      "166.819829666",
      "346.845309438"
    ],
    [
      "505.516963325",
      "81.262734018"
    ],
    [
      "114.766781526",
      "227.721507537"
    ],
    [
      "275.493333847",
      "419.996314141"
    ],
    [
      "373.057333198",
      "69.285823434"
    ],
    [
      "213.800006753",
      "676.839750515"
    ],
    [
      "494.487203108",
      "721.043975127"
    ],
    [
      "509.756408025",
      "401.854276620"
    ],
    [
      "198.061876177",
      "535.760302494"
    ],
    [
      "728.146985672",
      "444.691801719"
    ],
    [
      "396.100174087",
      "493.037330614"
    ],
    [
      "349.538813809",
      "724.912364955"
    ]
  ],
  "radius": "402.079988039"
}

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

DISCUSSION

讨论区

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