Gibbs's computational approach is really interesting [1]. Keep the sofa still and move the corridor, and the optimal sofa shape is the intersection of all (well n, since it's a numerical approximation) the corridor shapes as they sweep around.
[1] https://www.researchgate.net/publication/311900489_A_Computa...