¿Cuáles son los libros recientes de TCS cuyos borradores están disponibles en línea?

Después de la publicación Qué libros deberían leer todos , noté que hay libros recientes cuyos borradores están disponibles en línea.

Por ejemplo, la entrada de Algoritmos de aproximación de la publicación anterior cita un libro de 2011 (aún por publicar) titulado El diseño de algoritmos de aproximación .

Creo que conocer trabajos recientes es realmente útil para quien quiera probar las tendencias de TCS. Cuando hay borradores disponibles, uno puede consultar los libros antes de comprarlos.

Entonces,

¿Cuáles son los libros recientes de TCS cuyos borradores están disponibles en línea?

Aquí, por "reciente", me refiero a algo que no tiene más de ~ 5 años.

Se pueden encontrar varios libros de TCS de Now Publishers en borradores:

• Fundamentos de la criptografía: una cartilla de Oded Goldreich. Esta es una versión resumida de su famoso libro de dos volúmenes sobre criptografía. (El borrador de la versión de dos volúmenes se puede encontrar en la respuesta de Robin ).

• Flujos de datos: algoritmos y aplicaciones de S. Muthukrishnan.

• Aspectos matemáticos de los tiempos de mezcla en las cadenas de Markov por Montenegro y Tetali.

• Independencia y desrandomización por parejas de Luby y Widgerson.

• Complejidad de casos promedio por Bogdanov y Trevisan.

• Una encuesta de límites más bajos para la satisfacción y problemas relacionados por Melkebeek.

• Algoritmos y estructuras de datos para la memoria externa de Vitter.

• Sistemas de prueba probabilística: una cartilla de Goldreich. Nuevamente, esta es una versión resumida de una parte del libro de Goldreich Criptografía moderna, pruebas probabilísticas y seudoaleatoriedad .

• El diseño de algoritmos competitivos en línea a través de un enfoque dual primario de Buchbinder & Naor.

• Algoritmos espectrales de Kannan y Vempala.

• Sobre el poder de la computación de pequeña profundidad por Viola.

• Técnicas algorítmicas y de análisis en pruebas de propiedad por Ron.

• Circuitos aritméticos: una encuesta de resultados recientes y preguntas abiertas por Amir Shpilka y Amir Yehudayoff (2010), Foundations and Trends® in Theoretical Computer Science: vol. 5: núm. 3-4, págs. 207-388. http://dx.doi.org/10.1561/0400000039

Además, se pueden encontrar borradores de varios libros de Springer sobre "Seguridad de la información y criptografía" en línea:

• Criptografía en tiempo paralelo constante por Applebaum.

• Un estudio de pruebas estadísticas de conocimiento cero por Vadhan.

• Códigos decodificables localmente y esquemas de recuperación de información privada por Yekhanin.

• Concurrent Zero Knowledge de Rosen.

Complejidad computacional de Arora y Barak : un enfoque moderno , 2010.

Algoritmos de S. Dasgupta, CH Papadimitriou y UV Vazirani

EDITAR (16 de septiembre de 2015): el enlace está roto, creo que el borrador ya no está disponible en línea.

Déjame agregar lo siguiente:

Combinatoria analítica , por Flajolet y Sedgewick

Códigos y autómatas (enlace roto), por Berstel, Perrin y Reutenauer

Oded Goldreich tiene varios borradores disponibles para descargar en su página web.

• Complejidad computacional: una perspectiva conceptual (2008)

• P, NP y NP-Completitud: los fundamentos de la teoría de la complejidad (2010)

• Los fundamentos de la criptografía (2001 y 2004)

• Una cartilla sobre generadores pseudoaleatorios (2010)

• Introducción a las pruebas de propiedad (2017)

La teoría de gráficos de Reinhard Diestel (4a edición, 2010), en una variedad de formatos electrónicos.

Sariel Har-Peled tiene un próximo libro sobre Algoritmos de aproximación geométrica. Ha estado disponible en forma de borrador como notas de clase desde hace un tiempo.

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

Gráficos expansores y sus aplicaciones , por Hoory, Linial y Wigderson. Esto está llegando al territorio de la monografía en 123 páginas.

Complejidad de la función booleana: avances y fronteras por Stasys Jukna.

(Prefacio) (Tabla de contenido)

Un borrador gratuito solía estar disponible como descarga directa hace un tiempo (si no recuerdo mal), pero ahora parece que puede obtenerlo completando un formulario en su página web o enviándole un correo electrónico.

Stephen Cook y Phuong Nguyen publicaron un libro llamado Fundamentos lógicos de la complejidad de la prueba en marzo de 2010. Hay un borrador en el sitio web de Cook: aquí . Lamentablemente, no lo he leído.

Cadenas de Markov y tiempos de mezcla por DA Levin, Y. Peres, EL Wilmer (2008). Finalmente un libro de texto que cubre este tema amplio y omnipresente.

Hay un nuevo libro próximo sobre Algoritmos espectrales de Ravi Kannan y Santosh Vempala que cubre varios desarrollos más recientes. Cubre varias aplicaciones de métodos espectrales, algoritmos para estimar parámetros espectrales y aproximación de bajo rango de matrices.

