סילבוס

תוכן הקורס ומטרתו

הקורס עוסק באלגוריתמים הרצים על רשת מחשבים המחוברים בקווי תקשורת. השאלות המרכזיות שינחו אותנו הן השפעת המקומיות על פתירות וסיבוכיות בעיות חישוביות שונות. נקודת המבט היא תיאורטית: מודל המערכת הוא פישוט משמעותי של המציאות, המטרה לאפשר ניסוח והוכחה של טענות מדוייקות בנוגע לנכונות ולסיבוכיות של אלגוריתמים ובעיות.
בעיות לדוגמא (לא כולם יכוסו בקורס): בנייה ושימוש בעצים; ניתוב; קבוצות בלתי תלויות, זיווגים וצביעה; זמן לוגי וסינכרון; גרפים פורשים וגרפים מדללים; פרוטוקולים לשכבת המקשר (datalink); התייצבות; ניהול חוצצים.