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