Books about computational complexity

Books of computational complexity

https://www.math.ias.edu/files/Book-online-Aug0619.pdf

https://www.math.ias.edu/~avi/TALKS/PvsNP_Clay%20Research%20Conference_2025.pdf#page=33.00

Computational Complexity: A Modern Approach

https://www.mimuw.edu.pl/~niwinski/Zlozonosc/2013/complex_blog.pdf

https://www.wisdom.weizmann.ac.il/~oded/CC/rnd.pdf

https://people.maths.bris.ac.uk/~csxam/teaching/cc-lecturenotes.pdf

https://api.pageplace.de/preview/DT0400.9780191552762_A24387384/preview-9780191552762_A24387384.pdf

https://www.math.uci.edu/~rvershyn/papers/HDP-book/HDP-2.pdf

https://people.csail.mit.edu/moitra/docs/bookexv2.pdf

Michael Sipser-Introduction to the Theory of Computation

https://cs.brown.edu/courses/csci1810/fall-2023/resources/ch2_readings/Sipser_Introduction.to.the.Theory.of.Computation.3E.pdf

mathematical proof in quantum mechanism

https://books.google.co.jp/books?hl=en&lr=&id=08vZYhafYEAC&oi=fnd&pg=PR7&dq=%5BKSV02%5D+A.Y.+Kitaev,+A.+Shen,+and+M.N.+Vyalyi.+Classical+and+quantum+computation,+volume+47.+American+Mathematical+Society,+2002.+Cited+at+114,+118+&ots=kGS9XmZb-0&sig=8h5-SkPg0akUZwaFhRJLoozfw9s&redir_esc=y#v=onepage&q&f=false

NEEXP in MIP*2019

MIP*=RE 2021

Academic Websites

Avi Wigderson

Leslie Valiant, Harvard University

Peter Sarnak, Princeton University

Toniann Pitassi, University of Toronto

Ryan O’Donnell, Carnegie Mellon University

Ankur Moitra, Massachusetts Institute of Technology

Mark Braverman, Princeton University

Silvio Micali

Shafi Goldwasser

Charles Rackoff

Masaki Kashiwabara

Laszlo Babai

Mathematics Entrepreneurs

CHARLES SIMONYI

Caroline Bamberger Fuld

Jim Simons

Papers about proof mechanisms

Non-Deterministic Exponential Time has Two-Prover Interactive Protocols-László Babai, Lance Fortnow, Carsten Lund 1991

Optimization-friendly generic mechanisms without money-Mark Braverman(2021)

Others

a source book of mathematics(1200-1800)

3SAT Super Mario Brothers NP-complete