درس 2 واحدی سمینار به عنوان بخشی از سرفصل آموزشی دوره کارشناسی ارشد رشته علوم کامپیوتر (همانند خیلی از رشتههای دیگر) قرار دارد. در این درس معمولا مقدماتی از مطالعات کتابخانهای پایاننامه در حضور اعضای عیات علمی دانشکده و سایر دانشجویان توسط دانشجو و با نظارت استاد راهنمای مربوطه ارائه میشود. مزیت چنین ارائهای به نظر من از دو جنبه میتواند بررسی شود (البته محدود به همین دو جنبه نیست):
- سایر افراد در جریان کار پژوهشی قرار گرفته و نظرات خود را نسبت به آن ابراز میکنند،
- ارائه دهنده تجربه و تصوری از جلسه دفاعیه خود به دست میآورد.
با توجه به اینکه موضوع پایاننامه من در زمینه رایانش کوانتومی و پیچیدگی محاسباتی کوانتومی است، «رایانش کوانتومی و مساله SAT» را به عنوان موضوع ارئه انتخاب کردم. در این ارائه به روشهای حل مساله SAT یا مساله صدقپذیری که یکی از مسائل NP-کامل است با استفاده از روشهای کوانتومی پرداختهام و در نهایت با استفاده از ماشین تورینگ کوانتومی تعمیمیافته نشان دادهام که این مساله با استفاده از تکنیک تقویت آشوب به صورت چندجملهای قابل حل است و از این رهگذر در مورد قابلیت ساخت ماشین تورینگ کوانتومی تعمیمیافته از منظر قواعد فیزیکی پرداختهام. این ارائه مشتمل بر 43 اسلاید است که در مدت 29 دقیقه و 37 ثانیه (از دوست و همکلاسی عزیزم، آقای سید حسن امیری، برای این اندازهگیری دقیق(!) ممنونم!) ارائه شده است. اسلایدهای ارائه را میتوانید از اینجا دریافت کنید.