The mathematician Leo Moser posed in 1966 the following curious mathematical problem: what is the shape of largest area in the plane that can be moved around a right-angled corner in a two-dimensional hallway of width 1? This question became known as the moving sofa problem, and is still unsolved fifty years after it was first asked.
To understand what makes this question tricky, let's think what kind of "sofa" shapes we can construct that can move around a corner. How about a unit square?
Well, a unit square only has area 1; surely we can do better? For example, a semicircle with radius 1 is another simple example that works.
The semicircular sofa has a larger area than the square one, ᴨ/2 (approximately 1.57). It is also more interesting, because in order to move around the corner it rotates, whereas the square sofa merely translates. Now, if only we could combine rotation and translation, maybe we could construct an even bigger sofa shape? Indeed, the mathematician John Hammersley noticed that if the semicircle is cut into two quarter-circles, which are pulled apart and the gap between them filled with a rectangular block, we get a larger sofa shape, which could be moved around the corner if only a smaller semicircular hole is also removed from the rectangular block. Here is the resulting shape, that is starting to look a bit more like an actual sofa.
The shapes involved are interesting. Not really sofa shaped, but then theory is rarely like reality.
-- submitted from IRC
(Score: 3, Informative) by zocalo on Wednesday January 04 2017, @04:05PM
UNIX? They're not even circumcised! Savages!
(Score: 2) by wonkey_monkey on Wednesday January 04 2017, @04:15PM
No, it (the one referred to in the summary as being "here") is the one I linked to. The summary doesn't get as far as mentioning the refinement.
20 pedant points to me!
systemd is Roko's Basilisk
(Score: 1) by charon on Thursday January 05 2017, @10:02PM
(Score: 2) by wonkey_monkey on Friday January 06 2017, @12:17AM
Are you really complaining that I did not post the entire text of the article and the pictures here?
No, if I'm complaining about anything it's that text was left in which referred to an image ("Here is the resulting shape...") which was not/could not be included.
systemd is Roko's Basilisk