מפגש תשיעי- 04.05.23

 

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