Buenos ejemplos de cómo escribir bien en TCS

Estaba editando un manuscrito estudiantil. El estudiante comentó que sería bueno ver ejemplos de escritura de calidad en trabajos publicados, y me di cuenta de que realmente no podía sacar buenos ejemplos de mi cabeza.

¿Cuáles son los mejores ejemplos de escritura matemática de calidad que has visto?

Reglas:

• Prefiero los documentos TCS en la medida de lo posible. Nuestro estilo es lo suficientemente diferente de los documentos matemáticos estándar que creo que es mejor centrarse en TCS (también por qué pregunto aquí y no en MO)
• Sería útil si mencionaras exactamente lo que creías que hacía bien el periódico. No toda la exposición es buena en todo: algunos documentos tienen excelentes esquemas de prueba, algunos usan la notación de manera muy efectiva y otros transmiten la intuición con maestría.
• si es posible, por favor enlace al documento.

Espero que esto pueda convertirse en un recurso, como muchas de nuestras otras preguntas generales. Lo estoy marcando CW por esa razón.

En la categoría 'Gran esquema de prueba', estos son mis favoritos:

" Conectividad no dirigida en Log-Space " por Omer Reingold.

" Algoritmos de geometría, flujos y partición de gráficos " por Sanjeev Arora, Satish Rao y Umesh Vazirani.

Las ondas de entropía, el producto de gráfico en zig-zag y los nuevos expansores de grado constante transmiten mucha intuición sobre los productos gráficos y los gráficos expansores y las ideas son accesibles para cualquier persona con conocimientos básicos de álgebra lineal.

Recuerdo que me gustó mucho el trabajo de Luca que daba una aproximación espectral a Max Cut: http://arxiv.org/pdf/0806.1978v5.pdf .

Excepto por la exposición clara, pinta muy bien el panorama general: por qué es difícil una aproximación mejor que el factor 2 a MaxCut, por qué uno esperaría que las técnicas espectrales pudieran funcionar, cómo se relaciona su algoritmo con la desigualdad de Cheeger y el SDP de Goemans-Williamson. Además de que el algoritmo en sí es muy ordenado.

El papel extractor de Luca Trevisan está bellamente escrito: la idea, en ese momento, era revolucionaria, y la exposición de Luca de la intuición fue genial.

No estoy seguro si califica para TCS, pero el artículo clásico de Kleinberg es un buen ejemplo para una buena escritura. Al menos esto es lo que uso como ejemplo cuando me hacen esta pregunta.

Fuentes autorizadas en un entorno con hipervínculos por Jon M. Kleinberg http://www.cs.cornell.edu/home/kleinber/auth.pdf

También está bastante interesado en contrastar este documento con el "documento de Google" que se publicó en WWW. El artículo de Kleinberg está mucho mejor escrito.

Oded Goldreich's In a World of P = BPP es uno de los mejores artículos escritos que leí. Esto se debe principalmente a la claridad de la exposición, la perspectiva conceptual y la opción de incluir reflexiones sobre el significado de los resultados en el documento.