حل بزرگترین مسأله ریاضی در جهان

بیگ بنگ: تیمی از محققان دانشگاه تگزاس، کنتاکی و سوانسی موفق به یافتن اثباتی جدید برای یک مساله ریاضی شدند که در دهه ۸۰ میلادی مطرح شده بود. محققان این پژوهش با استفاده از ۲۰۰ ترابایت داده ثبت شده توانستند تا پاسخ پیش بینی را که برای این تئوری اعلام شده بود رد کرده و به حل این مساله بپردازند.

_MG_7020sdp_webبراساس گزارش نیچر به نقل از همشهری، اگر در نظر بگیرید که یک ترابایت برابر ۳۳۷ هزار و ۹۲۰ نسخه کپی از رمان مشهور جنگ و صلح، یکی از طولانی‌ترین رمان‌هایی که در طول تاریخ نوشته شده، باشد، می‌توانید غیرقابل تصور بودن حجم ۲۰۰ ترابایت متن را درک کنید. رکورد سابق برای طولانی‌ترین راه حل و اثبات برای یک مسأله ریاضی ۱۳ گیگابایت بوده که در سال ۲۰۱۴ منتشر شده‌است.

مسأله ریاضی ۲۰۰ ترابایتی مسأله سه گانه بولی فیثاغورسی نام دارد که اولین بار توسط ریاضیدانی کالیفرنیایی به نام رونالد گراهام در دهه ۱۹۸۰ مطرح شد. این مسأله درباره فرمول فیثاغورس است: a به توان دو به اضافه b به توان دو برابر است با c به توان دو، در جایی که a و b اضلاع کوتاهتر مثلث هستند و c وتر یا ضلع طولانی‌تر مثلث به شمار می‌رود.

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

مارجین هیو ریاضیدان دانشگاه تگزاس، ویکتور مارک از دانشگاه کنتاکی و اولیور کولمن از دانشگاه سوانسی با همکاری یکدیگر موفق به کشف پاسخ این مسأله شدند. این سه فرد با وارد کردن ارقام تکنیک‌ های مختلف ریاضی به ابرکامپیوتر دانشگاه تگزاس توانستند رقم ترکیب رنگی احتمالات موجود را از ۱۰۲۳۰۰ تریلیارد به یک تریلیارد کاهش دهند. این ابرکامپیوتر ۸۰۰ پردازشگری پس از آن برای دو روز به زیر و رو کردن یک تریلیارد باقی مانده پرداخت و در نهایت رقم ۷۸۲۴ را به عنوان پاسخ نهایی اعلام کرد. در صورتی که از ۷۸۲۵ عدد صحیح یا بیش از این استفاده کنید، امکان ایجاد الگویی که گراهام به دنبال آن بود از بین خواهد‌رفت.

اثبات این مسأله، که در ریاضی به معنی نوشتن تمامی راه‌حل‌هایی است که برای رسیدن به پاسخ نهایی استفاده شده‌اند، ۲۰۰ ترابایت فایل را در ابرکامپیوتری اشغال کرد، این رقم برابر تمامی متون دیجیتالی شده در کتابخانه کنگره در آمریکا است. با این همه این سه ریاضیدان نسخه‌ای فشرده و ۶۸ گیگابایتی از راه‌حل خود ایجاد کرده‌اند که دانلود، بازسازی و تایید آن ۳۰ هزار ساعت زمان می‌برد. از این رو ریاضیدانان از کامپیوتری دیگر برای تایید راه‌حل و پاسخ خود استفاده کردند تا گراهام از نتیجه درست این راه حل اطمینان حاصل کرده و با رضایت چک ۱۰۰ دلاری جایزه را برای آنها پست کند. جزئیات بیشتر این پژوهش در arXiv.org منتشر شده است.

سایت علمی بیگ بنگ / منبع: nature.com

image_pdfimage_print
(19 نفر , میانگین : 4٫84 از 5)
لینک کوتاه مقاله : http://bigbangpage.com/?p=50580
تحریریه‌ی بیگ بنگ

تحریریه‌ی بیگ بنگ

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

شما ممکن است این را هم بپسندید

۶ پاسخ‌ها

  1. hesam گفت:

    من مسئله رو نمیفهمم میشه لطفا بیشتر توضیح بدید

  2. بهزاد گفت:

    اون قسمت که مربوط به رنگه نفهمیدم.یه منبع بدین که راحت تر گفته باشه

  3. محمد گفت:

    چقدر مسئله رو گنگ مطرح کردید؟!اصلا قابل فهم نیست!به جای مطرح کردن درست اصل مسئله و پاسخ آن بیشتر روی حجمی که جواب اون اشغال کرد نوشتید!

پاسخ دهید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *