PDA

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



Maryam Mehri
14-10-2012, 21:37
دو محقق اقدام به ارائه یک الگوریتم ریاضی کره اند که با استفاده از آن می توان جدولهای سودوکو را به سرعت و بدون حدس زدن حل کرد.

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

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

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

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

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

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


http://hupaa.com/db/pages/2012/10/14/004/zimg_001_88.jpg
محققان از یک نفر خواستند جدول سودوکوی آنها را حل کند

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

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

http://hupaa.com/db/pages/2012/10/14/004/zimg_002_89.jpg
این نظریه با مشخص کردن میزان انتخابها برای هر جای خالی آغاز شد

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

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

http://hupaa.com/db/pages/2012/10/14/004/zimg_003_90.jpg
دشواری جدولهای سودوکو به عنوان دینامیکهای بی نظم نشان داده شده است
بن پایه : خبرگزاری مهر