People, problems, and proofs are essential to theoretical computer science. Behind the transformative computing devices and applications lie clever algorithms, each addressing a specific problem and backed by a proof of efficacy. This journey begins with the challenge of developing efficient algorithms for open computational problems, driven by individuals passionate about these fundamental issues. The authors leverage their extensive research and teaching experience to highlight key figures and concepts in theoretical computer science, particularly in computational complexity, algorithms, and related mathematics. They present evidence of the substantial scholarship underpinning this evolving field, balancing a wide array of topics with the depth needed to showcase the significance of the work. Additionally, the authors delve into the culture of their community, emphasizing that a successful career in theoretical computer science requires not just intellect and training, but also personal attributes such as creativity, ambition, tenacity, and a bit of luck. Their engaging style, marked by personal anecdotes, enthusiasm, and humor, makes this book an inspiring resource for graduate students and researchers pursuing careers in theoretical computer science.
Richard J. Lipton Livres



The P=np Question and Gödel's Lost Letter
- 239pages
- 9 heures de lecture
Exploring the profound question of P=NP, this collection features popular blog posts that delve into computational complexity and its implications. Originally inspired by Dick Karp's groundbreaking work in 1972, the author discusses the intricacies of the P=NP problem, its significance, and the broader themes in computer science. The posts are crafted for accessibility, making complex ideas understandable for a diverse audience, while also touching on timely events and notable results in the field.
Knockout
- 338pages
- 12 heures de lecture