موضوع نصب تابلو؛ معمای ریاضی در پی سقوط تابلو

خلاصه مقاله:

• بحث حول آویزان کردن تابلوها با پرسشی ابتدایی آغاز شد: آیا ممکن است رشته‌ای که در پشت تابلو قرار دارد به گونه‌ای به میخ‌ها پیچیده شود که با بیرون کشیدن آن‌ها، رفتار خاصی نشان دهد؟ این چالش در سال ۱۹۹۷ توسط اِی. اسپیواک ارائه شد و به تدریج به مجموعه‌ای از مسائل ریاضی که به نام «مسائل آویزان‌کردن تابلو» شناخته می‌شوند، تبدیل گردید.
• در نسخه‌ی اصلی این چالش، هدف طراحی رشته‌ای است که هر دو میخ برای نگه‌داشتن تابلو قابل‌توجه باشند و با برداشتن هر یک، تابلو سقوط کند. با افزایش تعداد میخ‌ها، مسئله به شدت پیچیده‌تر می‌شود، زیرا رشته باید برای همه ترکیب‌های ممکن پیرامون میخ‌ها به درستی عمل کند.
• پژوهشگران ریاضی تایید کرده‌اند که برای هر مسئله‌ی «k از n» می‌توان الگوی رشته‌ای منطقی پیدا کرد، اما شناسایی کوتاه‌ترین راه‌حل به شدت دشوار است. در چالش «۲ از ۴»، با کمک الگوریتم‌های کامپیوتری، محققان نشان دادند که حداقل ۱۶ بار پیچاندن رشته برای حل این معما الزامی است.

فرض کنید می‌خواهید تابلویی را با نخی که به پشت آن متصل شده، بر روی دو میخ آویزان نمایید. ساده‌ترین راه این است که رشته را بر روی هر دو میخ بیندازید. در این وضعیت، اگر یکی از میخ‌ها را از دیوار خارج کنید، تابلو به‌طور معمول از میخ دیگر آویزان می‌ماند.

اما ریاضی‌دانان سال‌هاست نسخه‌ای جالب‌تری از همین مسئله ساده را بررسی کرده‌اند: آیا ممکن است رشته را به گونه‌ای متصل کنیم که با برداشتن هر کدام از میخ‌ها، کل سیستم از هم بپاشد و تابلو سقوط کند؟ این سوال در سال ۱۹۹۷ توسط اِی. اسپیواک مطرح شد و به زودی به مجموعه‌ای از مسائل ریاضی منجر گردید که به نام «مسائل آویزان‌کردن تابلو» شناخته می‌شوند.

ظاهر این مسئله صرفاً ساده و حتی سرگرم‌کننده به نظر می‌رسد، اما در پس آن مجموعه‌ای از ایده‌های عمیق ریاضیاتی وجود دارد که شامل نظریه گره‌ها، نظریه گروه‌ها، نظریه گراف و منطق بولی می‌شوند.

در ابتدایی‌ترین حالت، دو میخ بر روی دیوار داریم و یک رشته که به پشت تابلو متصل است. هدف این نیست که فقط تابلو را به شکلی محکم آویزان کنیم. برعکس، باید رشته را به گونه‌ای دور میخ‌ها بپیچیم که هر دو میخ برای نگه‌داشتن تابلو اساسی باشند. به عبارتی اگر میخ اول حذف شود، تابلو باید سقوط کند و اگر میخ دوم نیز به تنهایی خارج شود، تابلو نیز باید بیفتد.

نکته کلیدی این است که رشته نباید به صورت مستقل به دو تکیه‌گاه متصل باشد. مسیر آن باید به گونه‌ای طراحی شود که حذف هر میخ، کل آرایش رشته را سست کند. این مسئله را می‌توان با چند حلقه و پیچ ساده مشحل کرد، اما با افزایش تعداد میخ‌ها، شرایط به شدت پیچیده‌تر خواهد شد.

تام ورهوف، دانشمند بازنشسته علوم کامپیوتر، این نوع مسائل را در کارگاهی برای دانش‌آموزان مطرح کرد. شرکت‌کنندگان با رشته‌ها و کارابین‌های واقعی آزمایش کردند و در عین حال تلاش کردند تا مسائل را با زبان ریاضی نیز توصیف نمایند.

