102

Following the post What Books Should Everyone Read, I noticed that there are recent books whose drafts are available online.

For instance, the Approximation Algorithms entry of the above post cites a 2011 book (yet to be published) titled The design of approximation algorithms.

I think knowing recent works is really useful for whoever wants to get a taste of TCS trends. When drafts are available, one can check the books before actually buying them.

So,

What are the recent TCS books whose drafts are available online?

Here, by "recent", I mean something that's no older than ~5 years.

Rahab
  • 351
  • 3
  • 4
  • 10

41 Answers41

45

Several TCS books by Now Publishers can be found in drafts:


In addition, drafts of several Springer books on "Information Security and Cryptography" can be found online:

Sadeq Dousti
  • 16,479
  • 9
  • 69
  • 152
38

Arora and Barak Computational Complexity: A Modern Approach , 2010.

Mohammad Alaggan
  • 1,812
  • 18
  • 29
  • 29
    A warning. the draft is really just that: a draft. There are numerous errors in the draft that got fixed in the printed version (I know this because I ran a summer reading group using the draft and had to constantly correct it from the book) – Suresh Venkat Dec 05 '10 at 06:10
  • 4
    The book is really worth buying. Not expensive at all for its value and size. – Dai Le Dec 05 '10 at 15:40
37

Algorithms by S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani

