עיקרי מדע

ריצ'רד מאנינג קרפ מתמטיקאי ומדען מחשבים אמריקאי

ריצ'רד מאנינג קרפ מתמטיקאי ומדען מחשבים אמריקאי
ריצ'רד מאנינג קרפ מתמטיקאי ומדען מחשבים אמריקאי
Anonim

ריצ'רד מנינג קרפ, (נולד ב -3 בינואר 1935, בוסטון, מסצ'וסטס, ארה"ב), מתמטיקאי אמריקאי ומדען מחשבים וזוכה בפרס טיורינג בבוקר 1985, הכבוד הגבוה ביותר במדעי המחשב, על "תרומתו המתמשכת לתיאוריה של אלגוריתמים הכוללים פיתוח אלגוריתמים יעילים לזרימת רשת ובעיות אופטימיזציה קומבינטוריות אחרות, זיהוי חישוב זמן פולינומי עם התפיסה האינטואיטיבית של יעילות אלגוריתמית, והכי חשוב, תרומות לתאוריה של שלמות ה- NP. " תחומי המחקר שלו כללו מדעי מחשב תיאורטיים, אלגוריתמים קומבינטוריים, הסתברות דיסקרטית, ביולוגיה חישובית ואלגוריתמים באינטרנט.

קרפ השלים תואר ראשון (1955), תואר שני (1956) ודוקטורט (1959), כולם במתמטיקה, מאוניברסיטת הרווארד. לאחר שסיים את לימודיו, עבד כמתמטיקאי ב- IBM (1959-68) לפני שעבר לאקדמיה. קרפ מילא תפקידים באוניברסיטת קליפורניה, ברקלי (1968–1994), באוניברסיטת וושינגטון (1995–1999), ושוב בברקלי (1999–1999), שם חזר כפרופסור באוניברסיטה.

במאמרו של קארפ משנת 1972 "הפחתה בין בעיות קומבינטוריות" הוכיחו כי בעיות קומבינטוריאליות רבות שנחקרו נפוצות הן גרסאות של אותה בעיה, מה שמרמז שכולן ככל הנראה אינן ניתנות למישוש (בעיות שלמות NP - כלומר בעיות שלא ידוע על אלגוריתם פתרונות יעיל). קארפ הוא המחבר של Complexity of Computation (1974) ומחזיק בפטנט לסוג רשת מיתוג רב-חיבורית.

בנוסף לפרס טיורינג, קיבל קארפ את פרס פולקרסון במתמטיקה דיסקרטית (1979), את מדליית המדע הלאומית של ארה"ב (1996), את מדליית המאה החמישית של אוניברסיטת הרווארד (1997), את פרס הארווי של המכון הטכנולוגי לישראל (1998), פרס דיקסון באוניברסיטת קרנגי מלון במדע (2008), ופרס קיוטו של יפן (2008). הוא נבחר לאקדמיה למדעים בניו יורק (1980), האקדמיה הלאומית האמריקאית למדעים (1980), האקדמיה האמריקאית לאמנויות ומדעים (1985), המכון לקומבינטוריקה ויישומיה (1990), האיגוד האמריקאי למען קידום המדע (1991), האקדמיה הלאומית להנדסה בארה"ב (1992), החברה האמריקאית לפילוסופיה (1994), האקדמיה הצרפתית למדעים (2002) והאקדמיה האירופית למדעים (2004).