P87 · Packing and covering · Classic · Medium

Equal discs covering a disc · n = 80

Cover the largest possible disc with n unit-radius discs. Maximise the covered disc radius.

Instancen = 80

ObjectiveMaximize covered disc radius

Record comparison

covered disc radius · Higher is better

Record	Value / interval	Author / holder	Source
External best known	—	—	No reference listed
Site record	7.702804837	int3	Record details ↓

Formal definition

ContainerThe editor and certificate normalise the target disc to the closed unit disc centred at (1,1), while public scores are reported in the literature's unit-covering-disc scale.
SubmissionSubmit {radius, placements:[{x,y,turn},…]}, with each value written as a decimal string of at most nine places. Here x, y are centre coordinates; circles require turn = 0 and polygons use turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.
ConstraintsThe n distinct centres lie inside the target disc. Covering discs may overlap and protrude, and their union must cover every point of the target disc.
PrecisionInput decimals are parsed as exact rationals, with zero floating-point tolerance in feasibility checks.
ObjectiveCovered disc radius R = 1/r, where larger is better.

Challenge this record ↗

Layout shown: site record

VERIFIED CONSTRUCTIONVERIFIED CONSTRUCTION

Getting a feel for it

Literature targets and coordinate certificates

Literature targets are converted at their published precision, while nine-decimal coordinate certificates are stored and displayed alongside the source values.

Source

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderint3

Solution methodAI · Google: Gemini 3.8 Flash

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 noteNo solver note yet (expand)＋

The record holder has not shared a solver note yet.

Record history (6 changes)

int3AI · Google: Gemini 3.8 Flash
7.699137952→7.702804837
2026-10-14
int3AI · Google: Gemini 3.8 Flash
7.692304911→7.699137952
2026-10-13
matrixfangAI · OpenAI: GPT-6.1 Sol
7.691467369→7.692304911
2026-10-12
pikachu345AI · OpenAI: GPT-6 Astra
7.69146731→7.691467369
2026-10-05
pikachu345AI · OpenAI: GPT-6 Astra
7.691459028→7.69146731
2026-10-05
pikachu345AI · OpenAI: GPT-6 Astra
7.668997832→7.691459028
2026-10-05

ANSWER FORMAT

How to write your answer

the closed unit disc centred at (1,1)