EDIT (Sept 16 '15): The link is broken, I believe the draft is no longer available online.

Alessandro Cosentino
  • 4,000
  • 35
  • 43
35

Let me add the following:

Analytic Combinatorics, by Flajolet and Sedgewick

Codes and Automata (Link Broken), by Berstel, Perrin and Reutenauer

dtt
  • 101
  • 5
Hermann Gruber
  • 6,470
  • 1
  • 35
  • 58
27

Reinhard Diestel's Graph Theory (4th edition, 2010), in a variety of electronic formats.

Suresh Venkat
  • 32,071
  • 4
  • 95
  • 271
27

Sariel Har-Peled has an upcoming book on Geometric Approximation Algorithms. It has been available in draft form as lecture notes for a while now.

http://valis.cs.uiuc.edu/~sariel/teach/notes/aprx/

Chandra Chekuri
  • 6,999
  • 31
  • 39
25

Expander Graphs and their applications, by Hoory, Linial and Wigderson. This is verging on monograph territory at 123 pages.

Suresh Venkat
  • 32,071
  • 4
  • 95
  • 271
25

Boolean Function Complexity: Advances and Frontiers by Stasys Jukna.

(Preface) (Table of Contents)

A free draft used to be available as a direct download a while ago (if I remember correctly), but now it seems you can obtain it by filling out a form on his webpage or emailing him.

Robin Kothari
  • 13,617
  • 2
  • 60
  • 116
24

Stephen Cook & Phuong Nguyen published a book named Logical Foundations of Proof Complexity in March 2010. There is a draft on Cook's website: here. Unfortunately, I haven't read it.

Michael Blondin
  • 2,582
  • 21
  • 22
  • 3
    Chapter 2 itself is already a very elegant introduction to propositional logic and first order logic, with important tools like Completeness, Compactness, Löwenheim–Skolem, and Hebrand's Theorem. – Dai Le Dec 05 '10 at 03:56
  • 3
    I've read many parts of the book, and I highly recommend it for people interested in complexity and logic. For people working in proof complexity I think it's possibly a must. It does not deal with proof complexity lower bounds, which is the major issue of the topic, but it gives the essential logical context of proof complexity. It is especially suited for beginners, and for self study. Literally, no prior knowledge is assumed, everything is explained from scratch and full details are provided for everything. (Also, the draft is almost the same as the book.) – Iddo Tzameret Dec 06 '10 at 08:00
22

Markov Chains and Mixing Times by D.A. Levin, Y. Peres, E.L. Wilmer (2008). Finally a text book covering this broad and ubiquitous topic.

Martin Schwarz
  • 5,496
  • 25
  • 41
21

There is a new upcoming book on Spectral Algorithms by Ravi Kannan and Santosh Vempala covering several latest developments. It covers several applications of spectral methods, algorithms for estimating spectral parameters and low rank approximation of matrices.

Shiva Kintali
  • 10,578
  • 41
  • 74
20

Since Suresh Venkat mentioned the monograph on expanders, I will also mention the following related monographs on the topic of pseudorandomness. The draft of Pseudorandomness by Salil Vadhan (220 pages) is very worth reading. The monograph Parwise Independence and Derandomization by Luby and Wigderson is also nice!

Sadeq Dousti
  • 16,479
  • 9
  • 69
  • 152
Dai Le
  • 3,664
  • 1
  • 24
  • 37
18

The books in open access from the site of Mathematical Sciences Research Institute:

Here I have listed only those books which to me best fit in the definition of TCS.

NB. Books are not drafts and were published.

Oleksandr Bondarenko
  • 4,215
  • 1
  • 25
  • 46
16

The discrepancy method, Bernard Chazelle.

Probability on Trees and Networks, Russell Lyons with Yuval Peres

Both are great reads! You might want to grab Lyons-Peres now before they take it offline.

Hung Q. Ngo
  • 311
  • 3
  • 7
15

Book by Bruno Courcelle "Graph structure and monadic second-order logic, a language theoretic approach".

Oleksandr Bondarenko
  • 4,215
  • 1
  • 25
  • 46
13

Algorithmic Game Theory, by Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay V. Vazirani (2007).

Martin Schwarz
  • 5,496
  • 25
  • 41
12

"Descriptive Complexity, Canonisation, and Definable Graph Structure Theory," by Martin Grohe. Date on manuscript: March 7, 2013. Available at: http://www.automata.rwth-aachen.de/~grohe/pub.en. (Link Broken)

dtt
  • 101
  • 5
lgidwani
  • 182
  • 3
  • 7
12

Modern Computer Arithmetic by R. P. Brent and P. Zimmermann.

12

Hubert Comon, Max Dauchet, Remi Gilleron, Florent Jacquemard, Denis Lugiez, Christof Löding, Sophie Tison, Marc Tommasi: Tree Automata Techniques and Applications

Hermann Gruber
  • 6,470
  • 1
  • 35
  • 58
11

Spectra of Graphs by Brouwer and Haemers. I came to this book by way of Chapter 16 (written by Spielman) in Combinatorial Scientific Computing.

user7545
  • 251
  • 4
  • 8
11

"Models of Computation, Exploring the Power of Computing," by John E. Savage. Available at http://www.cs.brown.edu/~jes/book/pdfs/ModelsOfComputation.pdf.

lgidwani
  • 182
  • 3
  • 7
11

Automata Theory: An Algorithmic Approach by Javier Esparza

http://www7.in.tum.de/~esparza/automatanotes.html

10

Notes or books about Distributed Algorithms:

10

"Logic and Discrete Mathematics for Computer Scientists", by James Caldwell. Manuscript Date: August 22, 2011. Available at: http://www.cs.uwyo.edu/~jlc/courses/2300/book.pdf.

"Data Structures and Algorithms, The Basic Toolbox", by Kurt Mehlhorn. Manuscript Date: August 2008. Available at: http://www.mpi-inf.mpg.de/~mehlhorn/ftp/Toolbox/.

"An Introduction to Graph Theory and Complex Networks", by Martin Van Steen. Manuscript Date: January 2010. Available at: http://www.distributed-systems.net.

"Category Theory for Computing Science," by Michael Barr and Charles Wells. Available at http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf.

"Philosophy of Computer Science," by William J. Rappaport. Manuscript Date: December 24, 2013. Available at: http://www.cse.buffalo.edu/~rapaport/Papers/phics.pdf.

"Fractional Graph Theory: A Rational Approach To The Theory Of Graphs," by Edward Scheinerman And Daniel Ullman. Available at http://www.ams.jhu.edu/~ers/fgt/fgt.pdf.

lgidwani
  • 182
  • 3
  • 7
10

"Foundations of Data Science" (pdf) by Hopcroft and Kannan. The text was discussed by Lipton on his blog. As the title implies, the emphasis of the text seems to be applications and issues related to Big Data and Learning problems. It seems to have grown out of this course.

(Update 8/2015) The book now has a third author, Avrim Blum. The pdf link has been updated.

Richard Cox
  • 119
  • 4
Logan Mayfield
  • 977
  • 1
  • 8
  • 18
10

There is an online draft of the new book "Iterative Methods in Combinatorial Optimization" by Lap Chi Lau, R. Ravi, and Mohit Singh:

http://www.cs.mcgill.ca/~mohit/book/book.html

It is about the iterative rounding method: a new techhnique that can be used to design approximation algorithms for many problems.

Bart
  • 516
  • 4
  • 6
8

PlanetMath lists over 150 books which are available online. The list is updated regularly (the most recent addition being 2011-01-09, as of this writing). Books are math-related, but some of them are useful in TCS, too.

Sadeq Dousti
  • 16,479
  • 9
  • 69
  • 152
7

Bayesian Reasoning and Machine Learning, by David Barber.

Anthony Labarre
  • 3,264
  • 1
  • 25
  • 33
6

Networks, Crowds, and Markets: Reasoning About a Highly Connected World by David Easley and Jon Kleinberg.

http://www.cs.cornell.edu/home/kleinber/networks-book/

Arindam Pal
  • 1,591
  • 12
  • 23
6

Devdatt Dubhashi and Alessandro Panconesi: Concentration of Measure for the Analysis of Randomised Algorithms. A first draft is available at http://wwwusers.di.uniroma1.it/~ale/Papers/master.pdf (via geomblog)

Hermann Gruber
  • 6,470
  • 1
  • 35
  • 58
4

Rajaraman A., Leskovec J., and Ullman J.D. - Mining of Massive Datasets

Kaveh
  • 21,577
  • 8
  • 82
  • 183
4

Parameterized Algorithms by Marek Cygan, Fedor V. Fomin, Łukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, and Saket Saurabh.

Ronald de Haan
  • 396
  • 1
  • 6
3

Introduction to Theoretical Computer Science

Boaz Barak

https://introtcs.org/public/index.html

kauray
  • 135
  • 5
2

These 3 books on arithmetic complexity don't seem to have been mentioned till now,

Some recent books on learning theory

Holden Lee
  • 638
  • 3
  • 13
Student
  • 654
  • 3
  • 11
  • 1
    Kayal-Saptharishi is just a survey, not a book. The other two are essentially "survey monographs", which are somewhere in between books and "just surveys," but I suppose they should count, esp. because they are some of the only free book-like expositions of algebraic circuits... :) – Joshua Grochow Sep 06 '17 at 02:04
