معمای جابه جایی مبل؛ از چالش های روزمره تا کشفیات بزرگ ریاضی
به گزارش سرگرمی تفریحی، ریاضیات گاهی به حل مسائل عمیق فلسفی و گاهی به پاسخ به پرسش های به ظاهر ساده ای می پردازد که سال ها فکر پژوهشگران را مشغول می نماید. یکی از این مسائل، معمای جابه جایی مبل (Moving Sofa Problem) است که اولین بار در سال 1966 به وسیله لئو موزِر (Leo Moser)، ریاضی دان اتریشی-کانادایی، مطرح شد. این مسئله در نگاه اول ساده به نظر می رسد: بزرگ ترین شیء دو بعدی که می تواند از یک راهروی باریک یک واحدی با یک گوشه ال شکل عبور کند، چه مقدار ای می تواند داشته باشد؟ اما این پرسش ساده، نزدیک به شش دهه چالشی برای فکر های برتر بوده است.
راهکار های اولیه: از طراحی های ابتدایی تا مفاهیم پیشرفته
در سال 1968، جان هَمِرزلی (John Hammersley)، ریاضی دان بریتانیایی، با طراحی شکلی شامل یک نیم دایره و یک مربع با فضای خالی به شکل نیم دایره، پیروز شد مساحتی معادل 2.2074 واحد برای مبل ارائه دهد که می توانست از گوشه عبور کند. همرزلی بعلاوه نشان داد که هیچ مبلی با مساحت بیش از 2.8284 واحد نمی تواند از چنین مسیری عبور کند. این دستاورد، نخستین گام در حل مسئله بود، اما راهکار ارائه شده به طور کامل بهینه نبود.
پیشرفت جوزف گِرور: نزدیک تر شدن به پاسخ نهایی
در سال 1992، جوزف گِرور (Joseph Gerver) از دانشگاه راتگرز (Rutgers University) طراحی پیشرفته تری ارائه کرد که با استفاده از منحنی های نرم تر و تغییرات جزئی، توانست مساحت مبل را به حدود 2.2195 واحد افزایش دهد. این طراحی، گرچه بهینه تر از مدل همرزلی بود، اما همچنان یک سؤال باقی می ماند: آیا ممکن است طراحی دیگری وجود داشته باشد که حتی بزرگ تر باشد؟
کامپیوترها و نقش آن ها در حل معما
با پیشرفت فناوری، پژوهشگران در سال 2018 از شبیه سازی های کامپیوتری برای آنالیز این مسئله استفاده کردند. ریاضی دانان نشان دادند که مبل های فرضی با طراحی های پیچیده تر می توانند مساحتی تا 2.37 واحد داشته باشند. این یافته ها، هرچند جالب بودند، اما همچنان یک اثبات ریاضی جامع برای مسئله ارائه نمی کردند. اینجا بود که جینئون بِک (Jineon Baek)، ریاضی دان دانشگاه یونسی (Yonsei University) در کره جنوبی، وارد میدان شد.
اثبات نهایی به وسیله جینئون بِک
در پژوهش تازه ای که شامل یک مقاله 100 صفحه ای است، بِک با استفاده از مفاهیم پیچیده ای مانند تابع های تزریقی (Injective Function)، نشان داد که مساحت طراحی گِرور واقعاً بیشینه مساحتی است که می توان به آن دست یافت. این تحقیق به طور قطعی اثبات کرد که بزرگ ترین مبل ممکن برای عبور از راهروی ال شکل یک واحدی، دارای مساحتی برابر با 2.2195 واحد است. این دستاورد، نقطه انتهای بر یکی از چالش های طولانی مدت ریاضیات بود و نشان داد که طراحی گِرور نه تنها در شرایط محلی، بلکه در سطح جهانی نیز بهینه است.
آینده معمای جابه جایی مبل: مسیرهای پیچیده تر
هرچند معمای اصلی اکنون حل شده است، اما هنوز پرسش هایی به جای مانده اند. اگر راهرو دارای موانع متعدد یا گوشه های اضافی باشد، آیا طراحی بهینه تغییر می نماید؟ برای چنین مواردی، پژوهشگران طرح هایی مانند مبل دوسویه رُمیک (Romiks Ambidextrous Sofa) را پیشنهاد داده اند که برای مسیرهای پیچیده تر طراحی شده است. این طرح ها، منظره تازه ای برای حل مسائل هندسی پیچیده ارائه می دهند.
اهمیت این تحقیق در زندگی روزمره
گرچه ممکن است حل این مسئله به نظر بسیاری، صرفاً یک تمرین ریاضی باشد، اما درک بهتر از هندسه و حرکت اشیاء می تواند در طراحی های صنعتی، رباتیک و حتی هوش مصنوعی مفید باشد. از سوی دیگر، این پژوهش ها نشان دهنده توانایی بی انتها فکر بشر برای حل مسائل پیچیده است؛ مسائلی که گاهی به ظاهر ساده، اما در باطن پر از چالش های علمی هستند.
منبع
arxivمنبع: یک پزشک