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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1675.507658342y0
0x1675.507658342
已验证构造r = 837.753829171

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "103.972599244",
      "1227.669629564"
    ],
    [
      "470.771835661",
      "467.784053844"
    ],
    [
      "1640.103620869",
      "1024.018025846"
    ],
    [
      "1584.634297972",
      "1190.672554983"
    ],
    [
      "1157.922136161",
      "1604.670967659"
    ],
    [
      "1004.799347341",
      "1112.297972413"
    ],
    [
      "749.819587191",
      "22.060102951"
    ],
    [
      "812.348112361",
      "648.535776467"
    ],
    [
      "262.685082858",
      "911.540425708"
    ],
    [
      "567.187417819",
      "1222.025379188"
    ],
    [
      "1651.481860475",
      "924.222217390"
    ],
    [
      "1637.873113085",
      "643.397128235"
    ],
    [
      "1171.443762290",
      "475.779682987"
    ],
    [
      "1312.992208900",
      "866.504634991"
    ],
    [
      "894.292815357",
      "402.287441552"
    ],
    [
      "813.394751847",
      "1657.084913552"
    ],
    [
      "1410.825032658",
      "499.910189013"
    ],
    [
      "1465.186147468",
      "721.974613048"
    ],
    [
      "314.703557571",
      "207.936169776"
    ],
    [
      "169.875547652",
      "1309.612595627"
    ],
    [
      "517.238955025",
      "1588.987427787"
    ],
    [
      "958.529154890",
      "1644.504232667"
    ],
    [
      "30.954149472",
      "951.323538977"
    ],
    [
      "31.351524152",
      "728.885129145"
    ],
    [
      "1420.282200244",
      "271.089344314"
    ],
    [
      "1265.186588767",
      "147.686192689"
    ],
    [
      "1063.186820601",
      "58.971614499"
    ],
    [
      "261.599845415",
      "858.058323140"
    ],
    [
      "1544.658698701",
      "445.143834348"
    ],
    [
      "1175.901590209",
      "1571.294667136"
    ],
    [
      "340.301378263",
      "1472.885941386"
    ],
    [
      "1371.796221180",
      "1441.109409869"
    ],
    [
      "584.245853704",
      "1109.531302382"
    ],
    [
      "1540.113606289",
      "1228.432076450"
    ],
    [
      "1627.342263601",
      "692.964967508"
    ],
    [
      "1628.622179997",
      "969.411253484"
    ],
    [
      "187.436410407",
      "704.093882540"
    ],
    [
      "1041.730915076",
      "425.977054180"
    ],
    [
      "1017.707407938",
      "601.221265542"
    ],
    [
      "762.097032341",
      "965.173530748"
    ],
    [
      "1297.478246262",
      "383.065288369"
    ],
    [
      "1104.620389036",
      "1394.432544521"
    ],
    [
      "702.354780931",
      "907.555274990"
    ],
    [
      "218.329084350",
      "341.646800287"
    ],
    [
      "105.211268846",
      "539.808329143"
    ],
    [
      "509.166979018",
      "628.592263273"
    ],
    [
      "683.588680508",
      "815.652833150"
    ],
    [
      "533.884811165",
      "1172.972409911"
    ],
    [
      "160.875460827",
      "1241.169766300"
    ],
    [
      "231.087697749",
      "1170.504153437"
    ],
    [
      "450.569031249",
      "705.953448042"
    ],
    [
      "288.940453286",
      "275.425670129"
    ],
    [
      "855.002420671",
      "969.367433381"
    ],
    [
      "433.505579215",
      "1195.158599455"
    ],
    [
      "813.444774999",
      "55.377559743"
    ],
    [
      "334.251983821",
      "1146.149891397"
    ],
    [
      "487.681677275",
      "527.852981445"
    ],
    [
      "338.725915803",
      "896.105258193"
    ],
    [
      "561.374974111",
      "109.693217049"
    ],
    [
      "81.054802040",
      "1017.496982385"
    ],
    [
      "1007.897839924",
      "1180.839803539"
    ],
    [
      "880.554500457",
      "1612.326037561"
    ],
    [
      "600.112889883",
      "1575.161640214"
    ],
    [
      "123.030909972",
      "1134.176056622"
    ],
    [
      "810.367485001",
      "1326.014972802"
    ],
    [
      "174.775480923",
      "442.781071991"
    ],
    [
      "795.478279828",
      "1073.616850316"
    ],
    [
      "798.178272298",
      "572.171562947"
    ],
    [
      "386.616779532",
      "604.414738671"
    ],
    [
      "91.795443845",
      "656.116747141"
    ],
    [
      "590.103974163",
      "887.661648370"
    ],
    [
      "690.275818524",
      "86.335727670"
    ],
    [
      "1097.073994500",
      "522.196301527"
    ],
    [
      "938.564282188",
      "1065.004326366"
    ],
    [
      "455.184864522",
      "831.868872370"
    ],
    [
      "867.566267472",
      "1197.137902367"
    ],
    [
      "736.166654501",
      "703.242380669"
    ],
    [
      "1381.576826037",
      "929.426404353"
    ],
    [
      "741.339663883",
      "1589.960231557"
    ],
    [
      "656.975041525",
      "1023.047247124"
    ],
    [
      "808.619698587",
      "843.650914609"
    ],
    [
      "580.364744561",
      "734.971938805"
    ],
    [
      "519.324418366",
      "1303.160715693"
    ],
    [
      "851.242238775",
      "1469.298797794"
    ],
    [
      "803.425562858",
      "195.175680617"
    ],
    [
      "634.669000376",
      "234.805109828"
    ],
    [
      "231.816787769",
      "585.102500292"
    ],
    [
      "1308.271360410",
      "254.083384342"
    ],
    [
      "936.817189439",
      "498.494900057"
    ],
    [
      "1102.536268993",
      "1061.973230280"
    ],
    [
      "952.500653910",
      "99.868711017"
    ],
    [
      "553.534424772",
      "393.240428935"
    ],
    [
      "310.082978584",
      "747.196310713"
    ],
    [
      "1432.254611929",
      "390.832608255"
    ],
    [
      "635.360362788",
      "563.870042053"
    ],
    [
      "1161.548004350",
      "365.978178195"
    ],
    [
      "972.355668608",
      "1334.790295771"
    ],
    [
      "1207.141117206",
      "903.849728425"
    ],
    [
      "470.184330013",
      "1478.401269553"
    ],
    [
      "241.030578664",
      "1020.281025173"
    ],
    [
      "913.987307275",
      "695.253923266"
    ],
    [
      "1293.010547750",
      "1086.129991902"
    ],
    [
      "1237.318154305",
      "1452.968985316"
    ],
    [
      "1136.468830341",
      "167.556820898"
    ],
    [
      "1343.267273565",
      "750.481222273"
    ],
    [
      "667.680655774",
      "1420.256517598"
    ],
    [
      "684.886100801",
      "1207.952554701"
    ],
    [
      "440.899912898",
      "225.342512879"
    ],
    [
      "967.091939011",
      "299.335736862"
    ],
    [
      "1162.710239020",
      "1253.462947827"
    ],
    [
      "998.510511560",
      "889.985899949"
    ],
    [
      "352.275850181",
      "426.702328941"
    ],
    [
      "1037.295279423",
      "1534.497198374"
    ],
    [
      "1128.729559850",
      "706.497482160"
    ],
    [
      "1284.364573802",
      "538.513130411"
    ],
    [
      "761.764371137",
      "391.810736261"
    ],
    [
      "117.567769455",
      "841.332262787"
    ],
    [
      "458.983080918",
      "1024.831494535"
    ],
    [
      "1512.564227318",
      "590.290713739"
    ],
    [
      "1514.783602829",
      "1076.078561829"
    ],
    [
      "1554.474897831",
      "830.900992555"
    ],
    [
      "311.286941727",
      "1322.662233294"
    ],
    [
      "1393.196851181",
      "1287.593895878"
    ]
  ],
  "radius": "837.753829171"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 123
}