2

Tutorials on the Foundations of Cryptography (edited by Yehuda Lindell)

Dedicated to Oded Goldreich

From the Springer page:

Advanced tutorials developed by Benny Applebaum, Boaz Barak, Andrej Bogdanov, Iftach Haitner, Shai Halevi, Yehuda Lindell, Alon Rosen, and Salil Vadhan

Domain and authors inspired by Oded Goldreich, a pioneering scientist, educator and mentor

Appropriate for graduate tutorials and seminars, and for self-study by experienced researchers

5 of the 7 chapters (so far) are available online, on ECCC.

Clement C.
  • 4,461
  • 29
  • 51
2

Jan Krajíček's Proof Complexity. It not only has lower bound but also upper bound and beyond.

hddmss
  • 181
  • 5
2

Venkatesan Guruswami, Atri Rudra, Madhu Sudan. Essential Coding Theory, 2019.

Bruno
  • 4,449
  • 33
  • 45
2

A bit awkward as it's my own, but the draft of my monograph on distribution testing, "Topics and Techniques in Distribution Testing: A Biased but Representative Sample" (Now Publishers, FnT CIT, 2022) is available online here:

This includes the solutions to the exercises.

Also, if you want the LaTeX source, you can find it here:

Clement C.
  • 4,461
  • 29
  • 51
1

The following book is about Database Theory, a small subarea of TCS at the border to Data Management: Principles of Databases by Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Wim Martens, and Andreas Pieris.

Thomas S
  • 1,417
  • 11
  • 14
-2

Foundations of Data Science by John Hopcroft and Ravindran Kannan. It's an amazing book on Algorithms for Big Data Analytics. They call it the 21st century algorithms.

Arindam Pal
  • 1,591
  • 12
  • 23