Những ví dụ điển hình cho cách viết tốt trong TCS

Tôi đang chỉnh sửa một bản thảo của sinh viên. Học sinh nhận xét rằng thật tuyệt khi thấy các ví dụ về văn bản chất lượng trong tác phẩm được xuất bản và tôi nhận ra rằng tôi không thể thực sự đưa ra các ví dụ hay từ trên đỉnh đầu

Các ví dụ tốt nhất về văn bản toán học chất lượng bạn đã thấy là gì?

Quy tắc:

• Tôi muốn giấy tờ TCS càng nhiều càng tốt. Phong cách của chúng tôi đủ khác biệt so với các bài toán tiêu chuẩn mà tôi nghĩ tốt hơn là tập trung vào TCS (cũng là lý do tại sao tôi hỏi ở đây chứ không phải về MO)
• nó sẽ giúp ích nếu bạn đề cập chính xác những gì bạn nghĩ rằng bài báo đã làm tốt. Không phải tất cả các giải trình đều tốt ở tất cả mọi thứ - một số bài báo có những bằng chứng tuyệt vời, một số sử dụng ký hiệu thực sự hiệu quả và những bài khác truyền đạt trực giác một cách thành thạo.
• nếu có thể, xin vui lòng liên kết đến giấy.

Tôi hy vọng điều này có thể trở thành một tài nguyên, giống như nhiều câu hỏi lớn khác của chúng tôi. Tôi đánh dấu nó CW vì lý do đó.

Trong danh mục 'Đại cương bằng chứng', đây là những mục yêu thích của tôi:

" Kết nối vô hướng trong không gian đăng nhập " của Omer Reingold.

" Hình học, dòng chảy và thuật toán phân vùng đồ thị " của Sanjeev Arora, Satish Rao và Umesh Vazirani.

Sóng Entropy, sản phẩm đồ thị zig-zag và bộ mở rộng mức độ không đổi mới truyền tải rất nhiều trực giác về các sản phẩm đồ thị và đồ thị mở rộng và những ý tưởng có thể truy cập được cho bất kỳ ai có kiến ​​thức cơ bản về đại số tuyến tính.

Tôi nhớ thực sự thích bài viết của Luca đưa ra một xấp xỉ phổ cho Max Cut: http://arxiv.org/pdf/0806.1978v5.pdf .

Ngoại trừ sự giải thích rõ ràng, anh ta vẽ một bức tranh lớn hơn: tại sao bất kỳ xấp xỉ nào tốt hơn so với yếu tố 2 của MaxCut, tại sao người ta lại mong đợi rằng các kỹ thuật quang phổ có thể hoạt động, thuật toán của anh ta liên quan đến sự bất bình đẳng của Cheeger như thế nào SDP của Goemans-Williamson. Ngoài các thuật toán chính nó rất gọn gàng.

Luca Trevisan của giấy vắt được viết đẹp - ý tưởng, tại thời điểm đó, đã cách mạng, và trình bày về trực giác của Luca là tuyệt vời.

Không chắc chắn nếu nó đủ điều kiện cho TCS, nhưng bài báo kinh điển của Kleinberg là một ví dụ tốt cho văn bản tốt. Ít nhất đây là những gì tôi sử dụng làm ví dụ khi tôi được hỏi câu hỏi này.

Các nguồn có thẩm quyền trong một môi trường siêu liên kết của Jon M. Kleinberg http://www.cs.cornell.edu/home/kleinber/auth.pdf

Nó cũng khá thú vị để đối chiếu bài báo này với "bài báo Google" đã được xuất bản trong WWW. Bài báo Kleinberg được viết tốt hơn nhiều.

Oded Goldreich's In a World of P = BPP là một trong những bài viết hay nhất mà tôi đọc. Điều này chủ yếu là do sự rõ ràng của giải trình bày, quan điểm khái niệm và lựa chọn bao gồm các phản ánh liên quan đến ý nghĩa của các kết quả trong bài báo.