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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1655.483696078y0
0x1655.483696078
已验证构造r = 827.741848039

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "824.156744836",
      "1652.288962530"
    ],
    [
      "801.610861624",
      "677.072703695"
    ],
    [
      "380.595477014",
      "1520.732152313"
    ],
    [
      "1385.550390465",
      "1364.271737076"
    ],
    [
      "7.926072131",
      "786.005558350"
    ],
    [
      "942.329018939",
      "569.680591245"
    ],
    [
      "795.325292454",
      "1647.809753981"
    ],
    [
      "1073.487568870",
      "1163.994913597"
    ],
    [
      "396.971742341",
      "948.563759170"
    ],
    [
      "779.331611145",
      "505.922637785"
    ],
    [
      "836.196397937",
      "17.330619702"
    ],
    [
      "1437.729534524",
      "1093.819871943"
    ],
    [
      "370.148366545",
      "156.826097160"
    ],
    [
      "303.867449828",
      "553.214365108"
    ],
    [
      "182.700634420",
      "858.821478748"
    ],
    [
      "1238.903398938",
      "127.834265993"
    ],
    [
      "891.236770432",
      "1073.704266866"
    ],
    [
      "1628.377220167",
      "938.672755319"
    ],
    [
      "1457.805021927",
      "320.852574420"
    ],
    [
      "1174.597892047",
      "1557.208995086"
    ],
    [
      "659.709189920",
      "1616.698624759"
    ],
    [
      "983.091248316",
      "1618.258684086"
    ],
    [
      "1407.103108271",
      "1386.265912396"
    ],
    [
      "371.010426235",
      "1489.101167673"
    ],
    [
      "1526.310642194",
      "1223.211334125"
    ],
    [
      "165.850662939",
      "375.535494664"
    ],
    [
      "1624.142683857",
      "745.068477950"
    ],
    [
      "624.174794730",
      "1037.153112306"
    ],
    [
      "29.455140692",
      "850.219129279"
    ],
    [
      "1564.168995638",
      "521.215720433"
    ],
    [
      "73.704729069",
      "1084.760118021"
    ],
    [
      "66.331178198",
      "596.582782475"
    ],
    [
      "197.903815761",
      "1312.400038113"
    ],
    [
      "970.894598789",
      "47.448156397"
    ],
    [
      "537.302277487",
      "90.271373346"
    ],
    [
      "1408.896371989",
      "1132.476701831"
    ],
    [
      "1338.537147220",
      "224.118759868"
    ],
    [
      "683.487867963",
      "399.899112889"
    ],
    [
      "609.378495647",
      "69.830745753"
    ],
    [
      "1086.077015527",
      "266.566516270"
    ],
    [
      "799.143833208",
      "243.845280229"
    ],
    [
      "1043.322834264",
      "72.361596003"
    ],
    [
      "357.412485731",
      "1186.548269295"
    ],
    [
      "250.632318308",
      "1011.567521438"
    ],
    [
      "1268.751257273",
      "181.061477504"
    ],
    [
      "884.715040189",
      "48.132773017"
    ],
    [
      "608.863150576",
      "1110.591661205"
    ],
    [
      "700.199755623",
      "1342.187946080"
    ],
    [
      "545.727813574",
      "263.238238432"
    ],
    [
      "343.049170085",
      "219.541134696"
    ],
    [
      "1392.040150052",
      "293.985981711"
    ],
    [
      "532.702666759",
      "533.581026110"
    ],
    [
      "466.531577973",
      "615.106402586"
    ],
    [
      "572.197788061",
      "631.948375335"
    ],
    [
      "689.262139675",
      "1444.605564474"
    ],
    [
      "1216.996741414",
      "1494.124701957"
    ],
    [
      "790.137863691",
      "1235.167500858"
    ],
    [
      "1258.295171454",
      "1284.769439549"
    ],
    [
      "594.828280759",
      "166.746492328"
    ],
    [
      "1575.749751312",
      "1000.691904034"
    ],
    [
      "527.638029734",
      "1039.412452551"
    ],
    [
      "969.188826582",
      "505.331857661"
    ],
    [
      "468.372216342",
      "930.492466491"
    ],
    [
      "458.940997882",
      "1492.697729026"
    ],
    [
      "1036.468455652",
      "1342.550195693"
    ],
    [
      "1268.009227541",
      "525.698585057"
    ],
    [
      "1359.927510834",
      "621.823655652"
    ],
    [
      "897.557633279",
      "1584.269066182"
    ],
    [
      "1169.921598441",
      "1377.975814787"
    ],
    [
      "427.827791611",
      "314.550154811"
    ],
    [
      "1051.399252386",
      "792.653013402"
    ],
    [
      "788.900703619",
      "886.295356765"
    ],
    [
      "1103.996962275",
      "1087.187240234"
    ],
    [
      "1311.975918894",
      "1405.361219345"
    ],
    [
      "1519.554172475",
      "1123.439844625"
    ],
    [
      "459.935440953",
      "172.124388693"
    ],
    [
      "656.518972566",
      "1225.068395221"
    ],
    [
      "1131.468623897",
      "1235.667231505"
    ],
    [
      "594.321984406",
      "1539.169653417"
    ],
    [
      "750.076374387",
      "1571.279709066"
    ],
    [
      "677.323914994",
      "279.859136774"
    ],
    [
      "1028.364271563",
      "374.052511564"
    ],
    [
      "1013.588457136",
      "643.366899614"
    ],
    [
      "1118.510759105",
      "513.442650338"
    ],
    [
      "1141.489546746",
      "154.519868019"
    ],
    [
      "559.499404166",
      "398.207709446"
    ],
    [
      "272.503432986",
      "337.426859604"
    ],
    [
      "894.616151176",
      "766.194381941"
    ],
    [
      "848.019902201",
      "595.437860595"
    ],
    [
      "377.433954937",
      "1054.895860301"
    ],
    [
      "491.095652038",
      "1195.757560604"
    ],
    [
      "679.328046688",
      "529.832541571"
    ],
    [
      "1562.196214655",
      "848.293407833"
    ],
    [
      "624.604336137",
      "914.983606294"
    ],
    [
      "559.670405231",
      "1368.654938331"
    ],
    [
      "325.850591193",
      "664.196727108"
    ],
    [
      "1412.199064778",
      "1266.368580326"
    ],
    [
      "1377.062791876",
      "787.640348084"
    ],
    [
      "391.332470770",
      "480.520045277"
    ],
    [
      "1272.674541930",
      "1127.293393735"
    ],
    [
      "1412.986195138",
      "983.371053646"
    ],
    [
      "494.812431206",
      "767.536598954"
    ],
    [
      "114.469959945",
      "956.170660818"
    ],
    [
      "747.069939763",
      "108.510101092"
    ],
    [
      "1529.062674820",
      "653.085394310"
    ],
    [
      "1056.033953364",
      "1512.427184421"
    ],
    [
      "1198.541785887",
      "686.867085640"
    ],
    [
      "702.272599314",
      "728.512051102"
    ],
    [
      "307.965259569",
      "868.415029210"
    ],
    [
      "949.954056885",
      "1186.713559909"
    ],
    [
      "183.236750364",
      "514.162423014"
    ],
    [
      "762.146509308",
      "1068.339892765"
    ],
    [
      "834.363241292",
      "393.765457919"
    ],
    [
      "946.822345939",
      "195.819758215"
    ],
    [
      "1434.412133414",
      "454.487118860"
    ],
    [
      "200.109301559",
      "1163.381304671"
    ],
    [
      "963.505325265",
      "959.272815987"
    ],
    [
      "124.035681043",
      "735.377778249"
    ],
    [
      "346.651146499",
      "1348.190446896"
    ],
    [
      "1227.657920081",
      "341.097365365"
    ],
    [
      "859.299424813",
      "1399.181763848"
    ],
    [
      "1199.062056231",
      "916.929706153"
    ]
  ],
  "radius": "827.741848039"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 122
}