ریاضی‌دانان سپس نسخه‌ای کلی‌تر از این مسئله را مطرح کردند که به نام «k از n» معروف است. در این حالت، n به تعداد کل میخ‌ها اشاره دارد و k به تعداد میخ‌هایی که باید خارج شوند تا تابلو سقوط کند. به عنوان مثال، در مسئله «۲ از ۴»، چهار میخ روی دیوار وجود دارند و رشته باید به گونه‌ای پیچیده شود که برداشتن هر دو میخ از میان این چهار باعث سقوط تابلو گردد. در عین حال، اگر فقط یکی از میخ‌ها بیرون کشیده شود، تابلو باید همچنان در حالت آویزان باقی بماند. این شرط complexity مسئله را به‌شدت افزایش می‌دهد، زیرا رشته باید برای تمامی ترکیب‌های ممکن، رفتار واقعی و صحیحی را از خود نشان دهد.

در سال ۲۰۱۲، محققان ریاضی در یک مقاله پیش‌نویس نشان دادند که برای هر مسئله‌ای از نوع «k از n» می‌توان یک راه‌حل یافت. به بیانی دیگر، در بعد ریاضی، امکان طراحی یک آرایش از رشته وجود دارد که به طور دقیق همان قانونی را که برای سقوط تابلو تعریف شده، اجرا کند.

اما وجود یک راه‌حل به معنای آسان یا کوتاه بودن آن نیست. برخی از روش‌های شناخته شده نیاز به تعداد فراوانی از پیچش‌های رشته حول میخ‌ها دارند و اگر بخواهیم چنین چیزی را در دنیای واقعی اجرایی کنیم، بیشتر شبیه به یک گره بزرگ و درهم‌پیچیده خواهد بود تا یک روش منطقی برای نصب تابلو. این امر باعث شد ورهوف و سایرین به سؤالی جدید بپردازند: کوتاه‌ترین راه‌حل ممکن چیست؟

در یکی از کارگاه‌ها، ورهوف و شرکت‌کنندگان به مسئله «۲ از ۴» پرداختند. کوتاه‌ترین راه‌حل شناخته‌شده تا آن زمان به ۸۰ بار پیچاندن رشته حول میخ‌ها نیاز داشت. آن‌ها توانستند این تعداد را به ۵۸ کاهش دهند.

ورهوف پس از آن به پیگیری ادامه داد و راه‌حلی را با فقط ۱۸ پیچش پیدا کرد. اما هنوز مشخص نبود آیا ۱۸ واقعاً حداقل مقدار ممکن است یا خیر.

برای پیدا کردن پاسخ مشخص، او با ینس هویسولت، که در آن زمان دانشجوی دکترا بود، همکاری کرد. آن‌ها از نرم‌افزارهای کامپیوتری استفاده کردند تا تمام آرایش‌های کوتاه‌تر ممکن را بررسی کنند. نتایج این بررسی نشان داد هیچ راه‌حلی با کمتر از ۱۶ پیچش وجود ندارد.

در نهایت، ۱۶ پیچش به عنوان حداقل مطلق برای حل مسئله «۲ از ۴» تعیین شد.

این بخشی از کار اهمیت زیادی دارد، زیرا یافتن یک راه‌حل کوتاه با اثبات اینکه هیچ راه‌حل کوتاه‌تری وجود ندارد، متفاوت است. برای اثبات حداقل بودن، باید نشان داد تمام حالت‌های ممکن با ۱۵ پیچش یا کمتر به شکست می‌انجامند؛ که این کار به دقت بسیار بالایی نیاز دارد و برنامه‌های کامپیوتری می‌توانند در این راستا کمک شایانی نمایند.

ورهوف در ابتدا برنامه‌ای ایجاد کرده بود که می‌توانست این مسئله را در حدود دو ساعت حل کند. هویسولت بعدها برنامه‌ای طراحی کرد که همین کار را در حدود دو ثانیه انجام می‌داد.

مسئله آویزان‌کردن تابلو تنها یک معما در ریاضیات نیست و به طراحی الگوریتم‌های کارآمد نیز مربوط می‌شود. هرچه تعداد میخ‌ها و شرایط افزایش یابد، شمار حالاتی که باید بررسی شوند به سرعت افزایش پیدا می‌کند. به همین دلیل، یافتن راهی درست برای حذف حالات اضافی، بخش مهمی از موضوع است.

