Courtesy of QuantaMagazine

Solusi Matematis Akhir untuk Masalah Sofa Bergerak Ditemukan Tanpa Komputer

14 Feb 2025, 07.00 WIB

260 dibaca

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.

Referensi:
[1] https://www.quantamagazine.org/the-largest-sofa-you-can-move-around-a-corner-20250214/

Analisis Kami

"Penemuan Baek membuka paradigma baru dalam pemecahan masalah optimasi geometri yang selama ini dianggap hanya bisa diselesaikan dengan komputer. Ini menunjukkan bahwa pendekatan kreatif dan gabungan teknik matematika yang beragam bisa menyingkap solusi optimal dari masalah yang tampaknya mustahil."

Analisis Ahli

Michael Zieve

"Pendekatan Jineon Baek yang menggabungkan kekuatan komputasi dan ide matematis baru sangat mengesankan, terutama karena berhasil tanpa ketergantungan pada perangkat lunak, menunjukkan potensi besar dari ide-ide segar."

Prediksi Kami

Metode pembuktian matematis yang tidak bergantung pada komputer yang ditemukan Baek kemungkinan akan diterapkan untuk menyelesaikan masalah optimasi kompleks lainnya dan mendorong kemajuan dalam bidang matematika terapan.