برای اولین بار مقاله ای از ایران توسط مهدی صفرنژاد بروجنی، دانشجوی دکتری دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف در پنجاه و یکمین دوره از کنفرانس ACM Symposium on Theory of Computing به عنوان یکی از مهم ترین رویدادهای علوم نظری کامپیوتر دنیا ارائه خواهد شد.

به گزارش ایسنا، مهدی صفرنژاد بروجنی دانشجوی دکتری دانشکدۀ مهندسی کامپیوتر دانشگاه صنعتی شریف مقاله خود را با عنوان «حل بهینۀ تقریبی فاصلۀ ویرایش درختی در زمان مربعی» در پنجاه و یکمین دوره از کنفرانس ACM Symposium on Theory of Computing که در کشور آمریکا برگزار می شود، ارائه خواهد کرد.

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

در این مقاله یک الگوریتم تقریبی برای مقایسۀ دو ساختار درختی ارائه شده است که نسبت به الگوریتم های قبلی بسیار سریع تر است. مسئلۀ مقایسۀ ساختارهای درختی در بیوانفورماتیک (برای مقایسۀ دو ساختار RNA)، مقایسۀ دو XML، پردازش تصویر بهینه سازی در کامپایلرها کاربرد دارد. نسخه کامل این مقاله شامل ۵۰ صفحه است که نسخۀ چاپ شده در کنفرانس خلاصۀ ۱۲ صفحه ای از آن است.

پنجاه و یکمین دوره از کنفرانس ACM Symposium on Theory of Computing به عنوان یکی از مهم ترین رویدادهای علوم نظری کامپیوتر در ایالت آریزونای امریکا در حال برگزاری است با این تفاوت که امسال برای اولین بار یک مقاله از ایران در این کنفرانس ارائه شده است.

طبق اعلام روابط عمومی دانشگاه شریف، بسیاری از شاخه های کنونی علوم و مهندسی کامپیوتر برای اولین بار در این کنفرانس که به STOC معروف است مطرح شده اند که از آن جمله می توان به مسئلۀ P و NP در پیچیدگی محاسبات، طراحی مکانیزم در نظریۀ بازی ها، جست وجوی گروور در الگوریتم های کوانتومی، تحلیل هموار الگوریتم ها و استراتژی تقسیم و حل در طراحی الگوریتم اشاره کرد که هر کدام پس از آن به یک شاخۀ پژوهشی تبدیل شدند.



این مقاله از طریق لینک https://dl.acm.org/citation.cfm?id=۳۳۱۶۳۸۸ در دسترس است.