Submit {radius, placements:[{x,y,turn},…]}, with each value written as a decimal string of at most nine places. Here x, y are centre coordinates; circles require turn = 0 and polygons use turn = tan(θ/2). Coordinates and turn must lie in [−4, 4], with 0 < radius ≤ 4.

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "0.955331572",
      "y": "1.114086947"
    },
    {
      "turn": "0",
      "x": "1.160861517",
      "y": "1.062982168"
    },
    {
      "turn": "0",
      "x": "1.081275393",
      "y": "1.291142254"
    },
    {
      "turn": "0",
      "x": "0.742652285",
      "y": "1.158561198"
    },
    {
      "turn": "0",
      "x": "0.868596104",
      "y": "1.335616521"
    },
    {
      "turn": "0",
      "x": "1.373540754",
      "y": "1.018507826"
    },
    {
      "turn": "0",
      "x": "1.286805339",
      "y": "1.240037474"
    },
    {
      "turn": "0",
      "x": "1.002616050",
      "y": "1.512104411"
    },
    {
      "turn": "0",
      "x": "1.207804936",
      "y": "1.468173405"
    },
    {
      "turn": "0",
      "x": "0.650372927",
      "y": "1.374190721"
    },
    {
      "turn": "0",
      "x": "1.499484581",
      "y": "1.195563119"
    },
    {
      "turn": "0",
      "x": "0.529559475",
      "y": "1.202620044"
    },
    {
      "turn": "0",
      "x": "0.784392872",
      "y": "1.550678612"
    },
    {
      "turn": "0",
      "x": "1.586633626",
      "y": "0.974448912"
    },
    {
      "turn": "0",
      "x": "1.413334887",
      "y": "1.417068612"
    },
    {
      "turn": "0",
      "x": "1.136318692",
      "y": "1.693844372"
    },
    {
      "turn": "0",
      "x": "0.936868974",
      "y": "1.723930688"
    },
    {
      "turn": "0",
      "x": "1.680628709",
      "y": "0.750480793"
    },
    {
      "turn": "0",
      "x": "1.330273503",
      "y": "1.645317578"
    },
    {
      "turn": "0",
      "x": "0.428816671",
      "y": "1.416836225"
    },
    {
      "turn": "0",
      "x": "0.554816959",
      "y": "1.574345938"
    },
    {
      "turn": "0",
      "x": "1.708553662",
      "y": "1.160714199"
    },
    {
      "turn": "0",
      "x": "1.629313377",
      "y": "1.363100583"
    },
    {
      "turn": "0",
      "x": "0.707293061",
      "y": "1.747598015"
    },
    {
      "turn": "0",
      "x": "1.790012441",
      "y": "0.942187998"
    },
    {
      "turn": "0",
      "x": "1.540743303",
      "y": "1.578842542"
    },
    {
      "turn": "0",
      "x": "1.266293896",
      "y": "1.879114114"
    },
    {
      "turn": "0",
      "x": "0.322185769",
      "y": "1.621897676"
    },
    {
      "turn": "0",
      "x": "0.876832352",
      "y": "1.915290781"
    },
    {
      "turn": "0",
      "x": "1.878932845",
      "y": "0.713657747"
    },
    {
      "turn": "0",
      "x": "0.207600335",
      "y": "1.464603981"
    },
    {
      "turn": "0",
      "x": "1.450858728",
      "y": "1.806995265"
    },
    {
      "turn": "0",
      "x": "1.855954702",
      "y": "1.335131731"
    },
    {
      "turn": "0",
      "x": "0.468964664",
      "y": "1.755598433"
    },
    {
      "turn": "0",
      "x": "1.908328142",
      "y": "1.146938301"
    },
    {
      "turn": "0",
      "x": "1.766626476",
      "y": "1.508856232"
    },
    {
      "turn": "0",
      "x": "0.638503956",
      "y": "1.923291199"
    },
    {
      "turn": "0",
      "x": "1.974343267",
      "y": "0.926057828"
    },
    {
      "turn": "0",
      "x": "1.665119829",
      "y": "1.715840730"
    },
    {
      "turn": "0",
      "x": "1.075371193",
      "y": "1.916792238"
    },
    {
      "turn": "0",
      "x": "1.044668405",
      "y": "0.885913247"
    },
    {
      "turn": "0",
      "x": "0.839138477",
      "y": "0.937017998"
    },
    {
      "turn": "0",
      "x": "0.918724609",
      "y": "0.708857907"
    },
    {
      "turn": "0",
      "x": "1.257347641",
      "y": "0.841438906"
    },
    {
      "turn": "0",
      "x": "1.131403827",
      "y": "0.664383599"
    },
    {
      "turn": "0",
      "x": "0.626459211",
      "y": "0.981492198"
    },
    {
      "turn": "0",
      "x": "0.713194700",
      "y": "0.759962610"
    },
    {
      "turn": "0",
      "x": "0.997383929",
      "y": "0.487895683"
    },
    {
      "turn": "0",
      "x": "0.792195121",
      "y": "0.531826674"
    },
    {
      "turn": "0",
      "x": "1.349626984",
      "y": "0.625809352"
    },
    {
      "turn": "0",
      "x": "0.500515414",
      "y": "0.804436861"
    },
    {
      "turn": "0",
      "x": "1.470440508",
      "y": "0.797380005"
    },
    {
      "turn": "0",
      "x": "1.215607071",
      "y": "0.449321474"
    },
    {
      "turn": "0",
      "x": "0.413366382",
      "y": "1.025551092"
    },
    {
      "turn": "0",
      "x": "0.586665192",
      "y": "0.582931428"
    },
    {
      "turn": "0",
      "x": "0.863681311",
      "y": "0.306155662"
    },
    {
      "turn": "0",
      "x": "1.063131028",
      "y": "0.276069363"
    },
    {
      "turn": "0",
      "x": "0.319371221",
      "y": "1.249519143"
    },
    {
      "turn": "0",
      "x": "0.669726588",
      "y": "0.354682457"
    },
    {
      "turn": "0",
      "x": "1.571183227",
      "y": "0.583163798"
    },
    {
      "turn": "0",
      "x": "1.445182978",
      "y": "0.425654112"
    },
    {
      "turn": "0",
      "x": "0.291446396",
      "y": "0.839285724"
    },
    {
      "turn": "0",
      "x": "0.370686652",
      "y": "0.636899360"
    },
    {
      "turn": "0",
      "x": "1.292706924",
      "y": "0.252402045"
    },
    {
      "turn": "0",
      "x": "0.209987528",
      "y": "1.057811879"
    },
    {
      "turn": "0",
      "x": "0.459256805",
      "y": "0.421157452"
    },
    {
      "turn": "0",
      "x": "0.733706198",
      "y": "0.120885866"
    },
    {
      "turn": "0",
      "x": "1.677814157",
      "y": "0.378102324"
    },
    {
      "turn": "0",
      "x": "1.123167678",
      "y": "0.084709242"
    },
    {
      "turn": "0",
      "x": "0.121067101",
      "y": "1.286342116"
    },
    {
      "turn": "0",
      "x": "1.792399576",
      "y": "0.535395939"
    },
    {
      "turn": "0",
      "x": "0.549141438",
      "y": "0.193004727"
    },
    {
      "turn": "0",
      "x": "0.144045349",
      "y": "0.664868122"
    },
    {
      "turn": "0",
      "x": "1.531035325",
      "y": "0.244401590"
    },
    {
      "turn": "0",
      "x": "0.091671885",
      "y": "0.853061548"
    },
    {
      "turn": "0",
      "x": "0.233373598",
      "y": "0.491143600"
    },
    {
      "turn": "0",
      "x": "1.361496054",
      "y": "0.076708836"
    },
    {
      "turn": "0",
      "x": "0.025656706",
      "y": "1.073942010"
    },
    {
      "turn": "0",
      "x": "0.334880349",
      "y": "0.284159151"
    },
    {
      "turn": "0",
      "x": "0.924628877",
      "y": "0.083207789"
    }
  ],
  "radius": "0.129822840"
}

Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 80,
  "sides": 5
}

