Perpustakaan Digital ITB

Ada banyak permasalahan di dunia matematika yang sampai saat ini belum ditemukan solusinya, salah satunya adalah Masalah Pemindahan Sofa. Masalah pemindahan sofa pertama kali diajukan oleh Leo Moser pada tahun 1966 yaitu mencari bangun datar dengan luas area terbesar yang dapat dipindahkan di sekitar sudut siku-siku di koridor dua dimensi dengan lebar 1. Hasil yang signifikan untuk pemecahan masalah ini pertama kali dilakukan oleh John Hammersley pada tahun 1968. Konstruksi Sofa Hammersley cukup sederhana, dimana bangun setengah lingkaran dibagi kedalam dua bagian sama besar, lalu disisipkan bangun persegi panjang dengan lubang setengah lingkaran dibawahnya yang berdiameter sama dengan panjang persegi panjangnya. Hasil signifikan berikutnya ditemukan oleh Joseph Gerver pada tahun 1992 yang kemudian dikenal dengan nama Sofa Gerver dan masih yang terbesar hingga saat ini. Hal pertama yang dilakukan pada penelitian ini adalah menganalisis mekanisme gerak sofa melewati koridor untuk bangun-bangun dengan bentuk yang sederhana. Kemudian, dari hasil sebelumnya, dicari kaitan antara sofa-sofa bentuk sederhana dengan Sofa Hammersley, lalu dilakukan analisis mengenai mekanisme Sofa Hammersley agar dapat melewati koridor. Dan terakhir, dilakukan pembahasan mengenai karakterisasi solusi masalah pemindahan sofa. Hasil-hasil utama yang diperoleh antara lain sofa persegi dengan panjang sisi 1 menjadi sofa terbesar yang dapat melewati koridor dengan gerak translasi, sofa setengah lingkaran dengan jari-jari 1 menjadi sofa terbesar yang dapat melewati koridor dengan gerak rotasi, Sofa Hammersley dibuktikan dapat melewati koridor, sofa setengah lingkaran berjari-jari 1 dapat diuji dapat melewati koridor dengan karakterisasi masalah pemindahan sofa.