logo
episode-header-image
Jul 2020
2h 8m

#111 – Richard Karp: Algorithms and Comp...

LEX FRIDMAN
About this episode

Richard Karp is a professor at Berkeley and one of the most important figures in the history of theoretical computer science. In 1985, he received the Turing Award for his research in the theory of algorithms, including the development of the Edmonds–Karp algorithm for solving the maximum flow problem on networks, Hopcroft–Karp algorithm for finding maximum cardinality matchings in bipartite graphs, and his landmark paper in complexity theory called “Reducibility Among Combinatorial Problems”, in which he proved 21 problems to be NP-complete. This paper was probably the most important catalyst in the explosion of interest in the study of NP-completeness and the P vs NP problem.

Support this podcast by supporting our sponsors:
– Eight Sleep: https://eightsleep.com/lex
– Cash App – use code “LexPodcast” and download:
– Cash App (App Store): https://apple.co/2sPrUHe
– Cash App (Google Play): https://bit.ly/2MlvP5w

If you would like to get more information about this podcast go to https://lexfridman.com/ai or connect with @lexfridman on Twitter, LinkedIn, Facebook, Medium, or YouTube where you can watch the video versions of these conversations. If you enjoy the podcast, please rate it 5 stars on Apple Podcasts, follow on Spotify, or support it on Patreon.

Here’s the outline of the episode. On some podcast players you should be able to click the timestamp to jump to that time.

OUTLINE:
00:00 – Introduction
03:50 – Geometry
09:46 – Visualizing an algorithm
13:00 – A beautiful algorithm
18:06 – Don Knuth and geeks
22:06 – Early days of computers
25:53 – Turing Test
30:05 – Consciousness
33:22 – Combinatorial algorithms
37:42 – Edmonds-Karp algorithm
40:22 – Algorithmic complexity
50:25 – P=NP
54:25 – NP-Complete problems
1:10:29 – Proving P=NP
1:12:57 – Stable marriage problem
1:20:32 – Randomized algorithms
1:33:23 – Can a hard problem be easy in practice?
1:43:57 – Open problems in theoretical computer science
1:46:21 – A strange idea in complexity theory
1:50:49 – Machine learning
1:56:26 – Bioinformatics
2:00:37 – Memory of Richard’s father

Up next
Jun 26
#473 – Iran War Debate: Nuclear Weapons, Trump, Peace, Power & the Middle East
Debate on Iran war between Scott Horton and Mark Dubowitz. Scott Horton is the author and director of the Libertarian Institute, editorial director of Antiwar.com, host of The Scott Horton Show, and for the past three decades, a staunch critic of U.S. foreign policy and military ... Show More
4h 11m
Jun 15
#472 – Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Terence Tao is widely considered to be one of the greatest mathematicians in history. He won the Fields Medal and the Breakthrough Prize in Mathematics, and has contributed to a wide range of fields from fluid dynamics with Navier-Stokes equations to mathematical physics & quantu ... Show More
3h 23m
Jun 5
#471 – Sundar Pichai: CEO of Google and Alphabet
Sundar Pichai is CEO of Google and Alphabet. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep471-sc See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc. Transcript: https://lexfridman.com/sundar-pichai ... Show More
2h 17m
Recommended Episodes
Jul 2023
Ep 194: David Deutsch’s ”The Fabric of Reality” Chapter 9 ”Quantum Computers” Part 4: Shor’s Algorithm
This is a "return to regular format" episode in one respect - readings from and reflections upon "The Fabric of Reality" but also a departure from regular formatting in another respect: I teach a bunch of simple mathematics. This is for those who might think "quantum computation" ... Show More
1h 34m
Apr 2018
Algorithms
Can algorithms help writers think more clearly and create innovative work ? On this week's 'Algorithm Verb' Ian McMillan is joined by Helen Arney, who performs a brand new love-song (written for the programme) using search engine algorithms, by Eugenia Cheng, a mathematician and ... Show More
43m 28s
Oct 2023
Quantum algorithms make clever use of noisy hardware
While quantum computers show great promise for the future, today’s processors are small and noisy – and this makes it very difficult to do meaningful quantum calculations right now. To address this problem, researchers are developing clever quantum algorithms that make the most o ... Show More
33m 16s
Sep 2021
Algorithms: From the ancients to the internet
Hidden from view, complex to understand and often controversial, algorithms are at the heart of computer coding that underpins modern society. Every time we search the internet, every time we pay by credit card, even the romantic partners suggested to us by online dating sites – ... Show More
39m 20s
Oct 2023
Paul Christiano - Preventing an AI Takeover
Paul Christiano is the world’s leading AI safety researcher. My full episode with him is out!We discuss:- Does he regret inventing RLHF, and is alignment necessarily dual-use?- Why he has relatively modest timelines (40% by 2040, 15% by 2030),- What do we want post-AGI world to l ... Show More
3h 7m
Apr 2016
Algorithms In The Blood: The P vs. NP Problem
What does it mean to solve a problem in our universe? That's a trickier question than you might think, with some fairly high-stakes ramifications in the worlds of computing and even philosophy. In this episode of Stuff to Blow Your Mind, Robert and Joe explore the inherent logic ... Show More
53m 47s
Sep 2020
Marcello La Rocca on Algorithms and Data Structures
Q McCallum (Senior Content Advisor at Formulatedby, the company behind Data Science Salon) met up with Marcello La Rocca, someone who compiled his extensive knowledge of algorithms into a rather hefty book on the topic.  In this episode, the author of Algorithms and Data Structur ... Show More
1h 2m
Aug 2021
Episode 21: Proving Fundamental Equivalencies in Isogeny Mathematics!
Benjamin Wesolowski talks about his latest paper in which he mathematically proved that the two fundamental problems underlying isogeny-based cryptography are equivalent. Links and papers discussed in the show: * The supersingular isogeny path and endomorphism ring problems are e ... Show More
46m 52s