Moving-Sofa-Problem

requirements

python3.6

sudo pip3 install numpy
sudo pip3 install matplotlib
sudo pip3 install ffmpeg
sudo pip3 install shapely
sudo pip3 install unittest
sudo apt-get install ffmpeg

Test-Case

python3 main.py

test_gerver (__main__.UnitTest) ...
gerver:
Simulator.area =  2.2195225309390785
ok
test_hammersley (__main__.UnitTest) ...
hammersley:
Simulator.area =  2.2074070147932088
ok
test_semi_circle (__main__.UnitTest) ...
semi_circle:
Simulator area =  1.570786326827179
ok

Example

Some references

Wiki:

https://en.wikipedia.org/wiki/Moving_sofa_problem

Blog:

https://math.stackexchange.com/questions/1787466/modelling-the-moving-sofa

https://math.stackexchange.com/questions/1847453/whats-the-upper-bound-for-sofa-problem

https://www.math.ucdavis.edu/~romik/movingsofa/

paper:

A Variational Approach to the Moving Sofa Problem

A Computational Study of the Moving Sofa Problem

Differential equations and exact solutions in the moving sofa problem