رئيسي علم

ريتشارد مانينغ كارب عالم رياضيات أمريكي وعالم كمبيوتر

ريتشارد مانينغ كارب عالم رياضيات أمريكي وعالم كمبيوتر
ريتشارد مانينغ كارب عالم رياضيات أمريكي وعالم كمبيوتر
Anonim

ريتشارد مانينغ كارب (ولد في 3 يناير 1935 ، بوسطن ، ماساتشوستس ، الولايات المتحدة) ، عالم رياضيات أمريكي وعالم كمبيوتر وحائز على جائزة AM AM Turing لعام 1985 ، وهو أعلى تكريم في علوم الكمبيوتر ، عن "مساهماته المستمرة في نظرية الخوارزميات بما في ذلك تطوير خوارزميات فعالة لتدفق الشبكة ومشاكل التحسين التوافقية الأخرى ، وتحديد قابلية الوقت متعدد الحدود مع الفكرة البديهية لكفاءة الخوارزمية ، وعلى الأخص ، المساهمات في نظرية اكتمال NP. " تضمنت اهتماماته البحثية علوم الكمبيوتر النظرية ، والخوارزميات التوافقية ، والاحتمال المنفصل ، والبيولوجيا الحسابية ، وخوارزميات الإنترنت.

حصل كارب على درجة البكالوريوس (1955) ، ودرجة الماجستير (1956) ، ودكتوراه (1959) ، وكلها في الرياضيات ، من جامعة هارفارد. بعد الانتهاء من دراسته ، عمل كعالم رياضيات في IBM (1959-1968) قبل الانتقال إلى الأوساط الأكاديمية. شغل كارب مناصب في جامعة كاليفورنيا ، بيركلي (1968-1994) ، وجامعة واشنطن (1995-1999) ، ومرة ​​أخرى في بيركلي (1999–1) ، حيث عاد كأستاذ جامعي.

أثبتت ورقة كارب لعام 1972 "قابلية الاختزال بين المشكلات التوافقية" أن العديد من المشاكل التوليفية التي تمت دراستها بشكل شائع هي متغيرات لنفس المشكلة ، مما يعني أنها ربما تكون مستعصية على الحل (مشاكل NP-كاملة - أي المشاكل التي لا توجد خوارزمية حل فعالة معروفة لها). كارب هو مؤلف كتاب "تعقيد الحوسبة" (1974) وحاصل على براءة اختراع لنوع من شبكات التبديل متعدد الاتصالات.

بالإضافة إلى جائزة تورينج ، حصل كارب على جائزة فولكرسون في الرياضيات المنفصلة (1979) ، والميدالية الوطنية الأمريكية للعلوم (1996) ، وميدالية جامعة هارفارد المئوية (1997) ، وجائزة المعهد الإسرائيلي للتكنولوجيا هارفي (1998) ، و جائزة جامعة كارنيجي ميلون ديكسون في العلوم (2008) وجائزة كيوتو اليابانية (2008). تم انتخابه في أكاديمية نيويورك للعلوم (1980) ، والأكاديمية الوطنية الأمريكية للعلوم (1980) ، والأكاديمية الأمريكية للفنون والعلوم (1985) ، ومعهد التوافقيات وتطبيقاتها (1990) ، والجمعية الأمريكية تقدم العلوم (1991) ، والأكاديمية الوطنية الأمريكية للهندسة (1992) ، والجمعية الفلسفية الأمريكية (1994) ، والأكاديمية الفرنسية للعلوم (2002) ، والأكاديمية الأوروبية للعلوم (2004).