Courtesy of QuantaMagazine
Ikhtisar 15 Detik
- Masalah sofa bergerak menunjukkan kompleksitas dalam optimisasi meskipun terlihat sederhana.
- Bukti Jineon Baek membuka jalan untuk pendekatan baru dalam masalah matematis yang sulit.
- Kolaborasi antara berbagai teknik matematis dapat menghasilkan solusi yang inovatif.
Masalah sofa bergerak adalah tantangan matematika yang dimulai pada tahun 1966, ketika Leo Moser bertanya tentang ukuran bentuk terbesar yang bisa melewati sudut 90 derajat di lorong berbentuk L. Sejak saat itu, banyak matematikawan mencoba menemukan solusi, termasuk Joseph Gerver yang pada tahun 1992 mengusulkan bentuk yang dikenal sebagai "sofa Gerver" dengan area sekitar 2,2195. Namun, meskipun banyak yang mencurigai bahwa bentuk ini adalah solusi optimal, tidak ada yang bisa membuktikannya hingga baru-baru ini.
Jineon Baek, seorang peneliti muda dari Universitas Yonsei di Seoul, akhirnya membuktikan bahwa sofa Gerver adalah bentuk terbesar yang dapat melewati lorong tersebut tanpa terjebak. Ia menggunakan pendekatan baru yang tidak memerlukan bantuan komputer, yang mengejutkan banyak matematikawan. Penemuan ini tidak hanya menyelesaikan masalah yang telah ada selama 60 tahun, tetapi juga memberikan harapan untuk kemajuan dalam masalah optimasi lainnya. Gerver sendiri merasa beruntung bisa melihat solusi untuk masalah yang ia ajukan lebih dari 30 tahun yang lalu.
Pertanyaan Terkait
Q
Apa itu masalah sofa bergerak?A
Masalah sofa bergerak adalah tantangan matematis untuk menemukan bentuk terbesar yang dapat melewati sudut lorong tanpa terjebak.Q
Siapa yang pertama kali mengusulkan bentuk sofa optimal?A
Joseph Gerver adalah orang yang pertama kali mengusulkan bentuk sofa optimal pada tahun 1992.Q
Apa yang ditemukan oleh Jineon Baek?A
Jineon Baek membuktikan bahwa sofa Gerver adalah bentuk terbesar yang dapat melewati sudut lorong tanpa terjebak.Q
Mengapa bukti Baek dianggap signifikan?A
Bukti Baek dianggap signifikan karena ia berhasil menyelesaikan masalah tanpa bantuan komputer dan menggunakan pendekatan baru dalam optimisasi.Q
Apa yang dilakukan Joseph Gerver setelah menemukan solusi?A
Setelah menemukan solusi, Joseph Gerver merasa beruntung dapat melihat masalah yang ia usulkan akhirnya terpecahkan.