The current leader's answer

{
  "placements": [
    {
      "turn": "0",
      "x": "0.955331572",
      "y": "1.114086947"
    },
    {
      "turn": "0",
      "x": "1.160861517",
      "y": "1.062982168"
    },
    {
      "turn": "0",
      "x": "1.081275393",
      "y": "1.291142254"
    },
    {
      "turn": "0",
      "x": "0.742652285",
      "y": "1.158561198"
    },
    {
      "turn": "0",
      "x": "0.868596104",
      "y": "1.335616521"
    },
    {
      "turn": "0",
      "x": "1.373540754",
      "y": "1.018507826"
    },
    {
      "turn": "0",
      "x": "1.286805339",
      "y": "1.240037474"
    },
    {
      "turn": "0",
      "x": "1.002616050",
      "y": "1.512104411"
    },
    {
      "turn": "0",
      "x": "1.207804936",
      "y": "1.468173405"
    },
    {
      "turn": "0",
      "x": "0.650372927",
      "y": "1.374190721"
    },
    {
      "turn": "0",
      "x": "1.499484581",
      "y": "1.195563119"
    },
    {
      "turn": "0",
      "x": "0.529559475",
      "y": "1.202620044"
    },
    {
      "turn": "0",
      "x": "0.784392872",
      "y": "1.550678612"
    },
    {
      "turn": "0",
      "x": "1.586633626",
      "y": "0.974448912"
    },
    {
      "turn": "0",
      "x": "1.413334887",
      "y": "1.417068612"
    },
    {
      "turn": "0",
      "x": "1.136318692",
      "y": "1.693844372"
    },
    {
      "turn": "0",
      "x": "0.936868974",
      "y": "1.723930688"
    },
    {
      "turn": "0",
      "x": "1.680628709",
      "y": "0.750480793"
    },
    {
      "turn": "0",
      "x": "1.330273503",
      "y": "1.645317578"
    },
    {
      "turn": "0",
      "x": "0.428816671",
      "y": "1.416836225"
    },
    {
      "turn": "0",
      "x": "0.554816959",
      "y": "1.574345938"
    },
    {
      "turn": "0",
      "x": "1.708553662",
      "y": "1.160714199"
    },
    {
      "turn": "0",
      "x": "1.629313377",
      "y": "1.363100583"
    },
    {
      "turn": "0",
      "x": "0.707293061",
      "y": "1.747598015"
    },
    {
      "turn": "0",
      "x": "1.790012441",
      "y": "0.942187998"
    },
    {
      "turn": "0",
      "x": "1.540743303",
      "y": "1.578842542"
    },
    {
      "turn": "0",
      "x": "1.266293896",
      "y": "1.879114114"
    },
    {
      "turn": "0",
      "x": "0.322185769",
      "y": "1.621897676"
    },
    {
      "turn": "0",
      "x": "0.876832352",
      "y": "1.915290781"
    },
    {
      "turn": "0",
      "x": "1.878932845",
      "y": "0.713657747"
    },
    {
      "turn": "0",
      "x": "0.207600335",
      "y": "1.464603981"
    },
    {
      "turn": "0",
      "x": "1.450858728",
      "y": "1.806995265"
    },
    {
      "turn": "0",
      "x": "1.855954702",
      "y": "1.335131731"
    },
    {
      "turn": "0",
      "x": "0.468964664",
      "y": "1.755598433"
    },
    {
      "turn": "0",
      "x": "1.908328142",
      "y": "1.146938301"
    },
    {
      "turn": "0",
      "x": "1.766626476",
      "y": "1.508856232"
    },
    {
      "turn": "0",
      "x": "0.638503956",
      "y": "1.923291199"
    },
    {
      "turn": "0",
      "x": "1.974343267",
      "y": "0.926057828"
    },
    {
      "turn": "0",
      "x": "1.665119829",
      "y": "1.715840730"
    },
    {
      "turn": "0",
      "x": "1.075371193",
      "y": "1.916792238"
    },
    {
      "turn": "0",
      "x": "1.044668405",
      "y": "0.885913247"
    },
    {
      "turn": "0",
      "x": "0.839138477",
      "y": "0.937017998"
    },
    {
      "turn": "0",
      "x": "0.918724609",
      "y": "0.708857907"
    },
    {
      "turn": "0",
      "x": "1.257347641",
      "y": "0.841438906"
    },
    {
      "turn": "0",
      "x": "1.131403827",
      "y": "0.664383599"
    },
    {
      "turn": "0",
      "x": "0.626459211",
      "y": "0.981492198"
    },
    {
      "turn": "0",
      "x": "0.713194700",
      "y": "0.759962610"
    },
    {
      "turn": "0",
      "x": "0.997383929",
      "y": "0.487895683"
    },
    {
      "turn": "0",
      "x": "0.792195121",
      "y": "0.531826674"
    },
    {
      "turn": "0",
      "x": "1.349626984",
      "y": "0.625809352"
    },
    {
      "turn": "0",
      "x": "0.500515414",
      "y": "0.804436861"
    },
    {
      "turn": "0",
      "x": "1.470440508",
      "y": "0.797380005"
    },
    {
      "turn": "0",
      "x": "1.215607071",
      "y": "0.449321474"
    },
    {
      "turn": "0",
      "x": "0.413366382",
      "y": "1.025551092"
    },
    {
      "turn": "0",
      "x": "0.586665192",
      "y": "0.582931428"
    },
    {
      "turn": "0",
      "x": "0.863681311",
      "y": "0.306155662"
    },
    {
      "turn": "0",
      "x": "1.063131028",
      "y": "0.276069363"
    },
    {
      "turn": "0",
      "x": "0.319371221",
      "y": "1.249519143"
    },
    {
      "turn": "0",
      "x": "0.669726588",
      "y": "0.354682457"
    },
    {
      "turn": "0",
      "x": "1.571183227",
      "y": "0.583163798"
    },
    {
      "turn": "0",
      "x": "1.445182978",
      "y": "0.425654112"
    },
    {
      "turn": "0",
      "x": "0.291446396",
      "y": "0.839285724"
    },
    {
      "turn": "0",
      "x": "0.370686652",
      "y": "0.636899360"
    },
    {
      "turn": "0",
      "x": "1.292706924",
      "y": "0.252402045"
    },
    {
      "turn": "0",
      "x": "0.209987528",
      "y": "1.057811879"
    },
    {
      "turn": "0",
      "x": "0.459256805",
      "y": "0.421157452"
    },
    {
      "turn": "0",
      "x": "0.733706198",
      "y": "0.120885866"
    },
    {
      "turn": "0",
      "x": "1.677814157",
      "y": "0.378102324"
    },
    {
      "turn": "0",
      "x": "1.123167678",
      "y": "0.084709242"
    },
    {
      "turn": "0",
      "x": "0.121067101",
      "y": "1.286342116"
    },
    {
      "turn": "0",
      "x": "1.792399576",
      "y": "0.535395939"
    },
    {
      "turn": "0",
      "x": "0.549141438",
      "y": "0.193004727"
    },
    {
      "turn": "0",
      "x": "0.144045349",
      "y": "0.664868122"
    },
    {
      "turn": "0",
      "x": "1.531035325",
      "y": "0.244401590"
    },
    {
      "turn": "0",
      "x": "0.091671885",
      "y": "0.853061548"
    },
    {
      "turn": "0",
      "x": "0.233373598",
      "y": "0.491143600"
    },
    {
      "turn": "0",
      "x": "1.361496054",
      "y": "0.076708836"
    },
    {
      "turn": "0",
      "x": "0.025656706",
      "y": "1.073942010"
    },
    {
      "turn": "0",
      "x": "0.334880349",
      "y": "0.284159151"
    },
    {
      "turn": "0",
      "x": "0.924628877",
      "y": "0.083207789"
    }
  ],
  "radius": "0.129822840"
}

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.

No threads yet. Start the first discussion.