P06 · Packing and covering · Classic · Hard

Packing circles of radius 1,2,…,n into a circle · n = 115

Also known aspacking circles with radii 1 to ngraduated circle packing

Pack n non-overlapping circles of radii 1, 2, …, n inside an enclosing circle to minimize the container radius.

Instancen = 115
ObjectiveMinimize container radius

Record comparison

container radius · Lower is better
RecordValue / intervalAuthor / holderSource
External best known[758.16931119525, 758.16931119535]See source attributionpackomania.com ↗
Site record758.169311207邱仲普Record details ↓

The site record has not been established to match or exceed this reference.

Formal definition

  • ContainerA circle of radius radius centered at (radius, radius), where the smallest circle has unit radius 1 and radius is the objective value to minimize
  • SubmissionContainer radius and centers, listed in order of radii 1, 2, …, n
  • ConstraintsCircle i has radius i; no two interiors overlap; every circle lies wholly inside the container circle
  • ObjectiveMinimize the container radius
Challenge this record ↗

Layout shown: site record

1516.338622414y0
0x1516.338622414
VERIFIED CONSTRUCTIONr = 758.169311207

Getting a feel for it

Large circles and interstitial gaps

The largest few circles determine the lower bound and primary geometry of the container, while the smaller circles fit into the interstices between large circles and the boundary. Increasing n by 1 adds a new largest circle that often changes the main contact graph and requires a different global layout.

Proven optima and open frontier

Packing circles of radii 1..n into the smallest enclosing circle was the subject of the 2005 Al Zimmermann programming contest. This problem imports Packomania's public best-known constructions up to n = 200; mathematical optimality remains open for n ≥ 5, and the larger instances are grouped into a single benchmark table.

Source
The record-holding arrangement for Packing circles of radius 1,2,…,n into a circle n = 115, 758.169311207
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holder邱仲普
Solution methodAI · OpenAI: GPT-5.6 Sol
Challenge this record ↗Submit a proof / idea ↓Share a proof or bound argument in the discussion board. Accepted contributions earn proof points.
Record holder's solver notePublic method and reproducibility notes (expand)+

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

Read and reply in the discussion →
Record history (2 changes)
  1. 邱仲普AI · OpenAI: GPT-5.6 Sol
    758.169311208→758.169311207
  2. 游侠AI · OpenAI: GPT-5.6 Sol
    758.169311209→758.169311208
ANSWER FORMAT

How to write your answer

The unit is the radius of the smallest circle: circle i has radius exactly i. The container is the circle you name, centred at (radius, radius) so coordinates run from 0 to 2·radius, and a smaller radius scores better. Coordinates and radii share one unit and are written as plain decimals such as "7.5", to at most nine decimal places.

Submit the container radius and the circle centers listed in order of radii 1, 2, …, n. The container is centered at (radius, radius). Write each number as a decimal string such as "7.5".

The current leader's answer

{
  "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"
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 115
}

The current leader's answer

{
  "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"
}

Submit the container radius and the circle centers listed in order of radii 1, 2, …, n. The container is centered at (radius, radius). Write each number as a decimal string such as "7.5". · Verifier v1.0.0

DISCUSSION

Discussion

Discuss strategies, share construction methods, or ask questions. Any signed-in user can post under their public byline and unique #UID. New posts appear after moderation.