محققان الگوریتم ریاضی برای حل سریع جداول سودوکو ارائه کردند

مجموعه: اخبار علمی و آموزشی

تاریخ انتشار : یکشنبه, 23 مهر 1391 11:04

دو محقق اقدام به ارائه یک الگوریتم ریاضی کره اند که با استفاده از آن می توان جدولهای سودوکو را به سرعت و بدون حدس زدن حل کرد.

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

تنها مانع این روش این است که شما باید دارای PhD ریاضیات باشید تا درک کنید که در واقع آنها چه مسئله ای را مطرح کرده اند.

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

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

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

این محققان همچنین کشف کردند که زمانی که آنها یک مسئله را با الگوریتم آنالوگ خود حل می کنند به دشواری مسئله مرتبط است. این امر موجب شد که آنها یک درجه رتبه بندی برای میزان دشواری یک مسئله یا جدول ارائه کنند.

محققان از یک نفر خواستند جدول سودوکوی آنها را حل کند

درجه دشواری که آنها تعیین کردند از 1 تا 4 متغیر است که این درجه ها همان واژه های ساده، سخت و فوق سخت است که در رابطه با جداول سودوکو اعمال می شود. حل یک جدول با درجه سختی 2 ، نیازمند زمانی 10 برابر حل جدول با درجه سختی یک است.

براساس این سیستم سخت ترین جدول شناخته شده از درجه 3.6 برخوردار و مشخص نیست که آیا جدولی سخت تر از آن هم وجودداشته باشد یا خیر.

این نظریه با مشخص کردن میزان انتخابها برای هر جای خالی آغاز شد

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

روش شناسی توروسکی و ارسی - راواسز برای نخستین بار در مجله Nature Physics منتشر شد و سپس کاربرد آن در مجله Nature Scientific Reports انتشار یافت.

دشواری جدولهای سودوکو به عنوان دینامیکهای بی نظم نشان داده شده است

منبع:mehrnews.com