תורת המטרואידים
מרצה : פרופ' מיכאל טרסיאתר הקורס : אין אתר לקורס, יש תפוצת מייל.
המייל של טרסי: tarsi@post.tau.ac.il
תשע"ג סמסטר אביב
קצת על הקורס (מתוך הסילבוס)
מטרואיד הוא מבנה מתמטי מופשט המכליל גרפים מזה ותת קבוצות של מרחבים לינאריים מזה. בקורס יוצגו עקרי תורת המטרואידים והשלכותיה, בעיקר על תורת הגרפים, תוך דגש על הבטים אלגוריתמיים.
נושאים שידונו בקורס:
הגדרה ודוגמאות; מערכות אכסיומות שקולות: קבוצות בלתי תלויות, מעגלים, בסיסים, דרגה, סגור ועוד; האלגוריתם החמדן; היררכיה של אורקלים מטרואידיים; אלגוריתם לחיתוך מטרואידים; מטרואידים וסריגים גאומטריים; דואליות וגרפים משוריים; פעולות על מטרואידים: קיטום, צמצום, כיווץ ומינורים, סכום ישר, מטרואיד מנה, מטרואיד איחוד; משפטי אריזה וכסוי; זרימה וצביעה במטרואידים ובגרפים, זרימה ללא אפס; מיון מטרואידים; מינורים אסורים; הפולינום האפייני ותכונותיו ועוד, ככל שיאפשר הזמן.
אז, מה היה לנו?
שבוע ראשוןהרצאה 1 - 3.3.13
סיכום ההרצאה: קובץ PDF
- האלגוריתם החמדן
- הגדרת המטרואיד בעזרת האלגוריתם החמדן
- דוגמאות למטרואידים
- הגדרה שקולה למטרואיד בעזרת אקסיומות הקבוצות הבלתי תלויות
- מטרואיד הזיווגים של גרף
סיכום ההרצאה: קובץ PDF
שבוע שניהרצאה 2 - 10.3.13
סיכום ההרצאה: קובץ PDF
- המשך הדיון על מטרואיד הזיווגים
- מטרואידים גרפיים ומטרואידים לינאריים
- עוד דוגמאות חשובות למטרואידים
- הגדרה שקולה למטרואיד בעזרת אקסיומות המעגלים
- הגדרה שקולה למטרואיד בעזרת אקסיומות הבסיסים
סיכום ההרצאה: קובץ PDF
שבוע שלישי
הרצאה 3 - 17.3.13
סיכום ההרצאה: קובץ PDF
הרצאה 3 - 17.3.13
- עוד מושגי יסוד -
- פונקצית הדרגה
- קבוצות סגורות
- אופרטור הסגור (SGOR)
- קבוצות פורשות
- על-מישורים
- הגדרות שקולות למטרואיד בעזרת מושגי היסוד הנ"ל
- המטרואיד הדואלי
- נוסחת הדרגה הדואלית
- דואליות במטרואידים גרפיים של גרפים מישוריים
- שימושים מגניבים של מטרואיד הדואלי
סיכום ההרצאה: קובץ PDF
שבוע רביעיהרצאה 4 - 7.4.13
סיכום ההרצאה: קובץ PDF
- גרפים מישוריים ופאונים משוכללים
- מינור של מטרואיד - כיווץ והסרה
- חמישה מטרואידים יחסית פשוטים שאינם גרפיים
- משפט קורטובסקי למטרואידים (ממש מגניב! אבל בלי הוכחה)
- משחק המיתוג של שאנון
סיכום ההרצאה: קובץ PDF
שבוע חמישיהרצאה 5 - 14.4.13
סיכום ההרצאה: קובץ PDF
- אלגוריתמים מטרואידיים ואורקלים מטרואידיים
- משפט האוסמן-קורטה: מבנה ההיררכיה הפולינומיאלית של האורקלים המטרואידיים
- הוכחת המשפט (לא קצרה במיוחד)
סיכום ההרצאה: קובץ PDF
שבוע שישיהרצאה 6 - 21.4.13
סיכום ההרצאה: קובץ PDF
- סיום הוכחת משפט האוסמן-קורטה
- מטרואיד מנה
- מטרואיד האיחוד
- חיתוך מטרואידים (לא מטרואיד, אבל...)
- אלגוריתם למציאת קבוצה מקסימלית (בעוצמתה) בחיתוך מטרואידים
סיכום ההרצאה: קובץ PDF
שבוע שביעיהרצאה 7 - 28.4.13
סיכום ההרצאה: קובץ PDF
- סיום הוכחת נכונות אלגוריתם חיתוך מטרואידים
- נוסחת החיתוך ושימושים נחמדים שלה
- הדרגה של מטרואיד מנה
- הדרגה של מטרואיד איחוד
- הדרגה של המטרואיד k*M
- משפטי הכיסוי והאריזה של אדמונדס
- המקרים הגרפיים של משפטי הכיסוי והאריזה
- משפט ז'ז'ר
סיכום ההרצאה: קובץ PDF
שבוע שמיניהרצאה 8 - 5.5.13
סיכום ההרצאה: קובץ PDF
- משחק המיתוג של שאנון - ניתוח מעמיק
- קצת על אלגוריתם חיתוך מטרואידים עם משקולות
סיכום ההרצאה: קובץ PDF
שבוע תשיעיהרצאה 9 - 12.5.13
- עוד קצת על אלגוריתם חיתוך מטרואידים עם משקולות
- ייצוג מטרואידים מעל שדות
- מטרואידים בינאריים, ואפיונם בעזרת מינור אסור
שבוע עשיריהרצאה 10 - 19.5.13
סיכום ההרצאה: קובץ PDF
- מעגלי אוילר (במטרואיד)
- חלוקת מטרואידים בינאריים לתתי-קטגוריות
- זרימות ללא 0, והקשר שלהן למשפט ארבעת הצבעים
סיכום ההרצאה: קובץ PDF
שבוע שנים-עשרהרצאה 12 - 2.6.13
סיכום ההרצאה: קובץ PDF
- קירוב בשלמים ומרחבי זרימה
- משפט הופמן קרוסקל ושימושיו
- השערת הרץ הבודד
- כיסוי גרף במעגלי אוילר
סיכום ההרצאה: קובץ PDF
שבוע שלושה-עשר ואחרוןהרצאה 13 - 9.6.13
סיכום ההרצאה: קובץ PDF
- עוד קצת על כיסוי מינימלי במעגלים
- שיטת הפולינום לצביעות גרפים, והאם K_3 הוא דו צדדי?
- הכללה למקרה המטרואידי
- עוד הגיגים ואסוסיאציות של פרופ' טרסי
- מחיאות כפיים ופרידה מרגשת (לא מסוכם)
סיכום ההרצאה: קובץ PDF