একটি সরু L-আকৃতির করিডোরের মোড় ঘুরিয়ে সর্বোচ্চ কত বড় সোফা নেওয়া সম্ভব?
প্রশ্নটি শুনতে খুব সাধারণ। বাস্তব জীবনে বাসা বদলের সময় আমরা সবাই কমবেশি এই সমস্যার মুখোমুখি হয়েছি—বড় সোফা দরজায় আটকে যাচ্ছে, একটু ঘোরাতে হচ্ছে, আবার পেছনে নিতে হচ্ছে।
কিন্তু এই সাধারণ সমস্যাটিই গণিতবিদদের কাছে পরিণত হয়েছে একটি বিখ্যাত geometric optimization problem-এ, যার নাম Moving Sofa Problem বা Sofa Problem।
প্রায় ছয় দশক ধরে এই সমস্যার সমাধান খুঁজেছেন গণিতবিদরা। ১৯৯২ সালে Joseph Gerver একটি বিশেষ আকৃতির “সোফা” তৈরি করেন, যার ক্ষেত্রফল প্রায় 2.2195 square units। বহু বছর এটিই ছিল সবচেয়ে বড় পরিচিত সমাধান।
এরপর ২০২৪ সালের নভেম্বরে গণিতবিদ Jineon Baek একটি ১১৯-পৃষ্ঠার preprint প্রকাশ করে দাবি করেন যে Gerver-এর সোফাই আসলে সর্বোচ্চ সম্ভব আকৃতি—অর্থাৎ Moving Sofa Problem-এর সমাধান তিনি প্রমাণ করেছেন।
📌 Moving Sofa Problem কী?
ধরা যাক, একটি L-আকৃতির করিডোর আছে।
করিডোরটির প্রস্থ সর্বত্র:
১ একক
একটি শক্ত, অর্থাৎ rigid, দ্বিমাত্রিক বস্তু করিডোরের এক দিক থেকে ঢুকবে এবং ৯০° মোড় ঘুরে অন্য দিকে বের হবে।
প্রশ্ন হলো:
এমন সর্বোচ্চ ক্ষেত্রফলের কোন আকৃতি তৈরি করা যায়, যেটিকে করিডোরের দেয়ালে না ঠেকিয়ে ৯০° কোণের চারপাশ দিয়ে ঘুরিয়ে নেওয়া সম্ভব?
এই সর্বোচ্চ ক্ষেত্রফলকে বলা হয়:
Sofa Constant
ছবিতে দেখুন—সোফাটি কীভাবে মোড় নেয়
চিত্রে দেখা যাচ্ছে, সোফাটিকে শুধু সামনে ঠেলে দিলেই হবে না। মোড়ের কাছে পৌঁছানোর পর তাকে একই সঙ্গে সরাতে এবং ঘোরাতে হয়।
এখানেই সমস্যার মূল জটিলতা।
🧩 সমস্যাটি প্রথম কে দেন?
Moving Sofa Problem-এর আনুষ্ঠানিক সূত্রপাত হয় ১৯৬৬ সালে।
গণিতবিদ Leo Moser প্রশ্নটি প্রকাশ করেন:
এক ইউনিট প্রস্থের L-আকৃতির করিডোর দিয়ে সর্বোচ্চ কত ক্ষেত্রফলের একটি অঞ্চল সরানো সম্ভব?
প্রশ্নটি খুব সহজে বোঝা গেলেও এর সর্বোচ্চ সমাধান বের করা অত্যন্ত কঠিন হয়ে ওঠে।
📐 কেন একটি সাধারণ আয়তক্ষেত্র দিয়ে হবে না?
ধরুন সোফাটি একটি লম্বা আয়তক্ষেত্র।
সোজা পথে করিডোর দিয়ে সেটিকে নেওয়া সহজ।
কিন্তু L-এর কোণে পৌঁছালে সমস্যা হবে।
কারণ আয়তক্ষেত্রটির দৈর্ঘ্য বেশি হওয়ায় সেটি একই সঙ্গে:
- এক করিডোরের দেয়াল
- অন্য করিডোরের দেয়াল
—দুটোর সঙ্গেই আটকে যাবে।
তাই সর্বোচ্চ area পাওয়ার জন্য সোফার আকৃতিকে এমনভাবে তৈরি করতে হবে যাতে সেটি মোড়ের সময় নিজেকে “খাপ খাইয়ে” নিতে পারে।
🔄 আসল রহস্য: Translation + Rotation
Moving Sofa Problem-এর সবচেয়ে গুরুত্বপূর্ণ বিষয় হলো rigid motion।
সোফাটি:
- ভাঙা যাবে না
- বাঁকানো যাবে না
- আকার পরিবর্তন করা যাবে না
- তুলে নেওয়া যাবে না
শুধু:
➡️ সরানো যাবে
🔄 ঘোরানো যাবে
অর্থাৎ একই সময়ে position এবং orientation পরিবর্তন করে সোফাটিকে করিডোরের ভেতর রাখতে হবে।
🛋️ প্রথম বড় অগ্রগতি: Hammersley Sofa
১৯৬৮ সালে গণিতবিদ John Hammersley একটি আকৃতি প্রস্তাব করেন।
তার তৈরি সোফার ক্ষেত্রফল ছিল:
2.2074...
আরও নির্দিষ্টভাবে:
π/2 + 2/π ≈ 2.2074
এটি Moving Sofa Problem-এর ক্ষেত্রে একটি গুরুত্বপূর্ণ lower bound তৈরি করে।
অর্থাৎ অন্তত এত ক্ষেত্রফলের একটি আকৃতি যে করিডোর পার হতে পারে, তা দেখানো সম্ভব হলো।
🛋️ Gerver’s Sofa: বড় লাফ
১৯৯২ সালে Joseph Gerver আরও উন্নত একটি আকৃতি তৈরি করেন।
তার sofa-এর ক্ষেত্রফল:
2.219531668...
অর্থাৎ প্রায়:
2.2195 square units
এটি Hammersley-এর 2.2074-এর চেয়ে সামান্য বড় হলেও গণিতের দৃষ্টিতে এই সামান্য বৃদ্ধিই ছিল অত্যন্ত গুরুত্বপূর্ণ।
Gerver’s Sofa দেখতে কেমন?
মজার ব্যাপার হলো, এটি দেখতে প্রচলিত কোনো আরামদায়ক সোফার মতো নয়।
গণিতের “সোফা” বলতে এখানে আসলে যেকোনো দ্বিমাত্রিক rigid shape বোঝানো হচ্ছে।
Gerver-এর আকৃতির boundary-তে মোট ১৮টি curve section রয়েছে।
🔢 2.2195 সংখ্যাটি এত গুরুত্বপূর্ণ কেন?
ধরা যাক করিডোরের প্রস্থ:
১ মিটার
তাহলে একই জ্যামিতিক scaling অনুসারে Gerver’s Sofa-এর area হবে প্রায়:
2.2195 বর্গমিটার
যদি করিডোরের প্রস্থ ২ মিটার হয়, area scale করবে বর্গ হিসেবে:
2.2195 × 2² = 8.8781 বর্গমিটার
অর্থাৎ corridor width দ্বিগুণ করলে সর্বোচ্চ sofa area চারগুণ হবে।
এটাই geometry-এর scaling principle।
🤯 এত বছর ধরে সমস্যাটি সমাধান করা কঠিন কেন?
কারণ এখানে শুধু একটি আকৃতি খুঁজে পেলেই হবে না।
আপনাকে প্রমাণ করতে হবে:
এর চেয়ে বড় কোনো আকৃতি পৃথিবীর কোনো গণিতবিদই তৈরি করতে পারবেন না।
এটাই মূল চ্যালেঞ্জ।
একটি 2.2195 area-এর sofa বানিয়ে দেখানো মানে:
“কমপক্ষে 2.2195 সম্ভব।”
কিন্তু সর্বোচ্চ প্রমাণ করতে হলে দেখাতে হবে:
“2.2195-এর চেয়ে একটুও বেশি সম্ভব নয়।”
এই দুই বক্তব্যের মধ্যে বিশাল পার্থক্য।
📊 Lower Bound বনাম Upper Bound
Moving Sofa Problem বোঝার জন্য দুটি শব্দ খুব গুরুত্বপূর্ণ।
Lower Bound
এমন একটি sofa পাওয়া গেছে যেটি সত্যিই করিডোর পার হতে পারে।
Gerver-এর sofa:
Area ≈ 2.2195
তাই:
Maximum area ≥ 2.2195
Upper Bound
কোনো sofa-ই এর চেয়ে বড় হতে পারবে না—এমন প্রমাণ।
২০১৮ সালে Kallus ও Romik একটি computer-assisted পদ্ধতিতে upper bound নামিয়ে আনেন:
2.37
অর্থাৎ তখন জানা ছিল:
2.2195 ≤ Sofa Constant ≤ 2.37
এই gap-টাই ছিল সমস্যার বড় রহস্য।
🧠 ২০২৪ সালের বড় ঘটনা: Jineon Baek-এর দাবি
২০২৪ সালের ২৯ নভেম্বর গণিতবিদ Jineon Baek arXiv-এ Optimality of Gerver's Sofa নামে ১১৯ পৃষ্ঠার একটি গবেষণাপত্র প্রকাশ করেন।
তার মূল দাবি:
Gerver’s Sofa-ই সর্বোচ্চ।
অর্থাৎ:
Sofa Constant = 2.2195...
তার abstract-এ সরাসরি বলা হয়েছে যে Gerver-এর ১৮-curve-section construction সর্বোচ্চ area অর্জন করে।
University of Pittsburgh এবং Korea Institute for Advanced Study-র seminar descriptions-এও Baek-এর কাজকে Moving Sofa Problem-এর সমাধান হিসেবে উপস্থাপন করা হয়েছে।
তবে একটি গুরুত্বপূর্ণ সতর্কতা আছে।
Baek-এর কাজটি arXiv preprint হিসেবে প্রকাশিত হয়েছিল। Scientific American-ও ২০২৫ সালের প্রতিবেদনে উল্লেখ করেছিল যে proof-টি তখনও thorough peer review-এর মধ্য দিয়ে যায়নি।
তাই সবচেয়ে সতর্ক ভাষায় বলা যায়:
Baek একটি পূর্ণ সমাধানের দাবি করেছেন এবং গবেষণাটি Gerver’s Sofa-এর optimality প্রমাণ করার একটি ১১৯-পৃষ্ঠার mathematical proof দেয়।
🔬 Baek কীভাবে সমস্যাটি সমাধান করার চেষ্টা করেছেন?
এখানে গণিত বেশ কঠিন হয়ে যায়।
সহজভাবে বললে, তিনি এমন একটি upper-bound functional তৈরি করেন যা কোনো নির্দিষ্ট শ্রেণির sofa-এর area-কে সীমাবদ্ধ করে।
তারপর:
- Sofa-এর geometric structure বিশ্লেষণ করা হয়।
- একটি enclosing region বা boundary তৈরি করা হয়।
- সেটির area থেকে upper bound তৈরি করা হয়।
- Brunn–Minkowski theory ব্যবহার করে একটি concavity property দেখানো হয়।
- Gerver’s Sofa-কে সেই functional-এর local optimum হিসেবে দেখানো হয়।
- Global concavity-এর কারণে local optimum-ই global optimum হয়ে যায়।
এভাবেই Gerver-এর sofa-এর area-কে সর্বোচ্চ বলে প্রতিষ্ঠা করার চেষ্টা করা হয়েছে।
সাধারণ পাঠকের জন্য পুরো প্রমাণটি অত্যন্ত কঠিন; কারণ এতে convex geometry, optimization, differential equations এবং geometric measure theory-এর মতো বিষয় জড়িত।
📐 Gerver’s Sofa কেন এত অদ্ভুত দেখতে?
এখানে একটি চমৎকার mathematical principle কাজ করছে।
যে জায়গাগুলো দিয়ে sofa-এর boundary চলার সময় করিডোরের দেয়ালের সঙ্গে contact তৈরি করে, সেই contact points-এর গতিপথই sofa-এর shape নির্ধারণ করে।
অর্থাৎ shape-টি আগে থেকে ইচ্ছামতো আঁকা নয়।
বরং প্রশ্নটি অনেকটা:
“সোফাটি সর্বোচ্চ area নিয়ে কীভাবে এমনভাবে চলতে পারে যাতে প্রতিটি মুহূর্তে দেয়ালের সঙ্গে ঠিক যতটুকু contact দরকার ততটুকুই থাকে?”
এই optimization থেকেই Gerver-এর জটিল curved boundary আসে।
🖼️ বাস্তব জীবনের সঙ্গে এর সম্পর্ক কী?
বাস্তবে furniture moving করার সময়ও আমরা প্রায় একই কাজ করি।
একটি বড় সোফা দরজার কাছে আটকে গেলে আমরা:
সামনে ঠেলি → ঘোরাই → পিছাই → আবার ঘোরাই → সামনে নিই
এই পুরো movement-টি আসলে একটি motion-planning problem।
তাই Moving Sofa Problem-এর ধারণার সঙ্গে সম্পর্ক রয়েছে:
- Robotics
- Motion planning
- Computer graphics
- CAD
- Path planning
- Geometric optimization
ইত্যাদির।
অর্থাৎ এটি শুধু “সোফা সরানোর মজার ধাঁধা” নয়; এর পেছনে বাস্তব engineering-এরও একটি mathematical flavour আছে।
🧮 একটি সহজ উদাহরণ
ধরা যাক করিডোরের প্রস্থ:
১ মিটার
এবং একটি বর্গাকার বস্তু:
১ × ১ মিটার
এটি করিডোর দিয়ে ঘুরিয়ে নেওয়া সম্ভব।
কিন্তু আপনি যদি সেটিকে লম্বা করে:
১ × ৩ মিটার
আয়তক্ষেত্র বানান, তাহলে area বেড়ে গেলেও সেটি corner ঘুরতে পারবে না।
অর্থাৎ:
বেশি area ≠ বেশি maneuverability
এই দ্বন্দ্বই Moving Sofa Problem-এর প্রাণ।
📚 Moving Sofa Problem-এর সংক্ষিপ্ত ইতিহাস
| সাল | ঘটনা |
|---|---|
| 1966 | Leo Moser সমস্যাটি আনুষ্ঠানিকভাবে উত্থাপন করেন |
| 1968 | John Hammersley area ≈ 2.2074-এর sofa প্রস্তাব করেন |
| 1992 | Joseph Gerver area ≈ 2.2195-এর sofa তৈরি করেন |
| 2018 | Kallus ও Romik upper bound 2.37-এ নামিয়ে আনেন |
| 2024 | Jineon Baek Gerver’s Sofa-এর optimality প্রমাণের দাবি করেন |
| 2025–26 | গবেষণাটি নিয়ে ব্যাপক mathematical/public discussion অব্যাহত থাকে |
❓ Moving Sofa Problem কি এখন সত্যিই সমাধান হয়েছে?
Baek-এর গবেষণাপত্র অনুযায়ী—হ্যাঁ।
তিনি দাবি করেছেন:
Sofa Constant = 2.219531668...
এবং Gerver’s Sofa সেই maximum area অর্জন করে।
তবে বৈজ্ঞানিক সতর্কতার জন্য বলা ভালো, এটি একটি arXiv preprint; preprint প্রকাশিত হওয়া এবং peer-reviewed journal-এ চূড়ান্তভাবে গৃহীত হওয়া একই বিষয় নয়। ২০২৫ সালের Scientific American-এর প্রতিবেদনেও এই distinction উল্লেখ ছিল।
🌟 এই সমস্যাটি এত বিখ্যাত কেন?
কারণ Moving Sofa Problem-এর সৌন্দর্য হলো:
প্রশ্নটি সবাই বুঝতে পারে।
একজন স্কুলের ছাত্রও বুঝতে পারে:
“একটা বড় সোফা L-আকৃতির করিডোর দিয়ে কীভাবে ঘুরবে?”
কিন্তু উত্তর দিতে গিয়ে প্রয়োজন হয়:
- advanced geometry
- optimization
- calculus
- differential equations
- convex geometry
- mathematical analysis
এটাই pure mathematics-এর অন্যতম আকর্ষণীয় দিক।
একটি শিশুসুলভ প্রশ্নও কখনো কখনো এমন গভীর mathematical structure লুকিয়ে রাখতে পারে, যা সমাধান করতে কয়েক দশক লেগে যায়।
🛋️ শেষ কথা
Moving Sofa Problem আমাদের একটি অসাধারণ শিক্ষা দেয়:
সহজ প্রশ্ন মানেই সহজ উত্তর নয়।
১৯৬৬ সালে একটি সাধারণ furniture-moving প্রশ্ন দিয়ে শুরু হওয়া এই mathematical journey Hammersley, Gerver, Kallus, Romik এবং পরবর্তীতে Jineon Baek-এর কাজের মধ্য দিয়ে এগিয়েছে।
আজ Gerver’s Sofa-এর প্রায় 2.2195 square-unit area শুধু একটি অদ্ভুত জ্যামিতিক সংখ্যা নয়—এটি কয়েক দশকের mathematical exploration-এর প্রতীক।
আর সবচেয়ে মজার বিষয়?
পরবর্তীবার বাসা বদলানোর সময় যখন সোফা দরজায় আটকে যাবে, তখন হয়তো মনে পড়বে—
আপনি যে সমস্যায় বিরক্ত হচ্ছেন, সেটিই একসময় গণিতের সবচেয়ে বিখ্যাত geometric puzzles-এর একটি হয়ে উঠেছিল! 🛋️