当前第一名的答案

{
  "centers": [
    [
      "103.972599244",
      "1227.669629564"
    ],
    [
      "470.771835661",
      "467.784053844"
    ],
    [
      "1640.103620869",
      "1024.018025846"
    ],
    [
      "1584.634297972",
      "1190.672554983"
    ],
    [
      "1157.922136161",
      "1604.670967659"
    ],
    [
      "1004.799347341",
      "1112.297972413"
    ],
    [
      "749.819587191",
      "22.060102951"
    ],
    [
      "812.348112361",
      "648.535776467"
    ],
    [
      "262.685082858",
      "911.540425708"
    ],
    [
      "567.187417819",
      "1222.025379188"
    ],
    [
      "1651.481860475",
      "924.222217390"
    ],
    [
      "1637.873113085",
      "643.397128235"
    ],
    [
      "1171.443762290",
      "475.779682987"
    ],
    [
      "1312.992208900",
      "866.504634991"
    ],
    [
      "894.292815357",
      "402.287441552"
    ],
    [
      "813.394751847",
      "1657.084913552"
    ],
    [
      "1410.825032658",
      "499.910189013"
    ],
    [
      "1465.186147468",
      "721.974613048"
    ],
    [
      "314.703557571",
      "207.936169776"
    ],
    [
      "169.875547652",
      "1309.612595627"
    ],
    [
      "517.238955025",
      "1588.987427787"
    ],
    [
      "958.529154890",
      "1644.504232667"
    ],
    [
      "30.954149472",
      "951.323538977"
    ],
    [
      "31.351524152",
      "728.885129145"
    ],
    [
      "1420.282200244",
      "271.089344314"
    ],
    [
      "1265.186588767",
      "147.686192689"
    ],
    [
      "1063.186820601",
      "58.971614499"
    ],
    [
      "261.599845415",
      "858.058323140"
    ],
    [
      "1544.658698701",
      "445.143834348"
    ],
    [
      "1175.901590209",
      "1571.294667136"
    ],
    [
      "340.301378263",
      "1472.885941386"
    ],
    [
      "1371.796221180",
      "1441.109409869"
    ],
    [
      "584.245853704",
      "1109.531302382"
    ],
    [
      "1540.113606289",
      "1228.432076450"
    ],
    [
      "1627.342263601",
      "692.964967508"
    ],
    [
      "1628.622179997",
      "969.411253484"
    ],
    [
      "187.436410407",
      "704.093882540"
    ],
    [
      "1041.730915076",
      "425.977054180"
    ],
    [
      "1017.707407938",
      "601.221265542"
    ],
    [
      "762.097032341",
      "965.173530748"
    ],
    [
      "1297.478246262",
      "383.065288369"
    ],
    [
      "1104.620389036",
      "1394.432544521"
    ],
    [
      "702.354780931",
      "907.555274990"
    ],
    [
      "218.329084350",
      "341.646800287"
    ],
    [
      "105.211268846",
      "539.808329143"
    ],
    [
      "509.166979018",
      "628.592263273"
    ],
    [
      "683.588680508",
      "815.652833150"
    ],
    [
      "533.884811165",
      "1172.972409911"
    ],
    [
      "160.875460827",
      "1241.169766300"
    ],
    [
      "231.087697749",
      "1170.504153437"
    ],
    [
      "450.569031249",
      "705.953448042"
    ],
    [
      "288.940453286",
      "275.425670129"
    ],
    [
      "855.002420671",
      "969.367433381"
    ],
    [
      "433.505579215",
      "1195.158599455"
    ],
    [
      "813.444774999",
      "55.377559743"
    ],
    [
      "334.251983821",
      "1146.149891397"
    ],
    [
      "487.681677275",
      "527.852981445"
    ],
    [
      "338.725915803",
      "896.105258193"
    ],
    [
      "561.374974111",
      "109.693217049"
    ],
    [
      "81.054802040",
      "1017.496982385"
    ],
    [
      "1007.897839924",
      "1180.839803539"
    ],
    [
      "880.554500457",
      "1612.326037561"
    ],
    [
      "600.112889883",
      "1575.161640214"
    ],
    [
      "123.030909972",
      "1134.176056622"
    ],
    [
      "810.367485001",
      "1326.014972802"
    ],
    [
      "174.775480923",
      "442.781071991"
    ],
    [
      "795.478279828",
      "1073.616850316"
    ],
    [
      "798.178272298",
      "572.171562947"
    ],
    [
      "386.616779532",
      "604.414738671"
    ],
    [
      "91.795443845",
      "656.116747141"
    ],
    [
      "590.103974163",
      "887.661648370"
    ],
    [
      "690.275818524",
      "86.335727670"
    ],
    [
      "1097.073994500",
      "522.196301527"
    ],
    [
      "938.564282188",
      "1065.004326366"
    ],
    [
      "455.184864522",
      "831.868872370"
    ],
    [
      "867.566267472",
      "1197.137902367"
    ],
    [
      "736.166654501",
      "703.242380669"
    ],
    [
      "1381.576826037",
      "929.426404353"
    ],
    [
      "741.339663883",
      "1589.960231557"
    ],
    [
      "656.975041525",
      "1023.047247124"
    ],
    [
      "808.619698587",
      "843.650914609"
    ],
    [
      "580.364744561",
      "734.971938805"
    ],
    [
      "519.324418366",
      "1303.160715693"
    ],
    [
      "851.242238775",
      "1469.298797794"
    ],
    [
      "803.425562858",
      "195.175680617"
    ],
    [
      "634.669000376",
      "234.805109828"
    ],
    [
      "231.816787769",
      "585.102500292"
    ],
    [
      "1308.271360410",
      "254.083384342"
    ],
    [
      "936.817189439",
      "498.494900057"
    ],
    [
      "1102.536268993",
      "1061.973230280"
    ],
    [
      "952.500653910",
      "99.868711017"
    ],
    [
      "553.534424772",
      "393.240428935"
    ],
    [
      "310.082978584",
      "747.196310713"
    ],
    [
      "1432.254611929",
      "390.832608255"
    ],
    [
      "635.360362788",
      "563.870042053"
    ],
    [
      "1161.548004350",
      "365.978178195"
    ],
    [
      "972.355668608",
      "1334.790295771"
    ],
    [
      "1207.141117206",
      "903.849728425"
    ],
    [
      "470.184330013",
      "1478.401269553"
    ],
    [
      "241.030578664",
      "1020.281025173"
    ],
    [
      "913.987307275",
      "695.253923266"
    ],
    [
      "1293.010547750",
      "1086.129991902"
    ],
    [
      "1237.318154305",
      "1452.968985316"
    ],
    [
      "1136.468830341",
      "167.556820898"
    ],
    [
      "1343.267273565",
      "750.481222273"
    ],
    [
      "667.680655774",
      "1420.256517598"
    ],
    [
      "684.886100801",
      "1207.952554701"
    ],
    [
      "440.899912898",
      "225.342512879"
    ],
    [
      "967.091939011",
      "299.335736862"
    ],
    [
      "1162.710239020",
      "1253.462947827"
    ],
    [
      "998.510511560",
      "889.985899949"
    ],
    [
      "352.275850181",
      "426.702328941"
    ],
    [
      "1037.295279423",
      "1534.497198374"
    ],
    [
      "1128.729559850",
      "706.497482160"
    ],
    [
      "1284.364573802",
      "538.513130411"
    ],
    [
      "761.764371137",
      "391.810736261"
    ],
    [
      "117.567769455",
      "841.332262787"
    ],
    [
      "458.983080918",
      "1024.831494535"
    ],
    [
      "1512.564227318",
      "590.290713739"
    ],
    [
      "1514.783602829",
      "1076.078561829"
    ],
    [
      "1554.474897831",
      "830.900992555"
    ],
    [
      "311.286941727",
      "1322.662233294"
    ],
    [
      "1393.196851181",
      "1287.593895878"
    ]
  ],
  "radius": "837.753829171"
}

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

DISCUSSION

讨论区

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