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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1106.186895832y0
0x1106.186895832
已验证构造r = 553.093447916

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "989.564578798",
      "217.034495989"
    ],
    [
      "322.448222813",
      "374.378431242"
    ],
    [
      "563.622966899",
      "159.377370888"
    ],
    [
      "289.902561173",
      "303.756079319"
    ],
    [
      "496.849528116",
      "267.350420782"
    ],
    [
      "518.090861190",
      "512.189112439"
    ],
    [
      "586.040528117",
      "903.053845444"
    ],
    [
      "338.676501657",
      "212.116262938"
    ],
    [
      "487.829309871",
      "135.945347215"
    ],
    [
      "646.971032305",
      "280.573819587"
    ],
    [
      "1067.389503007",
      "723.720145455"
    ],
    [
      "1052.195415963",
      "344.753347908"
    ],
    [
      "293.127413540",
      "1026.505060978"
    ],
    [
      "623.058742756",
      "18.857147999"
    ],
    [
      "739.269681280",
      "48.391245848"
    ],
    [
      "519.227510614",
      "1088.960551785"
    ],
    [
      "864.014581734",
      "116.455965472"
    ],
    [
      "962.491112826",
      "208.807626120"
    ],
    [
      "1086.968465197",
      "565.499445015"
    ],
    [
      "810.888608565",
      "207.711836380"
    ],
    [
      "22.048149091",
      "586.386666094"
    ],
    [
      "59.246212210",
      "748.465459215"
    ],
    [
      "40.856231242",
      "416.667287021"
    ],
    [
      "458.682523442",
      "32.491436811"
    ],
    [
      "122.102504034",
      "247.922191040"
    ],
    [
      "271.502287164",
      "107.525846215"
    ],
    [
      "568.914066353",
      "435.658105244"
    ],
    [
      "1007.626970945",
      "815.748838223"
    ],
    [
      "402.212446918",
      "517.460763312"
    ],
    [
      "743.642761691",
      "510.237095312"
    ],
    [
      "908.016823396",
      "935.970731604"
    ],
    [
      "390.157251083",
      "676.051668162"
    ],
    [
      "857.226383415",
      "974.962643458"
    ],
    [
      "756.476566528",
      "225.762027628"
    ],
    [
      "553.270655102",
      "788.523934119"
    ],
    [
      "1029.366319465",
      "754.249642592"
    ],
    [
      "506.036245328",
      "845.854314245"
    ],
    [
      "580.300275037",
      "856.335434959"
    ],
    [
      "1042.940098541",
      "397.073154171"
    ],
    [
      "190.566507727",
      "916.189996963"
    ],
    [
      "688.653879411",
      "1046.840146376"
    ],
    [
      "956.539264469",
      "436.984662451"
    ],
    [
      "569.842951810",
      "506.247163475"
    ],
    [
      "349.732375106",
      "1019.805792699"
    ],
    [
      "262.061507651",
      "866.931240748"
    ],
    [
      "892.502469876",
      "635.022150468"
    ],
    [
      "563.728636740",
      "707.193554677"
    ],
    [
      "179.641678192",
      "580.712135416"
    ],
    [
      "947.932161836",
      "866.482334480"
    ],
    [
      "206.235144651",
      "675.034919213"
    ],
    [
      "673.136309190",
      "65.561354719"
    ],
    [
      "825.205551366",
      "278.687136083"
    ],
    [
      "269.966238878",
      "964.611920650"
    ],
    [
      "262.504860654",
      "360.843547699"
    ],
    [
      "772.629288272",
      "1000.196453560"
    ],
    [
      "529.980405078",
      "935.996289534"
    ],
    [
      "509.045137205",
      "202.888566751"
    ],
    [
      "887.594173182",
      "188.091000027"
    ],
    [
      "809.466073138",
      "570.513664501"
    ],
    [
      "924.497776489",
      "533.966223601"
    ],
    [
      "340.821294246",
      "445.124158584"
    ],
    [
      "1041.093123210",
      "498.056265048"
    ],
    [
      "583.603689275",
      "1042.236282741"
    ],
    [
      "456.966204513",
      "1032.647359239"
    ],
    [
      "714.320243023",
      "316.016057763"
    ],
    [
      "216.566534356",
      "471.711483889"
    ],
    [
      "926.053439690",
      "752.564287106"
    ],
    [
      "456.488031662",
      "753.280157361"
    ],
    [
      "777.777332614",
      "124.300236369"
    ],
    [
      "472.457840870",
      "445.914642959"
    ],
    [
      "666.609942651",
      "443.372750711"
    ],
    [
      "796.141361841",
      "703.128955255"
    ],
    [
      "84.341138362",
      "656.828644530"
    ],
    [
      "663.701085234",
      "931.090400403"
    ],
    [
      "547.575281564",
      "76.069843775"
    ],
    [
      "79.259282488",
      "507.915331687"
    ],
    [
      "647.165746527",
      "190.899018154"
    ],
    [
      "666.397707658",
      "778.569618211"
    ],
    [
      "309.490908383",
      "752.360511720"
    ],
    [
      "1018.461344229",
      "638.241152181"
    ],
    [
      "568.045603649",
      "327.661597068"
    ],
    [
      "125.737974564",
      "354.860413178"
    ],
    [
      "956.215510131",
      "311.266127855"
    ],
    [
      "153.014497148",
      "798.012814300"
    ],
    [
      "312.420070575",
      "588.386672316"
    ],
    [
      "482.911590330",
      "601.563989641"
    ],
    [
      "392.642682838",
      "896.032994837"
    ],
    [
      "810.991862192",
      "862.438285300"
    ],
    [
      "825.282196582",
      "422.802971112"
    ],
    [
      "386.728976001",
      "120.914776551"
    ],
    [
      "234.323525750",
      "218.554823347"
    ],
    [
      "396.865778655",
      "302.632263965"
    ],
    [
      "661.819573272",
      "607.302773469"
    ]
  ],
  "radius": "553.093447916"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 93
}

