دانلود رایگان سوالات دکتری علوم کامپیوتر 1399
دانلود دفترچه سوالات کنکور دکتری علوم کامپیوتر سال ۱۳۹۹ به همراه کلید رسمی سازمان سنجش
مقطع دکتری تخصصی علوم کامپیوتر (Computer Science) قله تحلیلی و نظری سیستمهای محاسباتی، پردازش دادههای پیچیده و توسعه مبانی هوش مصنوعی است. این رشته با تمرکز بر مرزهای دانشی محاسبات نظری، به تحلیل بنیانهای ریاضی الگوریتمها، ردههای پیچیدگی محاسباتی ($NP ext{-Completeness}$، $PSPACE$ و محاسبات کوانتومی)، مدلسازی منطقی، هوش مصنوعی پیشرفته و یادگیری عمیق، و بهینهسازی ترکیبیاتی میپردازد.
دفترچه سوالات آزمون دکتری علوم کامپیوتر سال ۱۳۹۹ مشتمل بر سوالات کاملاً مفهومی و استدلالی در حوزههای نظریه محاسبات و زبانها، طراحی و تحلیل الگوریتمهای پیشرفته، ساختارهای داده پیشرفته، نظریه گراف، هوش مصنوعی، و آمار و احتمالات محاسباتی است. داوطلبان، دانشجویان و پژوهشگران میتوانند سوالات این آزمون را به همراه کلید رسمی پاسخنامه سازمان سنجش آموزش کشور از طریق جدول زیر دریافت نمایند.
مشاهده نمونه دفترچه
سال : 1399
گروه : ---
مشخصات فایل : 1.04MB / PDF
قیمت : 50,000 ريال
آزمون های برگزار شده
تحلیل ساختاری سرفصلها و مباحث تخصصی آزمون دکتری علوم کامپیوتر ۱۳۹۹
آزمون دکتری علوم کامپیوتر بر سنجش تفکر الگوریتمی، قدرت اثبات ریاضی، درک نظری محاسبات و توانایی تحلیل پیچیدگی تمرکز دارد. اصلیترین سرفصلهای ارزیابیشده در این آزمون عبارتند از:
- طراحی و تحلیل الگوریتمهای پیشرفته (Advanced Algorithms): الگوریتمهای تقریبی (Approximation Algorithms) و ضرایب تقریب؛ الگوریتمهای برخط (Online Algorithms) و تحلیل رقابتی (Competitive Analysis)؛ الگوریتمهای تصادفی (Randomized Algorithms) مانند Las Vegas و Monte Carlo؛ تحلیل سرشکنشده (Amortized Analysis با روشهای Aggregate، Accounting و Potential)؛ شار بیشینه و برش کمینه (Ford-Fulkerson, Push-Relabel)؛ الگوریتمهای برنامهریزی پویا و تقسیم و غلبه پیشرفته.
- نظریه محاسبات و پیچیدگی (Theory of Computation & Complexity): ماشینهای تورینگ (کلاسیک، غیرقطعی، چندنواره)؛ مسائل تصمیمپذیری و ناپذیری (Decidability & Uncomputability، مسئله توقف / Halting Problem و قضیه رایس)؛ ردههای پیچیدگی زمان و فضا ($P$, $NP$, $NP ext{-Complete}$, $NP ext{-Hard}$, $PSPACE$, $EXPTIME$)؛ فروکاستپذیری نگاشتی و چندجملهای (Mapping & Polynomial-Time Reductions)؛ الگوریتمهای پارامتریشده (Fixed-Parameter Tractability - FPT).
- نظریه گراف و بهینهسازی ترکیبیاتی (Graph Theory & Combinatorial Optimization): پوششها، تطابقها (Matching، قضایای هال و تات، الگوریتم Blossom)؛ رنگآمیزی گرافها (شاخص کروماتیک و قضایای Brooks و Vizing)؛ دورهای هامیلتونی و اویلری؛ گشتها، همبندی (Vertex & Edge Connectivity، قضایای Menger)؛ گرافهای مسطح (Planar Graphs و قضیه ایولر)؛ نظریه رمزی (Ramsey Theory) و ماتریسهای مجاورت/لپلاسین گراف.
- هوش مصنوعی، یادگیری ماشین و علم داده (AI & Machine Learning): نظریه یادگیری آماری (Statistical Learning Theory) و بعد VC؛ الگوریتمهای یادگیری نظارتشده (SVM، درختهای تصمیم، مدلهای گرافیکی احتمالی)؛ یادگیری عمیق (شبکههای کانولوشنی CNN، شبکههای توالی Recurrent/Transformers)؛ یادگیری تقویتی (Q-Learning، MDPs، Policy Gradients)؛ خوشهبندی و کاهش ابعاد ناخودآگاه (PCA, t-SNE, SVD).
- ساختارهای داده پیشرفته (Advanced Data Structures): درختهای خودمتوازن (AVL, Red-Black, Splay Trees)؛ هیپهای پیشرفته (Fibonacci Heaps, Binomial Heaps)؛ ساختارهای داده فضایی و متنی (Kd-Trees, R-Trees, Suffix Trees, Suffix Arrays)؛ ساختارهای داده منهای حافظه و فیلترهای بلوم (Bloom Filters).
- مبانی ریاضیات و احتمالات محاسباتی (Mathematical & Probabilistic Foundations): نامساویهای تمرکز (Chernoff Bounds, Markov, Chebyshev)؛ زنجیرههای مارکوف و زمان اختلاط (Mixing Time)؛ جبر خطی عددی و محاسبات ماتریسی سنگین؛ منطق ریاضی و روشهای صورتبندی دقیق (Formal Methods).
جدول عناوین دروس امتحانی، سرفصلها و ضرایب دکتری علوم کامپیوتر
بر اساس دفترچه رسمی سازمان سنجش آموزش کشور، عناوین و ضرایب امتحانی این آزمون به شرح زیر است:
| ردیف | عنوان ماده امتحانی | سرفصلهای تحلیلی و مباحث کلیدی | ضریب | زمان آزمون |
|---|---|---|---|---|
| ۱ | مجموعه دروس تخصصی | دروس پایه و پیشرفته (شامل طراحی و تحلیل الگوریتمها، نظریه محاسبات، ساختارهای داده پیشرفته، نظریه گراف، هوش مصنوعی و آمار محاسباتی) | ۴ | ۱۲۰ دقیقه |
| ۲ | استعداد تحصیلی | استدلال منطقی و الگوریتمی، کفایت دادهها، درک بصری-ماتریسی و حل مسائل ریاضی و تحلیلی | ۱ | ۶۰ دقیقه |
| ۳ | زبان عمومی و تخصصی | درک مطلب متون تخصصی علوم کامپیوتر، واژگان نظری و ساختارهای متنی بر اساس مراجع معتبر بینالمللی (مانند کتابهای Cormen و Sipser) | ۱ | ۳۰ دقیقه |
راهکارهای کسب موفقیت در مصاحبه دکتری علوم کامپیوتر
در مصاحبههای دکتری علوم کامپیوتر دانشگاههای برتر (مانند دانشگاه صنعتی شریف، تهران، امیرکبیر و دانشگاه تربیت مدرس)، توانایی اثبات تفکر ریاضی و درک ساختاری اهمیت بسیار بالایی دارد:
- تسلط بر اثباتهای ریاضی و تحلیل الگوریتمی روی تخته: آمادگی برای پاسخدهی بداهه به سوالات اثباتی در زمینه نظریه گراف، اثبات $NP ext{-Completeness}$ یک مسئله جدید از طریق Reduction، یا تحلیل کرانهای بالایی و پایینی پیچیدگی زمانی.
- اشراف بر پیادهسازی و ابزارهای توسعه نظری: توانایی برنامهنویسی ساختیافته و بهینه با زبانهای Python یا C++ و تسلط بر کتابخانههای مطرح محاسباتی و هوش مصنوعی (PyTorch, TensorFlow, NetworkX, SciPy).
- ارائه پروپوزال شفاف و منطبق بر مرزهای دانش: تدوین پیشنهاد پژوهشی در حوزههای داغ نظیر «توسعه الگوریتمهای کوانتومی در بهینهسازی ترکیبیاتی»، «یادگیری عمیق اثباتپذیر و قابل تفسیر (Explainable & Provable AI)»، «الگوریتمهای پارامتریشده روی گرافهای بزرگمقیاس»، یا «نظریه یادگیری در سیستمهای چندعاملی (Multi-Agent RL)».
پرسشهای متداول و تحلیلی کنکور دکتری علوم کامپیوتر (FAQ)
مفهوم اثبات $NP ext{-Completeness}$ با استفاده از فروکاستپذیری چندجملهای (Polynomial-Time Reduction) چیست؟
برای اثبات اینکه یک مسئله جدید مانند $L_2$ در رده $NP ext{-Complete}$ قرار دارد، باید دو گام اساسی طی شود: ۱) ابتدا اثبات شود خود مسئله $L_2 in NP$ است (یعنی یک گواهی/Certificate پیشنهادی را میتوان در زمان چندجملهای تایید کرد). ۲) یک مسئله شناختهشده $NP ext{-Complete}$ مانند $L_1$ (نظیر 3-SAT یا Vertex Cover) انتخاب شده و نشان داده شود که $L_1 le_p L_2$ (یعنی $L_1$ در زمان چندجملهای به $L_2$ نگاشته میشود). این بدان معناست که هر نمونه از $L_1$ به نمونهای از $L_2$ تبدیل میشود به طوری که پاسخ بله/خیر آنها یکسان باشد. اگر الگوریتم چندجملهای برای $L_2$ پیدا شود، $L_1$ نیز در زمان چندجملهای حل خواهد شد.
تفاوت تحلیل سرشکنشده (Amortized Analysis) و تحلیل حالت میانگین (Average-Case Analysis) چیست؟
در تحلیل حالت میانگین (Average-Case)، عملکرد الگوریتم روی تمام ورودیهای ممکن با فرض یک توزیع احتمالی مشخص (مثلاً توزیع یکنواخت ورودیها) میانگینگیری میشود؛ بنابراین اگر توزیع ورودی تغییر کند، نتیجه معتبر نخواهد بود. اما در تحلیل سرشکنشده (Amortized Analysis)، هیچ فرض احتمالی روی ورودیها وجود ندارد. این تحلیل میانگین زمان اجرای یک دنباله بدترین حالت از عملیات (Sequence of Operations) را محاسبه میکند تا نشان دهد هزینه عملیاتهای نادر سنگین توسط عملیاتهای متعدد سبک جبران میشود و برای هر دنباله واقعی از عملیات، کران بالایی قطعی و تضمینشده ارائه میدهد.
مفهوم VC-Dimension در نظریه یادگیری آماری چیست و چه ارتباطی با توانایی تعمیم (Generalization) دارد؟
بعد VC (Vapnik-Chervonenkis Dimension) سنجهای برای اندازهگیری ظرفیت و پیچیدگی یک فضای فرضیه (Hypothesis Space $mathcal{H}$) است. این شاخص برابر با حداکثر تعداد نقاطی است که مجموعه فرضیههای $mathcal{H}$ میتواند تمام حالتهای برچسبزنی ممکن ($2^d$ حالت) روی آنها را تفکیک کند (Shatter کند). اگر VC-Dimension یک کلاس فرضیه متناهی باشد، طبق قضیه بنیادی یادگیری آماری، آن کلاس قابل یادگیری با چارچوب PAC (Probably Approximately Correct) است. اگر VC-Dimension خیلی بزرگ یا نامتناهی باشد، مدل دچار بیشبرازش (Overfitting) شده و قدرت تعمیم پذیری آن روی دادههای جدید به شدت کاهش مییابد.
سوالات و پاسخ سوالات دکتری - بخش چهارصد و هفتاد و چهارم ( بیشتر ... )


