סיבוכיות
מרצה: פרופ' אמנון תא שמעמתרגל: ישי חביב
אתר הקורס: לחץ עליי!
2011 סמסטר ב'
קצת על הקורס
הקורס הוא המשך ישיר של מודלים חישוביים. החלק הראשון של הקורס הוא חזרה והעמקה של הנושאים הנלמדים במודלים: המחלקות P, NP, coNP, דוגמאות לבעיות NP-Complete, והקשרים בין המחלקות השונות. לאחר מכן מרחיבים את הדיון גם לסיבוכיות מקום, ולמחלקות רחבות יותר. מתעסקים גם בהשפעת היכולת להשתמש בביטים רנדומיים על המחלקות השונות, כמו גם מחלקות של יכולות קירוב.
תרגילים
- ישנה חובת הגשה של 80% מהתרגילים והם שיפיעו על הציון רק במקרים גבוליים.
ציונים
- יהיה בוחן במשקל 15% מהציון הסופי ב-22.3.11.
אז מה היה לנו?
שבוע ראשון
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 1 - 22/2/11
- תזכורת - מכונת טיורינג
- משפט על זמני ריצה
- מכונת אורקל
סיכום השיעור: קובץ PDF.
תרגול 1 - 22/2/11
- השוואה בין מכונת טיורינג חד סרטית ומכונת טיורינג k סרטית
סיכום התרגול: קובץ PDF.
שבוע שני
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 2 - 1/3/11
- רדוקציות Karp
- רדוקציות Cook
- חיפוש לעומת הכרעה
סיכום השיעור: קובץ PDF.
תרגול 2 - 1/3/11
- קבוצה ב"ת מקסימלית כבעיה ב-NP
סיכום התרגול: קובץ PDF.
שבוע שלישי
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 3 - 8/3/11
- כיצד להפוך מכונת טיורינג למעגל
- כיצד להפוך מעגל למכונת טיורינג
- חישוב מוגבל זכרון
סיכום השיעור: קובץ PDF.
תרגול 3 - 8/3/11
- מחלקות זמן אקספוננציאלי
סיכום התרגול: קובץ PDF.
שבוע רביעי
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 4 - 15/3/11
- סיבוכיות מקום
- stCON
- NL ו- coNL
סיכום השיעור: קובץ PDF.
תרגול 4 - 15/3/11
- סיבוכיות מקום לוגריתמית
סיכום התרגול: קובץ PDF.
בהצלחה בבוחן!
שבוע חמישי
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 5 - 22/3/11
- ההיררכיה הפולינומיאלית
סיכום השיעור: קובץ PDF.
תרגול 5 - 22/3/11
- 2SAT
סיכום התרגול: קובץ PDF.
שבוע שישי
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
הוכחה שאם סיגמא-2 = פיי-2 אז ההררכיה הפול' קורסת:קובץ PDF.
שיעור 6 - 29/3/11
- TQBF
- מכונת טיורינג הסתברותית
- אמפליפיקציה לשגיאה של מכונות עם שגיאה דו צדדית
סיכום השיעור: קובץ PDF.
תרגול 6 - 29/3/11
- ההיררכיה הפולינומיאלית
סיכום התרגול: קובץ PDF.
הוכחה שאם סיגמא-2 = פיי-2 אז ההררכיה הפול' קורסת:קובץ PDF.
שבוע שביעי
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 7 - 5/4/11
- זיווג מושלם
- המחלקה Psize
סיכום השיעור: קובץ PDF.
תרגול 7 - 5/4/11
- מחלקות סיבוכיות הסתברותיות
סיכום התרגול: קובץ PDF.
שבוע שמיני
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 8 - 12/4/11
- משפט סיפסר
- GNI
- שיחה אינטרקטיבית
סיכום השיעור: קובץ PDF.
תרגול 8 - 12/4/11
- חישוב הסתברותי - וידוא כפל מטריצות
סיכום התרגול: קובץ PDF.
שבוע עשירי
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 9 - 3/5/11
- IP חלקית ל PSpace
- MIP, PCP
סיכום השיעור: קובץ PDF.
תרגול 9 - 3/5/11
- אלגוריתמי קירוב
- הוכחות אינטרקטיביות
סיכום התרגול: קובץ PDF.
שבוע אחד עשר
סיכום השיעור: קובץ PDF.
סיכום התרגול: קובץ PDF.
שיעור 10 - 17/5/11
- אלגוריתמי קירוב
סיכום השיעור: קובץ PDF.
תרגול 10 - 17/5/11
- בעיית הסוכן הנוסע
סיכום התרגול: קובץ PDF.