Buoni esempi su come scrivere bene in TCS

Stavo curando un manoscritto studentesco. Lo studente ha osservato che sarebbe bello vedere esempi di testi di qualità nelle opere pubblicate e mi sono reso conto che non potevo davvero trovare buoni esempi dalla cima della mia testa

Quali sono i migliori esempi di scrittura matematica di qualità che hai visto?

Regole:

• Preferirei i documenti TCS per quanto possibile. Il nostro stile è abbastanza diverso dalle carte matematiche standard che penso sia meglio concentrarsi su TCS (anche perché sto chiedendo qui e non su MO)
• sarebbe di aiuto se menzionassi esattamente cosa pensavi avesse fatto bene il documento. Non tutte le esposizioni sono buone in tutto: alcuni documenti hanno grandi contorni di prova, alcuni usano la notazione in modo molto efficace e altri trasmettono magistralmente l'intuizione.
• se possibile, si prega di collegarsi al documento.

Spero che questo possa diventare una risorsa, come molte altre nostre domande generali. Lo segnerò in CW per questo motivo.

Nella categoria "Ottima bozza di prova", questi sono i miei preferiti:

" Connettività non indirizzata nello spazio log " di Omer Reingold.

" Geometria, flussi e algoritmi di partizionamento grafico " di Sanjeev Arora, Satish Rao e Umesh Vazirani.

Le onde entropiche, il prodotto grafico a zig-zag e i nuovi espansori a grado costante trasmettono molta intuizione sui prodotti grafici e sui grafici di espansione e le idee sono accessibili a chiunque abbia una conoscenza di base dell'algebra lineare.

Ricordo che mi è piaciuto molto il documento di Luca che dava un'approssimazione spettrale a Max Cut: http://arxiv.org/pdf/0806.1978v5.pdf .

Fatta eccezione per la chiara esposizione, dipinge bene il quadro più ampio: perché ogni approssimazione migliore del fattore 2 di MaxCut è dura, perché ci si aspetterebbe che le tecniche spettrali potrebbero funzionare, come il suo algoritmo si collega alla disuguaglianza di Cheeger e l'SDP di Goemans-Williamson. Oltre all'algoritmo stesso è molto pulito.

La carta dell'estrattore di Luca Trevisan è magnificamente scritta: l'idea, a quel tempo, era rivoluzionaria e l'esposizione dell'intuizione di Luca era eccezionale.

Non sono sicuro se si qualifica per TCS, ma il classico documento di Kleinberg è un buon esempio per una buona scrittura. Almeno questo è quello che uso come esempio quando mi viene posta questa domanda.

Fonti autorevoli in un ambiente ipertestuale di Jon M. Kleinberg http://www.cs.cornell.edu/home/kleinber/auth.pdf

È anche piuttosto interessato a contrastare questo documento con il "documento di Google" pubblicato nel WWW. L'articolo di Kleinberg è scritto molto meglio.

In a World of P = BPP di Oded Goldreich è uno dei migliori scritti che ho letto. Ciò è dovuto principalmente alla chiarezza dell'esposizione, alla prospettiva concettuale e alla scelta di includere riflessioni sul significato dei risultati nel documento.