دومین همایش بین المللی ریاضی ایران




سامانه ثبت نام

بزرگترین راه حل ارائه شده در جهان ریاضیات!

31 مرداد 1395

به نقل از دبیرخانه همایش ریاضی :
اگر فکر می‌کنید ریاضیات دوران دبیرستان یک کابوس بوده‌است، شاید بد نباشد به سه ریاضیدانی فکر کنید که راه حل آنها برای یک مسأله ریاضی، متنی با حجم ۲۰۰ ترابایت بود، حتی در شرایطی که برای حل آن از ابررایانه استفاده کردند.
بر اساس گزارش نیچر، اگر درنظر بگیرید كه یك ترابایت برابر 337 هزار و 920 نسخه كپی از رمان مشهور جنگ و صلح، یكی از طولانی‌ترین رمان‌هایی كه در طول تاریخ نوشته شده، باشد، می‌توانید غیرقابل تصور بودن حجم 200 ترابایت متن را درك كنید. ركورد سابق برای طولانی‌ترین راه حل و اثبات برای یك مسأله ریاضی 13 گیگابایت بوده كه در سال 2014 منتشر شده‌است.
مسأله ریاضی 200 ترابایتی مسأله سه گانه بولی فیثاغورسی نام دارد كه اولین بار توسط ریاضیدانی كالیفرنیایی به نام رونالد گراهام در دهه 1980 مطرح شد. این مسأله درباره فرمول فیثاغورس است: a به توان دو به اضافه b به توان دو برابر است با c به توان دو، درجایی كه a و b اضلاع كوتاهتر مثلث هستند و c وتر یا ضلع طولانی‌تر مثلث به شمار می‌رود. 
مجموعه‌هایی خاص از سه عدد صحیح مثبت كه به سه‌گانه فیثاغورس شهرت دارد را می‌توان در این فرمول گنجاند،‌برای مثال مجموع سه به توان دو و چهار به توان دو برابر است با پنج به توان دو. با در نظر گرفتن این موضوع،‌ گراهام این مسأله را مطرح كرد كه تمامی اعداد صحیح یا قرمز باشند یا آبی، به این شكل هیچ‌یك از مجموعه‌های سه گانه فیثاغورس یكرنگ نیستند. وی 100 دلار جایزه برای فردی تعیین كرد كه بتواند این مسأله را حل كند.
مارجین هیو ریاضیدان دانشگاه تگزاس، ویكتور مارك از دانشگاه كنتاكی و اولیور كولمن از دانشگاه سوانسی با همكاری یكدیگر موفق به كشف پاسخ این مسأله شدند. این سه فرد با وارد كردن ارقام تكنیك‌های مختلف ریاضی به ابررایانه دانشگاه تگزاس توانستند رقم تركیب رنگی احتمالات موجود را از 102300 تریلیارد به یك تریلیارد كاهش دهند.
این ابررایانه 800 پردازشگری پس از آن برای دو روز به زیر و رو كردن یك تریلیارد باقی مانده پرداخت و در نهایت رقم 7824 را به عنوان پاسخ نهایی اعلام كرد. درصورتی كه از 7825 عدد صحیح یا بیش از این استفاده كنید، امكان ایجاد الگویی كه گراهام به دنبال آن بود از بین خواهد‌رفت.
اثبات این مسأله، كه در ریاضی به معنی نوشتن تمامی راه‌حل‌هایی است كه برای رسیدن به پاسخ نهایی استفاده شده‌اند، 200 ترابایت فایل را در ابررایانه اشغال كرد، این رقم برابر تمامی متون دیجیتالی شده در كتابخانه كنگره در آمریكا است. با این همه این سه ریاضیدان نسخه‌ای فشرده و 68 گیگابایتی از راه‌حل خود ایجاد كرده‌اند كه دانلود، بازسازی و تایید  آن 30 هزار ساعت زمان می‌برد. از این رو ریاضیدانان از رایانه‌ای دیگر برای تایید راه‌حل و پاسخ خود استفاده كردند تا گراهام از نتیجه درست این راه حل اطمینان حاصل كرده و با رضایت چك 100 دلاری جایزه را برای آنها پست كند.
 
همایش بین المللی ریاضی در تهران برگزار می گردد.برای اطلاع از محورها اینجا را کلیک نمایید.
برچسب ها : آنالیز ، جبر ، هندسه ، توپولوژی ، نظریه ، نظریه گراف ، ترکیبیات ، معادله ، معادلات ، دیفرانسیل ، معادلات دیفرانسیل ، آنالیز عددی ، تحقیق در عملیات ، نظریه کنترل ، تاریخ ریاضی ، آمار ، نظریه احتمال ، علوم کامپیوتر ، ریاضی مالی ، بهینه سازی ، کنترل ، ریاضیات ، آموزش ریاضی ، ریاضیات عمومی ، ریاضی عمومی ، هندسه ، مختلط ، اعداد مختلط ، منطق ، نظریه اعداد ، نظریه کدگذاری ، نظریه حلقه ها ، مدول ، نظریه تقریب ، نظریه گروهها ، توپولوژی ، جبر لی ، ریاضی ، ریاضیات ، هندسه جبری ، ریاضیدان ، فضا ، ریاضی کاربردی ، کمیت ، متغیر ، متغیر وابسته ، متغیر آزاد ، استدلال ، استدلال منطقی ، عمل ، میدان ، اعداد ، اعداد طبیعی ، اعداد حسابی ، گروه ، اعداد صحیح ، اعداد گویا ، اعداد گنگ ، اعداد اول ، اعداد اعشاری ، اعداد مرکب ، اعداد حقیقی ، اعداد جبری ، عدد پی ، مثلثات ، تغییر ، آنالیز تابعی ، آنالیز ریاضی ، مونوئیدها ، مبانی ریاضیات ، نظریه مدل ، ریاضیات معکوس ، جدول نمادهای ریاضی ، احتمالات ، اقتصاد ریاضی ، نظریه بازی ها ، رمزنگاری ، نظریه اطلاعات ، نظریه رایانش ، ریاضیات گسسته ، حساب ، حسابان ، سیستمهای دینامیکی ، حساب برداری ، پایه ، اعداد اصلی ، بینهایت


370
مطالب مرتبط


لطفا با تكميل فرم ، نظرات ، پيشنهادات و انتقادات خود را در مورد مطلب منتشر شده با ما در ميان بگذاريد.
پيام شما پس از تاييد توسط مدير سايت ، منتشر خواهد شد.
 

 
Captcha


 
حامیان علمی و معنوی

دانشگاه اصفهان

تماس با ما

02133699094

02136621318

02136621319

02189786524

conf.ntpco[at]gmail.com





مرکز همایش های بین المللی توسعه ایران