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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1516.338622414y0
0x1516.338622414
已验证构造r = 758.169311207

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1366.915091830",
      "601.770626810"
    ],
    [
      "789.186909124",
      "372.396570569"
    ],
    [
      "617.379722310",
      "1500.084515585"
    ],
    [
      "166.077392485",
      "583.443846011"
    ],
    [
      "950.810739946",
      "686.236000209"
    ],
    [
      "273.324110485",
      "414.337365082"
    ],
    [
      "591.275134470",
      "91.266329118"
    ],
    [
      "1215.084035329",
      "164.164301821"
    ],
    [
      "1415.295045025",
      "909.498556825"
    ],
    [
      "525.570502401",
      "47.123327356"
    ],
    [
      "11.057570869",
      "761.415072595"
    ],
    [
      "838.792399636",
      "1499.914762133"
    ],
    [
      "434.428188800",
      "286.784577740"
    ],
    [
      "701.254715989",
      "965.279807747"
    ],
    [
      "1111.092315198",
      "104.224675195"
    ],
    [
      "1487.923133075",
      "623.389580847"
    ],
    [
      "36.808539705",
      "588.302143464"
    ],
    [
      "988.631155703",
      "54.880199275"
    ],
    [
      "1495.948965311",
      "803.330715584"
    ],
    [
      "293.769601588",
      "1330.540991544"
    ],
    [
      "69.456085756",
      "1009.430983254"
    ],
    [
      "466.685789367",
      "1283.526836719"
    ],
    [
      "1365.433393906",
      "1169.587588420"
    ],
    [
      "152.668418939",
      "558.716989574"
    ],
    [
      "163.944202355",
      "1187.595312581"
    ],
    [
      "808.140784877",
      "27.707298447"
    ],
    [
      "1017.931186522",
      "1441.600282186"
    ],
    [
      "168.462674615",
      "327.596081912"
    ],
    [
      "30.567729833",
      "805.958673899"
    ],
    [
      "1204.841014488",
      "1333.247510473"
    ],
    [
      "581.643127905",
      "52.766583665"
    ],
    [
      "348.374564710",
      "158.731193312"
    ],
    [
      "788.976889375",
      "1482.683923234"
    ],
    [
      "314.876135646",
      "914.454573321"
    ],
    [
      "457.910510682",
      "1416.058743693"
    ],
    [
      "489.482135581",
      "1121.969310525"
    ],
    [
      "456.586403391",
      "695.455597878"
    ],
    [
      "1057.975085445",
      "220.615428777"
    ],
    [
      "528.174079661",
      "1439.569848077"
    ],
    [
      "807.706692496",
      "630.698671333"
    ],
    [
      "685.473754647",
      "1115.754179615"
    ],
    [
      "585.927981675",
      "852.037911878"
    ],
    [
      "76.791927533",
      "540.932102816"
    ],
    [
      "1395.765981421",
      "436.442266652"
    ],
    [
      "1122.358309348",
      "273.011082481"
    ],
    [
      "807.319492824",
      "542.678031910"
    ],
    [
      "1440.073239606",
      "960.082217269"
    ],
    [
      "224.451593159",
      "570.465887550"
    ],
    [
      "238.026357673",
      "947.115506990"
    ],
    [
      "971.092937613",
      "206.566042304"
    ],
    [
      "1160.998790912",
      "956.135147120"
    ],
    [
      "1456.593532516",
      "862.470333143"
    ],
    [
      "749.178772048",
      "703.201560965"
    ],
    [
      "1306.756369543",
      "603.106118186"
    ],
    [
      "1233.678173499",
      "1033.767035623"
    ],
    [
      "515.309824759",
      "1345.444872931"
    ],
    [
      "1001.207535342",
      "828.966163472"
    ],
    [
      "1140.539293805",
      "171.628382743"
    ],
    [
      "1066.278191331",
      "1187.804150324"
    ],
    [
      "1035.675740007",
      "117.520757722"
    ],
    [
      "600.169816871",
      "543.946461744"
    ],
    [
      "712.419983280",
      "594.234632733"
    ],
    [
      "956.525042706",
      "1246.483847397"
    ],
    [
      "427.987054212",
      "1205.217969702"
    ],
    [
      "1297.661658884",
      "484.434186701"
    ],
    [
      "1321.205689244",
      "355.567283912"
    ],
    [
      "1233.055171511",
      "255.975686758"
    ],
    [
      "1415.159231804",
      "546.750479583"
    ],
    [
      "1041.246066392",
      "948.435473470"
    ],
    [
      "1113.266219787",
      "1067.322384041"
    ],
    [
      "912.467385267",
      "593.990025782"
    ],
    [
      "387.712093249",
      "1335.304906689"
    ],
    [
      "1131.509538322",
      "835.692696204"
    ],
    [
      "254.236143994",
      "825.085722971"
    ],
    [
      "652.355933880",
      "278.583657593"
    ],
    [
      "468.572481243",
      "582.040309750"
    ],
    [
      "1180.715119335",
      "564.979247925"
    ],
    [
      "886.519782154",
      "447.266742378"
    ],
    [
      "1365.694846955",
      "1061.786960064"
    ],
    [
      "894.904144072",
      "915.387162106"
    ],
    [
      "1035.762479927",
      "502.108488992"
    ],
    [
      "1230.245515968",
      "716.209614891"
    ],
    [
      "774.341904050",
      "1029.276136033"
    ],
    [
      "893.055870506",
      "97.631745060"
    ],
    [
      "333.927616863",
      "493.769360414"
    ],
    [
      "1008.267609595",
      "337.387415326"
    ],
    [
      "881.501442683",
      "748.925852499"
    ],
    [
      "1171.313999519",
      "398.148214647"
    ],
    [
      "167.023100492",
      "444.587225282"
    ],
    [
      "274.632317436",
      "1219.300750271"
    ],
    [
      "106.611763869",
      "898.788113669"
    ],
    [
      "169.777151204",
      "1070.541232543"
    ],
    [
      "1081.985004745",
      "1339.197373515"
    ],
    [
      "324.681491539",
      "672.568664878"
    ],
    [
      "713.819748750",
      "437.083498168"
    ],
    [
      "587.848693794",
      "1211.870502338"
    ],
    [
      "1054.106072880",
      "684.336482125"
    ],
    [
      "946.286526025",
      "1085.809727587"
    ],
    [
      "726.919734562",
      "853.562909890"
    ],
    [
      "594.347315356",
      "705.152823755"
    ],
    [
      "1413.244912479",
      "715.739637169"
    ],
    [
      "895.536935433",
      "1399.798721990"
    ],
    [
      "830.291210759",
      "273.783944841"
    ],
    [
      "705.301091834",
      "107.230864383"
    ],
    [
      "1301.813735237",
      "888.999825152"
    ],
    [
      "789.707996916",
      "1219.408522211"
    ],
    [
      "367.181844013",
      "1045.393921391"
    ],
    [
      "436.341952215",
      "840.901494483"
    ],
    [
      "1235.858941946",
      "1197.752535746"
    ],
    [
      "671.958185669",
      "1400.491326343"
    ],
    [
      "581.401315823",
      "1004.970934143"
    ],
    [
      "507.853483012",
      "397.636193801"
    ],
    [
      "306.259424618",
      "297.712044458"
    ],
    [
      "117.641031648",
      "692.524816017"
    ],
    [
      "495.778055081",
      "170.957601867"
    ]
  ],
  "radius": "758.169311207"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 115
}

当前第一名的答案

{
  "centers": [
    [
      "1366.915091830",
      "601.770626810"
    ],
    [
      "789.186909124",
      "372.396570569"
    ],
    [
      "617.379722310",
      "1500.084515585"
    ],
    [
      "166.077392485",
      "583.443846011"
    ],
    [
      "950.810739946",
      "686.236000209"
    ],
    [
      "273.324110485",
      "414.337365082"
    ],
    [
      "591.275134470",
      "91.266329118"
    ],
    [
      "1215.084035329",
      "164.164301821"
    ],
    [
      "1415.295045025",
      "909.498556825"
    ],
    [
      "525.570502401",
      "47.123327356"
    ],
    [
      "11.057570869",
      "761.415072595"
    ],
    [
      "838.792399636",
      "1499.914762133"
    ],
    [
      "434.428188800",
      "286.784577740"
    ],
    [
      "701.254715989",
      "965.279807747"
    ],
    [
      "1111.092315198",
      "104.224675195"
    ],
    [
      "1487.923133075",
      "623.389580847"
    ],
    [
      "36.808539705",
      "588.302143464"
    ],
    [
      "988.631155703",
      "54.880199275"
    ],
    [
      "1495.948965311",
      "803.330715584"
    ],
    [
      "293.769601588",
      "1330.540991544"
    ],
    [
      "69.456085756",
      "1009.430983254"
    ],
    [
      "466.685789367",
      "1283.526836719"
    ],
    [
      "1365.433393906",
      "1169.587588420"
    ],
    [
      "152.668418939",
      "558.716989574"
    ],
    [
      "163.944202355",
      "1187.595312581"
    ],
    [
      "808.140784877",
      "27.707298447"
    ],
    [
      "1017.931186522",
      "1441.600282186"
    ],
    [
      "168.462674615",
      "327.596081912"
    ],
    [
      "30.567729833",
      "805.958673899"
    ],
    [
      "1204.841014488",
      "1333.247510473"
    ],
    [
      "581.643127905",
      "52.766583665"
    ],
    [
      "348.374564710",
      "158.731193312"
    ],
    [
      "788.976889375",
      "1482.683923234"
    ],
    [
      "314.876135646",
      "914.454573321"
    ],
    [
      "457.910510682",
      "1416.058743693"
    ],
    [
      "489.482135581",
      "1121.969310525"
    ],
    [
      "456.586403391",
      "695.455597878"
    ],
    [
      "1057.975085445",
      "220.615428777"
    ],
    [
      "528.174079661",
      "1439.569848077"
    ],
    [
      "807.706692496",
      "630.698671333"
    ],
    [
      "685.473754647",
      "1115.754179615"
    ],
    [
      "585.927981675",
      "852.037911878"
    ],
    [
      "76.791927533",
      "540.932102816"
    ],
    [
      "1395.765981421",
      "436.442266652"
    ],
    [
      "1122.358309348",
      "273.011082481"
    ],
    [
      "807.319492824",
      "542.678031910"
    ],
    [
      "1440.073239606",
      "960.082217269"
    ],
    [
      "224.451593159",
      "570.465887550"
    ],
    [
      "238.026357673",
      "947.115506990"
    ],
    [
      "971.092937613",
      "206.566042304"
    ],
    [
      "1160.998790912",
      "956.135147120"
    ],
    [
      "1456.593532516",
      "862.470333143"
    ],
    [
      "749.178772048",
      "703.201560965"
    ],
    [
      "1306.756369543",
      "603.106118186"
    ],
    [
      "1233.678173499",
      "1033.767035623"
    ],
    [
      "515.309824759",
      "1345.444872931"
    ],
    [
      "1001.207535342",
      "828.966163472"
    ],
    [
      "1140.539293805",
      "171.628382743"
    ],
    [
      "1066.278191331",
      "1187.804150324"
    ],
    [
      "1035.675740007",
      "117.520757722"
    ],
    [
      "600.169816871",
      "543.946461744"
    ],
    [
      "712.419983280",
      "594.234632733"
    ],
    [
      "956.525042706",
      "1246.483847397"
    ],
    [
      "427.987054212",
      "1205.217969702"
    ],
    [
      "1297.661658884",
      "484.434186701"
    ],
    [
      "1321.205689244",
      "355.567283912"
    ],
    [
      "1233.055171511",
      "255.975686758"
    ],
    [
      "1415.159231804",
      "546.750479583"
    ],
    [
      "1041.246066392",
      "948.435473470"
    ],
    [
      "1113.266219787",
      "1067.322384041"
    ],
    [
      "912.467385267",
      "593.990025782"
    ],
    [
      "387.712093249",
      "1335.304906689"
    ],
    [
      "1131.509538322",
      "835.692696204"
    ],
    [
      "254.236143994",
      "825.085722971"
    ],
    [
      "652.355933880",
      "278.583657593"
    ],
    [
      "468.572481243",
      "582.040309750"
    ],
    [
      "1180.715119335",
      "564.979247925"
    ],
    [
      "886.519782154",
      "447.266742378"
    ],
    [
      "1365.694846955",
      "1061.786960064"
    ],
    [
      "894.904144072",
      "915.387162106"
    ],
    [
      "1035.762479927",
      "502.108488992"
    ],
    [
      "1230.245515968",
      "716.209614891"
    ],
    [
      "774.341904050",
      "1029.276136033"
    ],
    [
      "893.055870506",
      "97.631745060"
    ],
    [
      "333.927616863",
      "493.769360414"
    ],
    [
      "1008.267609595",
      "337.387415326"
    ],
    [
      "881.501442683",
      "748.925852499"
    ],
    [
      "1171.313999519",
      "398.148214647"
    ],
    [
      "167.023100492",
      "444.587225282"
    ],
    [
      "274.632317436",
      "1219.300750271"
    ],
    [
      "106.611763869",
      "898.788113669"
    ],
    [
      "169.777151204",
      "1070.541232543"
    ],
    [
      "1081.985004745",
      "1339.197373515"
    ],
    [
      "324.681491539",
      "672.568664878"
    ],
    [
      "713.819748750",
      "437.083498168"
    ],
    [
      "587.848693794",
      "1211.870502338"
    ],
    [
      "1054.106072880",
      "684.336482125"
    ],
    [
      "946.286526025",
      "1085.809727587"
    ],
    [
      "726.919734562",
      "853.562909890"
    ],
    [
      "594.347315356",
      "705.152823755"
    ],
    [
      "1413.244912479",
      "715.739637169"
    ],
    [
      "895.536935433",
      "1399.798721990"
    ],
    [
      "830.291210759",
      "273.783944841"
    ],
    [
      "705.301091834",
      "107.230864383"
    ],
    [
      "1301.813735237",
      "888.999825152"
    ],
    [
      "789.707996916",
      "1219.408522211"
    ],
    [
      "367.181844013",
      "1045.393921391"
    ],
    [
      "436.341952215",
      "840.901494483"
    ],
    [
      "1235.858941946",
      "1197.752535746"
    ],
    [
      "671.958185669",
      "1400.491326343"
    ],
    [
      "581.401315823",
      "1004.970934143"
    ],
    [
      "507.853483012",
      "397.636193801"
    ],
    [
      "306.259424618",
      "297.712044458"
    ],
    [
      "117.641031648",
      "692.524816017"
    ],
    [
      "495.778055081",
      "170.957601867"
    ]
  ],
  "radius": "758.169311207"
}

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

DISCUSSION

讨论区

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