Como Suresh Venkat mencionó la monografía sobre expansores, también mencionaré las siguientes monografías relacionadas sobre el tema de la pseudoaleatoriedad . El proyecto de pseudoaleatoriedad por Salil Vadhan (220 páginas) es muy vale la pena leer. La monografía Parwise Independence and Derandomization de Luby y Wigderson también es agradable.

Los libros en acceso abierto desde el sitio del Instituto de Investigación de Ciencias Matemáticas:

• Volumen 56, Games of No Chance 3 , editado por Michael H. Albert y Richard J. Nowakowski, 2009.
• Volumen 52, Geometría combinatoria y computacional , editado por Jacob E. Goodman, János Pach y Emo Welzl, 2005.
• Volumen 44, Teoría de números algorítmicos , editado por Joe Buhler y Peter Stevenhagen, 2008.
• Volumen 42, Más juegos sin posibilidades , editado por Richard J. Nowakowski, 2002.
• Volumen 29, Games of No Chance , editado por Richard Nowakowski, 1996.

Aquí he enumerado solo aquellos libros que para mí encajan mejor en la definición de TCS.

NÓTESE BIEN. Los libros no son borradores y fueron publicados.

El método de discrepancia , Bernard Chazelle.

Probabilidad en árboles y redes , Russell Lyons con Yuval Peres

¡Ambas son buenas lecturas! Es posible que desee tomar Lyons-Peres ahora antes de que lo desconecten.

Libro de Bruno Courcelle " Estructura gráfica y lógica monádica de segundo orden, un enfoque teórico del lenguaje ".

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

Modern Computer Arithmetic por RP Brent y P. Zimmermann.

Hubert Comon, Max Dauchet, Remi Gilleron, Florent Jacquemard, Denis Lugiez, Christof Löding, Sophie Tison, Marc Tommasi: técnicas y aplicaciones de autómatas de árboles

"Complejidad descriptiva, canonización y teoría de estructura de gráfico definible", de Martin Grohe. Fecha del manuscrito: 7 de marzo de 2013. Disponible en: http://www.automata.rwth-aachen.de/~grohe/pub.en . (Enlace roto)

Espectros de gráficos de Brouwer y Haemers . Llegué a este libro a través del Capítulo 16 (escrito por Spielman) en Combinatorial Scientific Computing .

"Modelos de computación, explorando el poder de la informática", por John E. Savage. Disponible en http://www.cs.brown.edu/~jes/book/pdfs/ModelsOfComputation.pdf .

Teoría de autómatas: un enfoque algorítmico por Javier Esparza

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

Hay un borrador en línea del nuevo libro "Métodos iterativos en optimización combinatoria" de Lap Chi Lau, R. Ravi y Mohit Singh:

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

Se trata del método de redondeo iterativo: una nueva técnica que se puede utilizar para diseñar algoritmos de aproximación para muchos problemas.

Notas o libros sobre algoritmos distribuidos:

• "Un curso sobre algoritmos deterministas distribuidos" por Jukka Suomela. Disponible en http://www.cs.helsinki.fi/u/josuomel/dda/dda-print.pdf
• "Principios de computación distribuida" por Roger Wattenhofer. Disponible en http://dcg.ethz.ch/lectures/podc_allstars/lecture/podc.pdf

"Matemática lógica y discreta para informáticos", por James Caldwell. Fecha del manuscrito: 22 de agosto de 2011. Disponible en: http://www.cs.uwyo.edu/~jlc/courses/2300/book.pdf .

"Estructuras de datos y algoritmos, la caja de herramientas básica", por Kurt Mehlhorn. Fecha del manuscrito: agosto de 2008. Disponible en: http://www.mpi-inf.mpg.de/~mehlhorn/ftp/Toolbox/ .

"Una introducción a la teoría de grafos y redes complejas", por Martin Van Steen. Fecha del manuscrito: enero de 2010. Disponible en: http://www.distributed-systems.net .

"Teoría de la categoría para la ciencia de la computación", de Michael Barr y Charles Wells. Disponible en http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf .

"Filosofía de la informática", por William J. Rappaport. Fecha del manuscrito: 24 de diciembre de 2013. Disponible en: http://www.cse.buffalo.edu/~rapaport/Papers/phics.pdf .

"Teoría de gráficos fraccionales: un enfoque racional de la teoría de gráficos", por Edward Scheinerman y Daniel Ullman. Disponible en http://www.ams.jhu.edu/~ers/fgt/fgt.pdf .

"Fundamentos de la ciencia de datos" ( pdf ) por Hopcroft y Kannan. El texto fue discutido por Lipton en su blog. Como el título lo indica, el énfasis del texto parece ser aplicaciones y problemas relacionados con Big Data y problemas de aprendizaje. Parece haber surgido de este curso .

(Actualización 8/2015) El libro ahora tiene un tercer autor, Avrim Blum. El enlace pdf ha sido actualizado.

PlanetMath enumera más de 150 libros que están disponibles en línea. La lista se actualiza regularmente (la adición más reciente es 2011-01-09, a partir de este escrito). Los libros están relacionados con las matemáticas, pero algunos de ellos también son útiles en TCS.

Razonamiento bayesiano y aprendizaje automático , por David Barber.

Redes, multitudes y mercados: razonamiento sobre un mundo altamente conectado por David Easley y Jon Kleinberg.

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