Gute Beispiele, wie man in TCS gut schreibt

Ich habe ein Studentenmanuskript bearbeitet. Die Schülerin bemerkte, dass es schön wäre, Beispiele für qualitativ hochwertiges Schreiben in veröffentlichten Arbeiten zu sehen, und mir wurde klar, dass ich mir nicht wirklich gute Beispiele aus dem Kopf schlagen konnte

Was sind die besten Beispiele für qualitativ hochwertiges mathematisches Schreiben, die Sie gesehen haben?

Regeln:

• Ich würde nach Möglichkeit TCS-Papiere vorziehen. Unser Stil unterscheidet sich genug von Standard-Mathepapieren, dass ich denke, dass es besser ist, sich auf TCS zu konzentrieren (auch, warum ich hier frage und nicht auf MO)
• Es wäre hilfreich, wenn Sie erwähnen würden, was genau Ihrer Meinung nach das Papier gut macht. Nicht jede Belichtung ist bei allem gut - einige Papiere haben hervorragende Proof-Konturen, einige verwenden die Notation sehr effektiv und andere vermitteln meisterhaft die Intuition.
• Wenn möglich, verlinken Sie bitte auf das Papier.

Ich hoffe, dass dies eine Ressource wird, wie viele unserer anderen allgemeinen Fragen. Ich bezeichne es aus diesem Grund als CW.

In der Kategorie 'Great proof outline' sind dies meine Favoriten:

" Undirected Connectivity in Log-Space " von Omer Reingold.

" Algorithmen für Geometrie, Flüsse und Graph-Partitionierung " von Sanjeev Arora, Satish Rao und Umesh Vazirani.

Entropiewellen, das Zick-Zack-Graph-Produkt und neue Expander mit konstantem Grad vermitteln eine Menge Intuition über Graph-Produkte und Expander-Graphen, und die Ideen sind für jeden zugänglich, der Grundkenntnisse in linearer Algebra besitzt.

Ich erinnere mich, wie ich Lucas Artikel wirklich mochte, der Max Cut eine spektrale Annäherung gibt: http://arxiv.org/pdf/0806.1978v5.pdf .

Abgesehen von der klaren Darstellung zeichnet er das größere Bild: Warum ist eine Annäherung an MaxCut, die besser als der Faktor 2 ist, warum sollte man erwarten, dass Spektraltechniken funktionieren könnten, wie sein Algorithmus zu Cheegers Ungleichung in Beziehung steht und zu die Goemans-Williamson SDP. Außerdem ist der Algorithmus selbst sehr ordentlich.

Luca Trevisans Extraktorpapier ist wunderschön geschrieben - die Idee war damals revolutionär und Lucas Darstellung der Intuition war großartig.

Ich bin nicht sicher, ob es für TCS geeignet ist, aber das klassische Papier von Kleinberg ist ein gutes Beispiel für gutes Schreiben. Zumindest ist dies das, was ich als Beispiel benutze, wenn mir diese Frage gestellt wird.

Maßgebliche Quellen in einem Umfeld mit Hyperlinks von Jon M. Kleinberg http://www.cs.cornell.edu/home/kleinber/auth.pdf

Es ist auch sehr interessiert, dieses Papier mit dem "Google-Papier" zu vergleichen, das im WWW veröffentlicht wurde. Das Kleinberg-Papier ist viel besser geschrieben.

Oded Goldreichs In a World of P = BPP ist eine der besten schriftlichen Arbeiten, die ich gelesen habe. Dies ist hauptsächlich auf die Klarheit der Darstellung, die konzeptionelle Perspektive und die Möglichkeit zurückzuführen, Überlegungen zur Bedeutung der Ergebnisse in der Arbeit aufzunehmen.