40

You want to prepare a pizza of 12 flavors. You have 12 oddly-shaped pieces of cheese that you decide to use for the pizza. The shapes happen to be ...

Oh, well, forget it! This isn't going to be even remotely realistic. So here is the problem:

I was playing with pentominoes and figured you can pack them nicely in a circle of radius 5.

enter image description here

This immediately cries for the question: Is this optimal? If not, what is the radius of the smallest circle that can accommodate all 12 pentominoes inside without overlap? Show an arrangement that minimizes the radius.

Spoiler alert: the picture above is not optimal.

Scoreboard:
4.84323 loopy wait
4.86594 Florian F
4.88966 Ravi Fernando
4.92443 Daniel Mathias
4.94975 cap
4.98189 Franciszek Remin

Florian F
  • 29,623
  • 4
  • 63
  • 138

6 Answers6

19

UPDATE 2

A minor improvement. New best radius

4.84323

Arrangement

enter image description here

/UPDATE 2

UPDATE

New best radius:

4.8487

using arrangement

enter image description here

/UPDATE

I get a radius of about

4.866

using the following scheme

enter image description here

which is obviously heavily indebted to Ravi Fernando's. The improvement is in the left half.

loopy walt
  • 21,184
  • 33
  • 95
14

I can get a radius of:

$\sqrt{\frac{149487}{2} - 975 \sqrt{5873}} \approx 4.88739$.

Method: start with

the following modification of cap's answer (thanks also to Jaap Scherphuis's comment):

enter image description here

and then

shift the rightmost three pentominoes up by $c = \frac{77 - \sqrt{5873}}{2} \approx 0.18225$ units.

The resulting figure has circumcenter located $\frac{7c-c^2}{14} = \frac{5\sqrt{5873} - 383}{2} \approx 0.08875$ units left of the center of the middle square; it intersects the circumcircle at the northwest, southwest, and southeast corners, as well as the corner at top of the eastern edge.

EDIT: I found a second solution with the slightly worse radius

$\sqrt{12110 - 480 \sqrt{634}} \approx 4.88966$.

Method: start with

the following configuration inspired by Daniel Mathias's answer, with four half-square-unit holes:

enter image description here

and then

shift the four rightmost pentominoes up by $c = \sqrt{634} - 25 \approx 0.17936$ units.

The resulting figure has circumcenter $\frac{4c - c^2}{18} = \frac{6 \sqrt{634} - 151}{2} \approx 0.03807$ units left of the center of the middle square; it touches its circumcircle at the top and bottom of the left edge, the bottom of the right edge, and the top corner of the X-pentomino. Note that the four pentominoes in the middle don't touch the circumcircle, so they have a little room to wiggle up and down.

I found both of these with the help of

https://cemulate.github.io/polyomino-solver/ to place the pentominoes, and WolframAlpha for coordinate calculations.

Ravi Fernando
  • 241
  • 1
  • 6
  • 5
    While I congratulate all of you for your efforts, I am a bit embarrassed to announce that this still does not match the best solution I know. But you start to be really close. – Florian F Aug 28 '22 at 22:25
  • 2
    That's great! Really fun problem, I'm looking forward to seeing what further twists it's hiding. – Ravi Fernando Aug 28 '22 at 23:07
  • FYI I found another good arrangement, which is unfortunately very slightly worse than my first. I've added it to my answer in case anyone else can gain some insight from it. – Ravi Fernando Sep 15 '22 at 06:18
10

The radius of the smallest pizza that can accommodate all 12 cheeses is

$\sqrt{3.5^2 + 3.5^2} \approx 4.95$

The cheeses can be arranged like this:

enter image description here (There is square unit of tomato sauce with no cheese on the right)

caPNCApn
  • 19,113
  • 1
  • 63
  • 96
8

The smallest radius is (apparently less than)

$\frac12\sqrt{9^2+4^2}=\frac12\sqrt{97}\approx4.9244$

One such arrangement is shown here:

Pentomino Pizza

Daniel Mathias
  • 14,926
  • 2
  • 30
  • 62
  • 5
    You claim it's smallest but don't support that claim. – msh210 Aug 28 '22 at 05:36
  • 4
    On the one side, it is probably difficult to prove optimality, I don't require it. On the other side, I know this one isn't. I know of a better solution. – Florian F Aug 28 '22 at 07:55
  • 4
    Via integer linear programming, I have found that Daniel's radius matches half of the minimum diameter of a set of 60 nonoverlapping unit squares with integer coordinates. If @FlorianF and I are both right, that means every optimal solution will have at least one pentomino with non-integer coordinates. – RobPratt Aug 28 '22 at 15:34
  • 1
    Glad to see you looking in the right direction. Who said cheese has to be placed at integer coordinates on a pizza? – Florian F Aug 28 '22 at 15:44
  • 1
    Using half-integers instead (just as a better approximation) yields a lower bound of $\sqrt{90}/2 \approx 4.7434$. – RobPratt Aug 29 '22 at 00:26
  • 4
    @RobPratt If you can translate that to an actual solution with pentominoes then you clearly beat me. – Florian F Aug 29 '22 at 04:47
  • @RobPratt It possibly doesn't matter, but if we exclude a full square we get $\sqrt{90} = 3\sqrt{10}$ :) – CiaPan Aug 31 '22 at 13:27
  • @CiaPan Yes, with $59$ squares and integer coordinates, the minimum diameter is $\sqrt{9^2+3^2}$. With $59$ squares and half-integer coordinates, the minimum diameter is $\sqrt{9^2+2.5^2}$. – RobPratt Aug 31 '22 at 17:28
  • @RobPratt (off-topic) You were mentioned in a recent Numberphile video – Daniel Mathias Sep 22 '22 at 20:53
  • @DanielMathias Thanks for letting me know. I had not yet seen it. – RobPratt Sep 22 '22 at 22:14
8

I presented your challenge to my 9-year-old son. I gave him a circle with a radius of 5. To my astonishment, he finally came up with a solution. Sorry I have not bothered to calculate the radius of the smallest circle in which these beasts can be packed. The radius is definitely less than 5. So naturally, this solution is in the game.

enter image description here

  • 4
    Nice! Now let's see. The distance between the left of the lower edge and the right of the upper edge is $\sqrt{9^2+4^2} = 9.8488$, giving a radius of at least 4.9244. But that line isn't centered. For the actual radius I get 4.9547. – Florian F Aug 31 '22 at 11:42
  • 1
    How did you inscribe the pentominoes in the smallest circle? Where exactly is the center of the circle? What three vertices of the pentomino pattern land on the rim of the circle? My guess is head of the snake, tail of the fish, and jaw of the crocodile. – Przemyslaw Remin Aug 31 '22 at 20:50
  • Hm... I placed the center 2/9 units up from the center of the middle square, which is the feet of the giraffe. The bounding vertices were the top edge and the left of the bottom edge. But I missed the crocodile snout, which reaches out of that circle. Now, with the critical corners: snake head, whale tail, croco head, I place the center at (0.06557377, 0.229508197) from the center of the giraffe feet and the radius is 4.981894119. – Florian F Aug 31 '22 at 21:34
  • Congratulations to your son! – Will Octagon Gibson Sep 01 '22 at 03:44
8

For reference, here is my solution.

With a radius of 4.86594

enter image description here

Florian F
  • 29,623
  • 4
  • 63
  • 138