It turns out that designing the perfect maneuverable sofa is an unsolved problem in mathematics and there's an entire branch of mathematics dedicated to designing such sofashttps://en.wikipedia.org/wiki/Moving_sofa_problem

Octodon is a nice general purpose instance. more