ورهوف نتایج این تحقیق و کوتاه‌ترین راه‌حل‌های شناخته‌شده را برای مجموعه عظیمی از این مسائل در arXiv منتشر کرده است.

فرض کنید یک تابلو را با نخی از دو میخ روی دیوار آویزان کرده‌اید. شکل رشته به گونه‌ای است که اگر هر یک از میخ‌ها را جدا کنید، تابلو از دیوار می‌افتد. اما هدف این معما این است: چگونه رشته را دور دو میخ بپیچیم که اگر هر کدام از میخ‌ها را برداریم، تابلو همچنان بر روی دیوار باقی بماند؟

در این روش، رشته به جای اینکه تنها یک بار دور هر میخ پیچیده شود، مسیری خاص را در پیش می‌گیرد: ابتدا به دور میخ اول (a) و سپس به دور میخ دوم (b) در جهت عقربه‌های ساعت می‌پیچد. پس از آن، دوباره همین مسیر را در خلاف جهت عقربه‌های ساعت طی می‌کند؛ یعنی یک بار دیگر دور میخ اول و دوم می‌پیچاند، اما این بار به سمت مخالف. به این ترتیب، مسیر رشته به شکل +a +b -a -b نمایش داده می‌شود. علامت‌های مثبت و منفی نشان‌دهندهٔ این است که رشته در هر جهت چند بار دور هر میخ پیچییده شده است. اگر میخ a را بیرون بکشید، بخش‌های مربوط به آن یعنی +a و -a همدیگر را خنثی می‌کنند و از مسیر رشته حذف می‌گردند؛ اما بخش‌های باقی‌مانده یعنی +b و -b همچنان رشته را به میخ دوم متصل نگه می‌دارند. این عمل برای میخ b نیز صدق می‌کند. به این ترتیب، برداشتن هر یک از دو میخ باعث آزاد شدن کامل رشته نمی‌شود، زیرا میخ دیگر هنوز مسیر رشته را نگه داشته است. این ترفند ساده باعث می‌شود تابلو حتی با حذف یکی از دو نقطه‌ اتصال، بر روی دیوار باقی بماند.

در نگاه نخست، ممکن است این موضوع کمی بی‌اهمیت به لحاظ کاربردی به نظر برسد. چرا باید کسی ساعت‌ها یا حتی سال‌ها وقت خود را صرف نماید تا بفهمد چگونه می‌توان یک تابلو را به پیچیده‌ترین شکل ممکن بر روی دیوار آویزان کرد؟

پاسخ این است که ریاضی‌دانان معمولاً فقط به جنبه فیزیکی مسئله توجه نمی‌کنند. برای آن‌ها، میخ‌ها و رشته‌ها نماینده ساختارهای انتزاعی محسوب می‌شوند.

مسیر رشته می‌تواند به صورت یک عبارت ریاضی، یک گراف، مسیری بر روی یک ساختار چندبعدی یا حتی الگوی منطقی توصیف شود. به همین دلیل است که این معما با چند زیرشاخه اصلی ریاضیات مرتبط است.

یکی از زمینه‌های مرتبط نظریه گروه‌هاست. در این شاخه از ریاضیات، محققان به بررسی این موضوع می‌پردازند که چگونه مجموعه‌ای از عملیات مختلف می‌تواند ترکیب شود و چه قوانینی بر این ترکیب‌ها حاکم است.

در مسئله آویزان‌کردن تابلو، پیچیندن رشته دور هر میخ را می‌توان به یک عمل خاص تبدیل کرد. ترتیب و جهت پیچش نیز اهمیت دارد. وقتی یکی از میخ‌ها برداشته می‌شود، برخی از این عملیات عملاً حذف می‌شوند و سوال این است که آیا چیزی از آرایش رشته باقی می‌ماند یا اینکه کل آن باز می‌شود. همین ویژگی باعث پیوند آن مسئله با نظریه گروه‌ها می‌شود.

نظریه گره‌ها نیز به طور طبیعی در این زمینه مطرح می‌شود، زیرا اصل مسئله به نحوه خمیدگی و حلقه‌زنی رشته مرتبط است. در نظریه گره‌ها، ریاضی‌دانان در تلاشند تا بررسی کنند رشته‌ها و حلقه‌ها چگونه به یکدیگر پیچیده شده‌اند و تحت چه شرایطی می‌توان آن‌ها را باز کرد یا به صورت دیگری بازسازی کرد.

