شایان اویس قرن مدال ارزشمند آباکوس در علوم کامپیوتر نظری دریافت کرد | استاد مسئله فروشنده دوره‌گرد

دنیای علوم کامپیوتر نظری همیشه میان دو جبهه در نوسان است: آن‌هایی که محدودیت‌ها را می‌پذیرند و الگوریتم‌نویسانی که مرزهای ناممکن را فرامی‌روند. شایان اویس قرن، دانشمند برجسته ایرانی دانشگاه واشنگتن، با دریافت مدال آباکوس سال ۲۰۲۶ نشان داد که گاهی برای حل سخت‌ترین معماهای ریاضیات کاربردی، باید پیوندهایی غیرمنتظره میان شاخه‌های کاملاً بی‌ربط ایجاد کرد.

در این مقاله قصد داریم مسیر شگفت‌انگیز زندگی و دستاوردهای علمی شایان اویس قرن را بررسی کنیم و ببینیم او چگونه توانست پس از چهار دهه، رکورد الگوریتم کلاسیک مسئله فروشنده دوره‌گرد را بشکند. آیا پیوند میان احتمالات، نظریه گراف و چندجمله‌ای‌ها می‌تواند کلید حل پیچیده‌ترین مسائل محاسباتی عصر ما باشد؟ چگونه نگاهی فرارشته‌ای و بی‌پروا می‌تواند یک بن‌بست ریاضی ۴۰ ساله را فرو بریزد؟ با ما همراه باشید تا سیر اندیشه و دستاوردهای این ریاضیدان نامدار را مرور کنیم.

نگاهی نو به ابزارهای ریاضیات نظری

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

اویس قرن نه‌تنها در اندیشه، بلکه در رفتار فیزیکی نیز بی‌قرار به نظر می‌رسد. هنگام صحبت درباره تحقیقاتش هیجان‌زده می‌شود و مدام وضعیت نشستن خود را تغییر می‌دهد. شایان به خاطر پژوهش‌هایش روی مسئله فروشنده دوره‌گرد، که مسئله‌ای بسیار دشوار درباره یافتن بهینه‌ترین مسیر میان چند نقطه است، شهرت جهانی دارد. او همچنین مشارکت‌های درخشانی در زمینه انتخاب تصادفی از میان مجموعه‌های بزرگ ریاضی داشته است. به پاس همین تلاش‌ها، اتحادیه بین‌المللی ریاضیات مدال آباکوس را به او اهدا کرد؛ مدالی که هر چهار سال یک‌بار به محققان برجسته زیر ۴۰ سال در علوم کامپیوتر نظری داده می‌شود. کمیته داوران به بهره‌گیری او از ابزارهای نوین از بخش‌های فراتر از نگاه اولیه ریاضیات اشاره کرد که در ظاهر ربطی به علوم کامپیوتر ندارند.

امیدواری بی‌قرار در میان سختی‌ها

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

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

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

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

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

مسئله فروشنده دوره‌گرد و میان‌برهای خلاقانه

در دوران دکتری، شایان برای اولین‌بار با مسئله فروشنده دوره‌گرد روبه‌رو شد. سوال اصلی این است: با داشتن نقشه‌ای از شهرها و راه‌ها، کوتاه‌ترین مسیر دوری که از همه شهرها بگذرد چیست؟ از آنجا که یافتن پاسخ دقیق برای تمام نقشه‌ها در زمان کوتاه عملاً غیرممکن تلقی می‌شود، پژوهشگران به دنبال الگوریتم‌های تقریبی هستند. الگوریتم کلاسیک نیکوس کریستوفیدس که در دهه ۱۹۷۰ ارائه شد، مسیری تولید می‌کرد که حداکثر ۵۰ درصد از مسیر بهینه بلندتر بود. چندین دهه، هیچ دانشمندی نتوانسته بود این حد تقریب را بهبود ببخشد.

شایان اویس قرن و همکارانش تصمیم گرفتند با ترکیب عنصر تصادف و مفاهیم درخت‌های فراگیر (Spanning Trees)، الگوریتم نوینی طراحی کنند. آن‌ها عبارت‌های پیچیده احتمالی را به فرمول‌های چندجمله‌ای تبدیل کردند. تبدیل مسئله به دنیای چندجمله‌ای‌ها اجازه داد ابزارهای جدید ریاضی وارد کار شوند و بن‌بست‌های قبلی از بین بروند.

ساختن خانه اثبات؛ آجربه‌آجر

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

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

زنجیره‌های مارکوف و انقلاب در نمونه‌گیری

یکی از دستاوردهای عظیم شایان اویس قرن و تیمش، حل حدس معروف نمونه‌گیری پایه‌های متروئید بود که حدود ۳۰ سال بدون پاسخ مانده بود. الگوریتم‌های نمونه‌گیری مانند بورک زدن کارت‌های بازی، بر پایه‌ی زنجیره‌های مارکوف عمل می‌کنند. مسئله اصلی این بود که چند بار باید فرایند تصادفی تکرار شود تا نمونه نهایی واقعاً تصادفی و یکنواخت باشد.

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

بازگشت به ریشه‌ها و شکستن رکورد ۴۰ ساله

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

سرانجام این مقاله ۹۰ صفحه‌ای دقیق، رکورد ۴۰ ساله الگوریتم کریستوفیدس را شکست و نشان داد که می‌توان به تقریب‌های بهتری در حالت کلی دست یافت. این موفقیت تحسین بزرگ‌ترین پژوهشگران دنیای الگوریتم را به همراه داشت و جایگاه او را در صدر محققان این رشته تثبیت کرد.

نگاهی به مسئله فروشنده دوره‌گرد و پیچیدگی الگوریتم‌ها

مسئله فروشنده دوره‌گرد (TSP) یکی از مشهورترین مسائل کلاس NP-hard در علوم کامپیوتر است. اهمیت این مسئله تنها به پیدا کردن مسیر سفر مربوط نمی‌شود، بلکه کاربردهای وسیعی در طراحی تراشه‌های سیلیکونی، مسیریابی داده‌ها در شبکه‌های اینترنت، لجستیک و حتی زنجیره تامین پروتئین‌ها دارد. زمانی که تعداد نقاط افزایش می‌یابد، تعداد حالت‌های ممکن به صورت فاکتوریل رشد می‌کند؛ بنابراین روش‌های جستجوی ساده کاملاً ناکارآمد می‌شوند.

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

چرا مدال آباکوس اهمیت دارد؟

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

نگاه نوآورانه او در وارد کردن ابزارهای هندسه جبر و چندجمله‌ای‌های پایداری به مسائل ترکیبیاتی، مسیرهای پژوهشی تازه‌ای را برای نسل جدید دانشمندان علوم کامپیوتر گشوده است.

تاثیر چندجمله‌ای‌های ترکیبیاتی بر علوم کامپیوتر

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

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

جمع‌بندی نهایی

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