当前第一名的答案

{
  "centers": [
    [
      "824.156744836",
      "1652.288962530"
    ],
    [
      "801.610861624",
      "677.072703695"
    ],
    [
      "380.595477014",
      "1520.732152313"
    ],
    [
      "1385.550390465",
      "1364.271737076"
    ],
    [
      "7.926072131",
      "786.005558350"
    ],
    [
      "942.329018939",
      "569.680591245"
    ],
    [
      "795.325292454",
      "1647.809753981"
    ],
    [
      "1073.487568870",
      "1163.994913597"
    ],
    [
      "396.971742341",
      "948.563759170"
    ],
    [
      "779.331611145",
      "505.922637785"
    ],
    [
      "836.196397937",
      "17.330619702"
    ],
    [
      "1437.729534524",
      "1093.819871943"
    ],
    [
      "370.148366545",
      "156.826097160"
    ],
    [
      "303.867449828",
      "553.214365108"
    ],
    [
      "182.700634420",
      "858.821478748"
    ],
    [
      "1238.903398938",
      "127.834265993"
    ],
    [
      "891.236770432",
      "1073.704266866"
    ],
    [
      "1628.377220167",
      "938.672755319"
    ],
    [
      "1457.805021927",
      "320.852574420"
    ],
    [
      "1174.597892047",
      "1557.208995086"
    ],
    [
      "659.709189920",
      "1616.698624759"
    ],
    [
      "983.091248316",
      "1618.258684086"
    ],
    [
      "1407.103108271",
      "1386.265912396"
    ],
    [
      "371.010426235",
      "1489.101167673"
    ],
    [
      "1526.310642194",
      "1223.211334125"
    ],
    [
      "165.850662939",
      "375.535494664"
    ],
    [
      "1624.142683857",
      "745.068477950"
    ],
    [
      "624.174794730",
      "1037.153112306"
    ],
    [
      "29.455140692",
      "850.219129279"
    ],
    [
      "1564.168995638",
      "521.215720433"
    ],
    [
      "73.704729069",
      "1084.760118021"
    ],
    [
      "66.331178198",
      "596.582782475"
    ],
    [
      "197.903815761",
      "1312.400038113"
    ],
    [
      "970.894598789",
      "47.448156397"
    ],
    [
      "537.302277487",
      "90.271373346"
    ],
    [
      "1408.896371989",
      "1132.476701831"
    ],
    [
      "1338.537147220",
      "224.118759868"
    ],
    [
      "683.487867963",
      "399.899112889"
    ],
    [
      "609.378495647",
      "69.830745753"
    ],
    [
      "1086.077015527",
      "266.566516270"
    ],
    [
      "799.143833208",
      "243.845280229"
    ],
    [
      "1043.322834264",
      "72.361596003"
    ],
    [
      "357.412485731",
      "1186.548269295"
    ],
    [
      "250.632318308",
      "1011.567521438"
    ],
    [
      "1268.751257273",
      "181.061477504"
    ],
    [
      "884.715040189",
      "48.132773017"
    ],
    [
      "608.863150576",
      "1110.591661205"
    ],
    [
      "700.199755623",
      "1342.187946080"
    ],
    [
      "545.727813574",
      "263.238238432"
    ],
    [
      "343.049170085",
      "219.541134696"
    ],
    [
      "1392.040150052",
      "293.985981711"
    ],
    [
      "532.702666759",
      "533.581026110"
    ],
    [
      "466.531577973",
      "615.106402586"
    ],
    [
      "572.197788061",
      "631.948375335"
    ],
    [
      "689.262139675",
      "1444.605564474"
    ],
    [
      "1216.996741414",
      "1494.124701957"
    ],
    [
      "790.137863691",
      "1235.167500858"
    ],
    [
      "1258.295171454",
      "1284.769439549"
    ],
    [
      "594.828280759",
      "166.746492328"
    ],
    [
      "1575.749751312",
      "1000.691904034"
    ],
    [
      "527.638029734",
      "1039.412452551"
    ],
    [
      "969.188826582",
      "505.331857661"
    ],
    [
      "468.372216342",
      "930.492466491"
    ],
    [
      "458.940997882",
      "1492.697729026"
    ],
    [
      "1036.468455652",
      "1342.550195693"
    ],
    [
      "1268.009227541",
      "525.698585057"
    ],
    [
      "1359.927510834",
      "621.823655652"
    ],
    [
      "897.557633279",
      "1584.269066182"
    ],
    [
      "1169.921598441",
      "1377.975814787"
    ],
    [
      "427.827791611",
      "314.550154811"
    ],
    [
      "1051.399252386",
      "792.653013402"
    ],
    [
      "788.900703619",
      "886.295356765"
    ],
    [
      "1103.996962275",
      "1087.187240234"
    ],
    [
      "1311.975918894",
      "1405.361219345"
    ],
    [
      "1519.554172475",
      "1123.439844625"
    ],
    [
      "459.935440953",
      "172.124388693"
    ],
    [
      "656.518972566",
      "1225.068395221"
    ],
    [
      "1131.468623897",
      "1235.667231505"
    ],
    [
      "594.321984406",
      "1539.169653417"
    ],
    [
      "750.076374387",
      "1571.279709066"
    ],
    [
      "677.323914994",
      "279.859136774"
    ],
    [
      "1028.364271563",
      "374.052511564"
    ],
    [
      "1013.588457136",
      "643.366899614"
    ],
    [
      "1118.510759105",
      "513.442650338"
    ],
    [
      "1141.489546746",
      "154.519868019"
    ],
    [
      "559.499404166",
      "398.207709446"
    ],
    [
      "272.503432986",
      "337.426859604"
    ],
    [
      "894.616151176",
      "766.194381941"
    ],
    [
      "848.019902201",
      "595.437860595"
    ],
    [
      "377.433954937",
      "1054.895860301"
    ],
    [
      "491.095652038",
      "1195.757560604"
    ],
    [
      "679.328046688",
      "529.832541571"
    ],
    [
      "1562.196214655",
      "848.293407833"
    ],
    [
      "624.604336137",
      "914.983606294"
    ],
    [
      "559.670405231",
      "1368.654938331"
    ],
    [
      "325.850591193",
      "664.196727108"
    ],
    [
      "1412.199064778",
      "1266.368580326"
    ],
    [
      "1377.062791876",
      "787.640348084"
    ],
    [
      "391.332470770",
      "480.520045277"
    ],
    [
      "1272.674541930",
      "1127.293393735"
    ],
    [
      "1412.986195138",
      "983.371053646"
    ],
    [
      "494.812431206",
      "767.536598954"
    ],
    [
      "114.469959945",
      "956.170660818"
    ],
    [
      "747.069939763",
      "108.510101092"
    ],
    [
      "1529.062674820",
      "653.085394310"
    ],
    [
      "1056.033953364",
      "1512.427184421"
    ],
    [
      "1198.541785887",
      "686.867085640"
    ],
    [
      "702.272599314",
      "728.512051102"
    ],
    [
      "307.965259569",
      "868.415029210"
    ],
    [
      "949.954056885",
      "1186.713559909"
    ],
    [
      "183.236750364",
      "514.162423014"
    ],
    [
      "762.146509308",
      "1068.339892765"
    ],
    [
      "834.363241292",
      "393.765457919"
    ],
    [
      "946.822345939",
      "195.819758215"
    ],
    [
      "1434.412133414",
      "454.487118860"
    ],
    [
      "200.109301559",
      "1163.381304671"
    ],
    [
      "963.505325265",
      "959.272815987"
    ],
    [
      "124.035681043",
      "735.377778249"
    ],
    [
      "346.651146499",
      "1348.190446896"
    ],
    [
      "1227.657920081",
      "341.097365365"
    ],
    [
      "859.299424813",
      "1399.181763848"
    ],
    [
      "1199.062056231",
      "916.929706153"
    ]
  ],
  "radius": "827.741848039"
}

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

DISCUSSION

讨论区

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