یکی دیگر از جنبه‌های جذاب این مسئله این است که می‌توان برای یک مجموعه گسترده‌ای از قوانین مختلف، یک آرایش مناسب از رشته پیدا کرد.

به عنوان مثال، فرض کنید چهار میخ داشته باشیم و بخواهیم تابلو تنها در شرایط خاصی سقوط کند. شاید هدف این باشد که با برداشتن هر دو میخ سقوط کند، یا فقط زمانی بیفتد که سه میخ معین حذف شوند.

اما هر قانونی نمی‌تواند ایجاد شود. برای نمونه، نمی‌توان قانونی تعیین کرد که بگوید اگر تنها میخ A برداشته شود، تابلو سقوط کند؛ اما اگر هم میخ A و هم میخ B را برداریم، تابلو دوباره به حالت آویزان باقی بماند. دلیل آن ساده است: برداشتن تعداد بیشتر نمی‌تواند به طور ناگهانی حمایت جدیدی برای تابلو فراهم کند. اگر حذف A باعث سقوط کافی باشد، حذف A و B نیز باید تابلو را به زمین بیاندازد. این ویژگی در ریاضیات با مفهوم توابع بولی یکنوا مربوط است.

تابع بولی در ساده‌ترین حالت خود تابعی است که ورودی‌هایش تنها دو حالت دارند؛ مثلاً «بله یا خیر»، «روشن یا خاموش» یا «میخ وجود دارد یا وجود ندارد». خروجی نیز دو حالت مختلف دارد؛ مثلاً «تابلو بر جای می‌ماند» یا «تابلو سقوط می‌کند».

زمانی که می‌گوییم یک تابع بولی «یکنوا» است، بدین معناست که اگر حذف تعداد خاصی از میخ‌ها باعث سقوط تابلو شود، حذف میخ‌های بیشتر قادر نخواهد بود دوباره تابلو را نجات دهد. این روند منطقی به‌طور طبیعی در مسئله آویزان‌کردن تابلو وجود دارد.

جالب‌تر این که توابع بولی یکنوا تنها ابزاری برای بازی با میخ و رشته نیستند و در زمینه‌های مختلفی از جمله رمزنگاری، علوم کامپیوتر و نظریه رأی‌گیری کاربرد دارند. مثلاً در یک سیستم رأی‌گیری، می‌توان پرسید که چه ترکیبی از رأی‌ها برای تایید یک تصمیم کافی است. در یک سیستم امنیتی، ممکن است ترکیبی از چند شرط برای فراهم آوردن دسترسی لازم باشد. از این منظر، مسئله آویزان کردن تابلو نمونه‌ای فیزیکی و مشهود از ساختارهای منطقی پیچیده است.

با وجود این ارتباطات، ورهوف معتقد است که حتی نیازی نیست برای چنین مسئله‌ای کاربرد فوری پیدا کنیم. بخش عمده‌ای از ریاضیات و علوم ابتدا از راه کنجکاوی به وجود آمده است. برخی ایده‌هایی که زمانی کاملاً نظری و بی‌کاربرد به نظر می‌رسند، سال‌ها یا دهه‌ها بعد به ابزارهای مهمی تبدیل شده‌اند.

ورهوف این نظر را با استعاره‌ای در مورد آینده بشر توضیح می‌دهد. از نظر او، ما دقیقاً نمی‌دانیم در آینده با چه چالش‌هایی روبه‌رو خواهیم شد و به چه دانشی نیاز خواهیم داشت. به همین دلیل، بازی با ایده‌ها، طرح سؤالات غیرمتعارف و بررسی موضوعاتی که ظاهراً هیچ سود مستقیمی ندارند، بخشی از فرایند یادگیری است.

مسئله آویزان‌کردن تابلو نمونه‌ای برجسته از همین نوع کنجکاوی است: یک سؤال سادۀ مربوط به چند میخ و یک تکه نخ که در نهایت به نظریه گروه‌ها، گره‌ها، گراف‌ها، هندسه چندبعدی، منطق و الگوریتم‌های کامپیوتری ارتباط می‌یابد.