Richard Manning Karp
|Alma mater||Harvard University|
|Known for||Aanderaa–Karp–Rosenberg conjecture|
Rabin–Karp string search algorithm
Karp's 21 NP-complete problems
Vector addition system
|Awards||Fulkerson Prize (1979)|
Turing Award (1985)
John von Neumann Theory Prize (1990)
IEEE Computer Society Charles Babbage Award (1995)
National Medal of Science (1996)
Harvey Prize (1998)
EATCS award (2000)
Benjamin Franklin Medal (2004)
Kyoto Prize (2008)
|Institutions||University of California, Berkeley|
|Thesis||Some Applications of Logical Syntax to Digital Computer Programming (1959)|
|Doctoral advisor||Anthony Oettinger|
Richard Manning Karp (born January 3, 1935) is an American computer scientist and computational theorist at the University of California, Berkeley. He is most notable for his research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto Prize in 2008.
Karp was elected a member of the National Academy of Engineering (1992) for major contributions to the theory and application of NP-completeness, constructing efficient combinatorial algorithms, and applying probabilistic methods in computer science.
Born to parents Abraham and Rose Karp in Boston, Massachusetts, Karp has three younger siblings: Robert, David, and Carolyn. His family was Jewish, and he grew up in a small apartment, in a then mostly Jewish neighborhood of Dorchester in Boston.
Both his parents were Harvard graduates (his mother eventually obtaining her Harvard degree at age 57 after taking evening courses), while his father had had ambitions to go to medical school after Harvard, but became a mathematics teacher as he could not afford the medical school fees. He attended Harvard University, where he received his bachelor's degree in 1955, his master's degree in 1956, and his Ph.D. in applied mathematics in 1959. He started working at IBM's Thomas J. Watson Research Center.
In 1968, he became professor of computer science, mathematics, and operations research at the University of California, Berkeley. Karp was the first associate chair of the Computer Science Division within the Department of Electrical Engineering and Computer Science. Apart from a 4-year period as a professor at the University of Washington, he has remained at Berkeley. From 1988 to 1995 and 1999 to the present he has also been a research scientist at the International Computer Science Institute in Berkeley, where he currently leads the Algorithms Group.
Richard Karp was awarded the National Medal of Science, and was the recipient of the Harvey Prize of the Technion and the 2004 Benjamin Franklin Medal in Computer and Cognitive Science for his insights into computational complexity. In 1994 he was inducted as a Fellow of the Association for Computing Machinery. He was elected to the 2002 class of Fellows of the Institute for Operations Research and the Management Sciences. He is the recipient of several honorary degrees and a member of the U.S. National Academy of Sciences, the American Academy of Arts and Sciences, and the American Philosophical Society.
In 1971 he co-developed with Jack Edmonds the Edmonds–Karp algorithm for solving the maximum flow problem on networks, and in 1972 he published a landmark paper in complexity theory, "Reducibility Among Combinatorial Problems", in which he proved 21 problems to be NP-complete.
In 1980, along with Richard J. Lipton, Karp proved the Karp–Lipton theorem (which proves that if SAT can be solved by Boolean circuits with a polynomial number of logic gates, then the polynomial hierarchy collapses to its second level).
His citation for the (1985) Turing Award was as follows:
For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness. Karp introduced the now standard methodology for proving problems to be NP-complete which has led to the identification of many theoretical and practical problems as being computationally difficult.
- Richard M. Karp at the Mathematics Genealogy Project.
- Richard Manning Karp - THE 2008 KYOTO PRIZE - Advanced Technology
- The Power and Limits of Algorithms Richard Manning Karp, Kyoto Prize Address, 2008
- Karp, Richard. "A Personal View of Computer Science at Berkeley". www2.eecs.berkeley.edu. Retrieved 1 December 2021.
- Fellows: Alphabetical List, Institute for Operations Research and the Management Sciences, retrieved 2019-10-09
- "Richard M. Karp". www.nasonline.org. Retrieved 2022-02-22.
- "Richard M. Karp". American Academy of Arts & Sciences. Retrieved 2022-02-22.
- "APS Member History". search.amphilsoc.org. Retrieved 2022-02-22.
- "California Chosen as Home for Computing Institute". The New York Times. 30 April 2012. Retrieved 23 October 2016.
- Richard M. Karp (1972). "Reducibility Among Combinatorial Problems" (PDF). In R. E. Miller; J. W. Thatcher (eds.). Complexity of Computer Computations. New York: Plenum. pp. 85–103.
- Association for Computing Machinery. "ACM Award Citation/Richard M. Karp". Archived from the original on 2012-07-03. Retrieved 2010-01-17.
- ACM Crossroads magazine interview/bio of Richard Karp
- Karp's Home Page at Berkeley
- Biography of Richard Karp from the Institute for Operations Research and the Management Sciences