当前第一名的答案

{
  "centers": [
    [
      "989.564578798",
      "217.034495989"
    ],
    [
      "322.448222813",
      "374.378431242"
    ],
    [
      "563.622966899",
      "159.377370888"
    ],
    [
      "289.902561173",
      "303.756079319"
    ],
    [
      "496.849528116",
      "267.350420782"
    ],
    [
      "518.090861190",
      "512.189112439"
    ],
    [
      "586.040528117",
      "903.053845444"
    ],
    [
      "338.676501657",
      "212.116262938"
    ],
    [
      "487.829309871",
      "135.945347215"
    ],
    [
      "646.971032305",
      "280.573819587"
    ],
    [
      "1067.389503007",
      "723.720145455"
    ],
    [
      "1052.195415963",
      "344.753347908"
    ],
    [
      "293.127413540",
      "1026.505060978"
    ],
    [
      "623.058742756",
      "18.857147999"
    ],
    [
      "739.269681280",
      "48.391245848"
    ],
    [
      "519.227510614",
      "1088.960551785"
    ],
    [
      "864.014581734",
      "116.455965472"
    ],
    [
      "962.491112826",
      "208.807626120"
    ],
    [
      "1086.968465197",
      "565.499445015"
    ],
    [
      "810.888608565",
      "207.711836380"
    ],
    [
      "22.048149091",
      "586.386666094"
    ],
    [
      "59.246212210",
      "748.465459215"
    ],
    [
      "40.856231242",
      "416.667287021"
    ],
    [
      "458.682523442",
      "32.491436811"
    ],
    [
      "122.102504034",
      "247.922191040"
    ],
    [
      "271.502287164",
      "107.525846215"
    ],
    [
      "568.914066353",
      "435.658105244"
    ],
    [
      "1007.626970945",
      "815.748838223"
    ],
    [
      "402.212446918",
      "517.460763312"
    ],
    [
      "743.642761691",
      "510.237095312"
    ],
    [
      "908.016823396",
      "935.970731604"
    ],
    [
      "390.157251083",
      "676.051668162"
    ],
    [
      "857.226383415",
      "974.962643458"
    ],
    [
      "756.476566528",
      "225.762027628"
    ],
    [
      "553.270655102",
      "788.523934119"
    ],
    [
      "1029.366319465",
      "754.249642592"
    ],
    [
      "506.036245328",
      "845.854314245"
    ],
    [
      "580.300275037",
      "856.335434959"
    ],
    [
      "1042.940098541",
      "397.073154171"
    ],
    [
      "190.566507727",
      "916.189996963"
    ],
    [
      "688.653879411",
      "1046.840146376"
    ],
    [
      "956.539264469",
      "436.984662451"
    ],
    [
      "569.842951810",
      "506.247163475"
    ],
    [
      "349.732375106",
      "1019.805792699"
    ],
    [
      "262.061507651",
      "866.931240748"
    ],
    [
      "892.502469876",
      "635.022150468"
    ],
    [
      "563.728636740",
      "707.193554677"
    ],
    [
      "179.641678192",
      "580.712135416"
    ],
    [
      "947.932161836",
      "866.482334480"
    ],
    [
      "206.235144651",
      "675.034919213"
    ],
    [
      "673.136309190",
      "65.561354719"
    ],
    [
      "825.205551366",
      "278.687136083"
    ],
    [
      "269.966238878",
      "964.611920650"
    ],
    [
      "262.504860654",
      "360.843547699"
    ],
    [
      "772.629288272",
      "1000.196453560"
    ],
    [
      "529.980405078",
      "935.996289534"
    ],
    [
      "509.045137205",
      "202.888566751"
    ],
    [
      "887.594173182",
      "188.091000027"
    ],
    [
      "809.466073138",
      "570.513664501"
    ],
    [
      "924.497776489",
      "533.966223601"
    ],
    [
      "340.821294246",
      "445.124158584"
    ],
    [
      "1041.093123210",
      "498.056265048"
    ],
    [
      "583.603689275",
      "1042.236282741"
    ],
    [
      "456.966204513",
      "1032.647359239"
    ],
    [
      "714.320243023",
      "316.016057763"
    ],
    [
      "216.566534356",
      "471.711483889"
    ],
    [
      "926.053439690",
      "752.564287106"
    ],
    [
      "456.488031662",
      "753.280157361"
    ],
    [
      "777.777332614",
      "124.300236369"
    ],
    [
      "472.457840870",
      "445.914642959"
    ],
    [
      "666.609942651",
      "443.372750711"
    ],
    [
      "796.141361841",
      "703.128955255"
    ],
    [
      "84.341138362",
      "656.828644530"
    ],
    [
      "663.701085234",
      "931.090400403"
    ],
    [
      "547.575281564",
      "76.069843775"
    ],
    [
      "79.259282488",
      "507.915331687"
    ],
    [
      "647.165746527",
      "190.899018154"
    ],
    [
      "666.397707658",
      "778.569618211"
    ],
    [
      "309.490908383",
      "752.360511720"
    ],
    [
      "1018.461344229",
      "638.241152181"
    ],
    [
      "568.045603649",
      "327.661597068"
    ],
    [
      "125.737974564",
      "354.860413178"
    ],
    [
      "956.215510131",
      "311.266127855"
    ],
    [
      "153.014497148",
      "798.012814300"
    ],
    [
      "312.420070575",
      "588.386672316"
    ],
    [
      "482.911590330",
      "601.563989641"
    ],
    [
      "392.642682838",
      "896.032994837"
    ],
    [
      "810.991862192",
      "862.438285300"
    ],
    [
      "825.282196582",
      "422.802971112"
    ],
    [
      "386.728976001",
      "120.914776551"
    ],
    [
      "234.323525750",
      "218.554823347"
    ],
    [
      "396.865778655",
      "302.632263965"
    ],
    [
      "661.819573272",
      "607.302773469"
    ]
  ],
  "radius": "553.093447916"
}

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

DISCUSSION

讨论区

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