با سلام
من و آقای علی نوروزی مقاله ای با مشخصات زیر را ترجمه کردیم که جهت چاپ به خبرنامه انجمن ریاضی ایران ارسال شده و انشا... بزودی چاپ می شود. بد ندانستم قسمت ابتدایی آن مقاله را در وبلاگ هم قرار دهم:
Michael Sollami, Landmark Algorithm Breaks 30-Year Impasse, Quanta Magazine, December 14, 2015
***********************************************************************
الگوریتمی برجسته به تنگنایی سی ساله پایان میدهد.
دانشمندان علوم کامپیوتر شگفتزده از ارائهی الگوریتمی هستند که بسیار سریع و کارآمد یکی از بنیادیترین مسائل این حیطه را حل میکند.
اریکا کلاریچ
ترجمه: سعید علیخانی و علی نوروزی
دانشگاه یزد
مساله "یکریختی گراف" به طور ساده بررسی می کند که اگر دو شبکه ظاهرا متفاوت باشند، در واقع یکسان هستند یا نه.
یک دانشمند علوم کامپیوتر الگوریتمی ارائه کرده که به دلیل برقرار کردن ارتباط میان جنبههای تاریک نظریهی پیچیدگی که وظیفهی آن بررسی میزان دشواری حل یک مسئله است، بسیار مورد تحسین قرار گرفته است. ماه گذشته لازلو بابای (László Babai) از دانشگاه شیکاگو اعلام کرد که یک الگوریتم جدید برای حل مسئلهی یکریختی گراف پیدا کرده است که یکی از وسوسهانگیزترین و مرموزترین مسائل موجود در علوم کامپیوتر است. به نظر میرسد که این الگوریتم جدید بسیار کارآمد تر از بهترین الگوریتمی است که در سی سال گذشته از آن استفاده میکردیم.
مقالهی وی این روزها در سایت علمی آرکایو arxiv.org قابل دسترس است، همچنین وی مقالهی خود را برای چهل و هشتمین همایش نظریهی محاسبهی انجمن ماشینهای اداری (Association for Computing Machinery’s) نیز فرستاده است. برای دهه ها مسالهی یکریختی گرافها جایگاه ویژهای در نظریهی پیچیدگی داشته است. در حالی که هزاران مسئلهی محاسباتی مختلف دیگر به راحتی در یکی از دستههای "سخت" و یا "آسان" قرار میگیرند، مسئلهی یکریختی گراف زیر بار این تقسیمبندی نمیرفت. چرا که به نظر میرسید از مسائل سخت، آسانتر و از مسائل آسان، سخت تر است و این امر باعث شد که این مسئله در یک حیطهی سرگردانی بین این دو دسته قرار گیرد. به گفتهی اسکات آرونسون (Scott Aaronson) که یکی از صاحبنظران در حیطهی پیچیدگی است، "این مسئله یکی از دو مسئلهی بسیار مهم در این حیطه است که هنوز در مورد آنها سردرگمی وجود دارد." وی همچنین میافزاید "به نظر میرسد که بالاخره یکی از آنها از سردرگمی در آمده باشند."
کشف بابی جامعهی علوم کامپیوتر را شوکه کرد. به گفتهی جاشوا گروچو (Joshua Grochow)، دانشمند علوم کامپیوتر از موسسهی سانتافه، "اگر ثابت شود که کارهای وی درست بوده، میتوان از آن به عنوان دستاورد بزرگ دهه و یا حتی دهه ها یاد کرد".