یک توپ بیلیارد می‌تواند از نظر تئوری هر محاسبه‌ای را انجام دهد!

ریاضیدان‌ها نشان داده‌اند یک توپ بیلیارد درون میزی با هندسه ویژه می‌تواند از لحاظ تئوری هر محاسبه‌ای را که یک کامپیوتر قادر به انجام آن است، شبیه‌سازی کند.

معمای توپ بیلیارد

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

به گزارش ساینس‌الرت، دو راضیدان به نام‌های اوا میراندا از دانشگاه پلی‌تکنیک کاتالونیا و آیزاک راموس از ETH زوریخ نشان داده‌اند که یک توپ واحد درون یک میز بیلیارد دوبعدی با هندسه خاص می‌تواند عملکرد یک «ماشین تورینگ جهان‌شمول» را شبیه‌سازی کند. ماشین تورینگ یک مدل ریاضی است که آلن تورینگ در سال ۱۹۳۶ برای توصیف فرایند محاسبه ارائه کرد و یک نسخه جهان‌شمول آن می‌تواند هر ماشین تورینگ دیگری را شبیه‌سازی کند.

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

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

بیشتر بخوانید:

  • ریاضیدان‌ها توانستند تاس‌ «کاملا عادلانه» بسازند
  • هوش مصنوعی چینی معمای ریاضی ۳۰۰ ساله را حل کرد
  • ریاضیدان‌ها بدترین روش آویزان کردن تابلو را پیدا کردند!

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

این مدل حتی محدودیت معروف «مسئله توقف» را نیز بازتولید می‌کند؛ مسئله‌ای که می‌پرسد آیا یک برنامه مشخص سرانجام متوقف می‌شود یا برای همیشه ادامه خواهد داشت. تورینگ نشان داده بود هیچ الگوریتم عمومی نمی‌تواند این پرسش را برای تمام برنامه‌ها و ورودی‌های ممکن پاسخ دهد. پژوهش جدید نشان می‌دهد همین محدودیت بنیادی را می‌توان در حرکت یک توپ نیز بازنمایی کرد.

کد خبر 1070716 منبع: همشهری آنلاین

  • یک توپ بیلیارد می‌تواند از نظر تئوری هر محاسبه‌ای را انجام دهد!

  • آمار جدید بانک مرکزی درباره روند رشد نقدینگی

  • دروس حوزه علمیه قم تعطیل شد+ جزئیات

  • سبک بازی یاسر آسانی شبیه من است! | تیم من هم به من وابسته بود

  • احداث ۵۰۰ کیلومتر کانال مهار سیلاب در تهران| آمادگی پایتخت در برابر النینو

  • جنجال عجیب در کنسرت ابی+ ویدئو | فریاد لبیک یا خامنه‌ای و واکنش آقای خواننده

  • کاهش موازی کاری پیمانکاران خدمات شهری در شهر

  • تلفن همراه ارزان شد؛ قیمت موبایل چگونه تعیین می‌شود؟

  • ترامپ به التماس افتاد؛ درخواست توقف حملات به پالایشگاه‌های نفت بارها تکرار شد

  • نگهداری گیاه پتوس در منزل ؛ برای رشد گل پتوس چی خوبه؟

  • حملات جنگنده‌های پاکستان به کشور همسایه

  • احتمال رویارویی مستقیم نظامی ایران و انصارالله با اسرائیل؟ | نگرانی شدید تل‌آویو از گسترش درگیری ها

  • ۲ پرسپولیسی دستیار قلعه نویی شدند؛ بازگشت چهره خبرساز به تیم ملی

  • اولین تصاویر از شکار اسرائیلی ارتش منتشر شد

  • شاهکار سپاه در شکار غول پدافندی آمریکا + فیلم | وقتی موشک‌های ایران رادارهای ۵ هزار کیلومتری را از کار انداختند

  • گزینه آخر آمریکا برای شکست انصارالله: حمله زمینی! | ترامپ درمورد ایران چاره‌ای جز عقب‌نشینی نخواهد داشت

  • درخواست رسمی بیرانوند قبل از اعزام؛ مشکل اعصاب و روان دارم و خالکوبی هم کردم

  • اولین تصویر از قاتل ۵ عضو یک خانواده در محله سیمون‌بولیوار | برادر بزرگم اشتباهی کشته شد!