סיבוכיות מתקדמת

הקורס הינו קורס המשך לקורס תורת הסיבוכיות, ועוסק בנושאים מתקדמים בתחום, ובכללם: - ההיררכיה הפולינומית - מערכות הוכחה אינטראקטיביות - מעגלים בוליאניים וחישוב לא-יוניפורמי - חסמים תחתונים על מודלים קונקרטיים של חישוב - סיבוכיות של בעיות ספירה - דרנדומיזציה ופסודואקראיות - נושאים מתקדמים נוספים, ככל שיתיר הזמן