Mọi người nên đọc những giấy tờ gì?


454

Câu hỏi này là (lấy cảm hứng từ) / (đáng xấu hổ bị đánh cắp) một câu hỏi tương tự tại MathOverflow , nhưng tôi hy vọng các câu trả lời ở đây sẽ hoàn toàn khác.

Tất cả chúng ta đều có những bài báo yêu thích trong lĩnh vực lý thuyết của riêng mình. Thỉnh thoảng, người ta lại tìm thấy một bài báo rất đáng kinh ngạc (ví dụ, quan trọng, hấp dẫn, đơn giản, v.v.) mà người ta muốn chia sẻ nó với mọi người. Vì vậy, liệt kê các giấy tờ ở đây! Họ không phải đến từ khoa học máy tính lý thuyết - bất cứ điều gì bạn nghĩ có thể thu hút cộng đồng là một câu trả lời hay.

Bạn có thể đưa ra nhiều câu trả lời như bạn muốn; xin vui lòng đặt một tờ giấy cho mỗi câu trả lời ! Ngoài ra, lưu ý đây là wiki cộng đồng, vì vậy hãy bỏ phiếu cho mọi thứ bạn thích!

(Lưu ý rằng đã có một câu hỏi trước đây về các bài báo về độ phức tạp lý thuyết đệ quy nhưng điều đó khá chuyên biệt.)


65
Trong các câu trả lời, tôi muốn thấy sự nhấn mạnh nhiều hơn về việc có nên đọc bài báo gốc ngày nay hay không (hoặc nếu đọc một cuốn sách giáo khoa hiện đại về nó có ý nghĩa hơn nhiều). Tôi đã quá thường xuyên nhìn thấy các bài báo TCS thực sự rất quan trọng, nhưng tôi muốn cứu các đồng nghiệp của mình khỏi nỗi đau khi cố gắng giải mã bài viết gốc - vốn thường là một bản tóm tắt hội thảo 10 trang được viết vội vàng, với các tài liệu tham khảo đến một "phiên bản đầy đủ" chưa từng xuất hiện ...
Jukka Suomela

7
Vâng, tôi hy vọng rõ ràng rằng các loại giấy tờ này không tốt cho danh sách này (nếu bạn muốn chia sẻ nó với mọi người, thì không nên đọc)
Ryan Williams

30
Quá nhiều người chỉ đăng một lót. Bất kỳ ai cũng có thể đăng 100 bài báo độc đáo mà không cần suy nghĩ gì. Xin vui lòng gửi lý do tại sao bạn nghĩ rằng tất cả mọi người nên đọc những giấy tờ. Điều này có nghĩa là biện minh cho lý do tại sao họ nên đọc bài báo đó thay vì bài viết của người khác về kết quả đó và điều tuyệt vời về bài báo mà mọi người nên đọc nó.
Robin Kothari

Câu hỏi hay. Ý kiến ​​của tôi là nếu bạn muốn hiểu suy nghĩ của các nhà phát minh, và có thể hiểu cách phát minh ra mọi thứ, bạn phải đọc các từ của riêng họ. Bạn càng lao động, bạn càng tiến gần đến quá trình suy nghĩ thực tế của họ.
ixtmixilix

Câu trả lời:



145

Bài báo năm 1936 được cho là bắt đầu từ chính khoa học máy tính:

  • Alan Turing, "Về những con số có thể tính toán được, với một ứng dụng cho Entscheidungspropet", Kỷ yếu của Hiệp hội toán học Luân Đôn s2-42, 230 Bút265, 1937. doi: 10.1112 / plms / s2-42.1.230

Chỉ trong 36 trang, Turing đã xây dựng (nhưng không nêu tên) Máy Turing, tái hiện Định lý bất toàn đầu tiên nổi tiếng của Gôdel về mặt tính toán, mô tả khái niệm về tính phổ quát và trong phần phụ lục cho thấy khả năng tính toán của máy Turing tương đương với khả năng tính toán của chức năng -definable (như nghiên cứu của Church và Kleene).λ


7
Nó cũng rất dễ truy cập và có thể đọc được ...
Sariel Har-Peled

25
và với nó The Turingated Turing của Charles Petzold [Rất khuyến khích]
Pratik Deoghare


123

" Phản ánh về niềm tin " của Ken Thompson . Ngắn, ngọt ngào và tâm trí.


5
Ngoài ra, rất dễ tiếp cận. Tôi đã đọc nó cách đây khá lâu, khi tôi về cơ bản không có nền tảng CS, không có kinh nghiệm lập trình và thậm chí còn không biết trình biên dịch là gì.
Jörg W Mittag

1
"Tuần trước, Googler Ken Thompson đã được trao Giải thưởng Thông tin và Truyền thông Nhật Bản cho công trình đầu tiên của ông trên hệ điều hành UNIX." (src: Bài đăng trên Buzz từ Cuộc sống tại Google)
Sebastián Grignoli

4
Tôi nghĩ rằng bài báo này sẽ khá khó tiêu hóa mà ít nhất không biết trình biên dịch là gì.
Fixee

2
Trong bài báo, tôi nghĩ rằng hình 2.1 và 2.2 được hoán đổi.
Dennis

1
Không đồng ý - không có gì tuyệt vời hay suy nghĩ trong bài báo này. TL; DR 6 trang từ giữa những năm 80 về "cần thay đổi bộ luật hình sự để bắt đầu trừng phạt tin tặc [giống như kẻ trộm hoặc kẻ trộm]". O yeah, đề cập đến một quine , mà không gọi nó bằng tên.
c69

94

Những gì mọi nhà khoa học máy tính nên biết về số học dấu phẩy động

Bài viết này giải thích và củng cố quan niệm rằng điểm nổi không phải là phép thuật. Nó giải thích tràn, tràn, số không chuẩn hóa là gì, NaN là gì, inf là gì và tất cả những điều này ngụ ý. Sau khi đọc bài viết này, bạn sẽ biết tại sao a == a + 1.0 có thể đúng, tại sao a == a có thể sai, tại sao việc chạy mã của bạn trên hai máy khác nhau có thể cho bạn hai câu trả lời khác nhau, tại sao lại tổng hợp các số khác nhau thứ tự có thể cung cấp cho bạn một thứ tự chênh lệch cường độ và tất cả những thứ kỳ quặc xảy ra trong thế giới ánh xạ một tập hợp số vô hạn vô tận vào một tập hợp hữu hạn.

Một phiên bản chỉnh sửa cũng có sẵn trên web.


3
Xin vui lòng, sửa chữa các liên kết. Nó bị hỏng.
Oscar Mederos

1
Kể từ khi Oracle mua lại Sun, nó đã phá hỏng hầu hết các liên kết từ trang web của Sun. Mặc dù bạn có thể đạt được giấy gốc từ đây .
lỗi


1
Đã sửa lỗi liên kết bị hỏng.
Ryan

85

Cách đọc một bài báo của Keshav . Bạn cũng có thể tải giấy từ đây .


Thật sự đọc rất tốt.
Anthony Labarre

Tôi luôn nghĩ rằng các tài liệu nghiên cứu về CS được viết bằng một số ngôn ngữ nước ngoài.
Berlin Brown

3
Rất tốt! Nó là giá trị để được đặt trên biểu ngữ tagline trên trang web để đảm bảo không có sinh viên bỏ lỡ điều đó.
Vag

Liên kết thứ hai hiện đang bị hỏng
Christopher Manning

2
Đây là yêu thích của tôi từ danh sách. Cũng lưu ý rằng đây là một tài liệu sống, không giống như hầu hết các giấy tờ không nhận được cập nhật sau khi được xuất bản.
Dennis

67

Con đường, cây và hoa của J. Edmonds. Bài viết về vấn đề tối ưu hóa tổ hợp cổ điển này không chỉ được viết tốt mà còn nói rằng khái niệm "thuật toán thời gian đa thức" về cơ bản là một từ đồng nghĩa với hiệu quả.


61

Khả năng giảm trong số các vấn đề kết hợp của Richard Karp. Bài viết chứa những gì thường được gọi là "21 vấn đề hoàn chỉnh NP gốc" của Karp. Theo nhiều cách, bài viết này thực sự thúc đẩy nghiên cứu về tính đầy đủ của NP bằng cách chứng minh khả năng ứng dụng của nó vào một miền rộng hơn. Rất dễ đọc.


6
Tôi thích bài báo này, nhưng một số giảm là thực sự sơ sài và khó theo dõi. Xem bất kỳ văn bản phức tạp để biết thêm chi tiết.
András Salamon

2
@Andras Salamon Tôi đồng ý 100%.
Tayfun Trả tiền

52

Hartmanis và Stearns, "Về độ phức tạp tính toán của các thuật toán" , Giao dịch của Hiệp hội toán học Hoa Kỳ 117: 285 Tiết 306 (1965)

Đây là bài báo đầu tiên thực hiện nghiên cứu về độ phức tạp của thời gian một cách nghiêm túc, và chắc chắn là động lực chính cho giải thưởng Turing chung của Hartmanis và Stearns. Mặc dù các định nghĩa ban đầu của chúng không hoàn toàn như những gì chúng ta sử dụng ngày nay, bài báo vẫn cực kỳ dễ đọc. Bạn thực sự có được cảm giác như thế nào mọi thứ ở biên giới "Miền Tây hoang dã" cũ của thập niên 60.



51

Máy tính cơ lượng tử (PDF) của Richard Feynman.

Ông giới thiệu ý tưởng tính toán lượng tử, mô tả các mạch lượng tử, giải thích cách các mạch cổ điển có thể được mô phỏng bằng các mạch lượng tử và cho thấy các mạch lượng tử có thể tính toán các hàm như thế nào mà không cần nhiều qubit rác (sử dụng tính toán không tính toán).

Sau đó, ông cho thấy bất kỳ mạch cổ điển nào có thể được mã hóa thành Hamiltonian độc lập với thời gian! Bằng chứng của ông cũng được đưa ra cho các mạch lượng tử, do đó cho thấy thời gian phát triển của người Hamilton là BQP-hard! Cấu trúc Hamilton của ông cũng được sử dụng trong chứng minh phiên bản lượng tử của định lý Cook-Levin, được chứng minh bởi Kitaev, cho thấy Hamiltonian k-local là hoàn chỉnh QMA.


Liên kết không hợp lệ. Bạn có nguồn khác không? chỉnh sửa> Tìm kiếm trên google: wjzeng.net/Ref/Feynman_QuantumM CơComputers.pdf Đây có phải là cái này không?
Klaim

Đó là một. Tôi đã thêm một liên kết mới và một liên kết đến trang của nó trên trang web của nhà xuất bản.
Robin Kothari

Có phải các khái niệm về BQP và QMA đã tồn tại khi Feynman viết bài báo này? Hoặc có một bài báo gần đây rút ra kết nối này? Bất kỳ tài liệu tham khảo / giải thích nào về thực tế này rằng Hamilton-k hoàn chỉnh là QMA?
Anirbit

48

Đồ thị giãn nở và các ứng dụng của chúng, S. Hoory, N. Linial và A. Wigderson là một khảo sát cực kỳ hay về đồ thị giãn nở. Không có gì ngạc nhiên khi nó giành được giải thưởng AMS Conant 2008.

Tôi muốn nhớ lại rằng đồ thị giãn nở là thành phần chính trong các đột phá gần đây trong TCS, vd.

và không phải gần đây:


1
Bạn nên theo dõi các điều kiện tiên quyết kết hợp hoặc hỗ trợ. Đồ thị Expander thậm chí còn được sử dụng trong phân tích số ngày nay.
shuhalo

44

Hàng trăm kết quả không thể chấp nhận được cho tính toán phân tán của Fich và Ruppert. Một cuộc khảo sát bằng hình ảnh có thể đọc được thực sự đưa ra hàng trăm kết quả không thể thực hiện được, bao gồm các câu hỏi cốt lõi của lĩnh vực này. Một mảnh đáng chú ý của văn bản lưu trữ.


Phiên bản của nhà xuất bản: doi.org/10.1007/s00446-003-0091-y
András Salamon

bạn có thể vui lòng thêm năm để trả lời không
narek Bojikian

44

Tôi ngạc nhiên khi không ai nghĩ ra "Một số kết quả không thể đạt được tối ưu" của Hastad (JACM 2001; ban đầu là STOC 1997). Bài viết mang tính bước ngoặt này đã được viết rất tốt, bạn có thể đến với nó ngoài sự trưởng thành về toán học và nó sẽ khiến bạn muốn tìm hiểu nhiều thứ, chẳng hạn như các kỹ thuật Fourier của nó, lặp lại song song, tiện ích và không có gì.


44

O((logN)3)O(exp((649b)13(logb)23))


42

Lý thuyết về sự có thể học được của Les Valiant (1984) đã đặt ra chương trình nghị sự cho việc học lý thuyết trong nhiều thập kỷ, và đó là một bài viết hay và dễ đọc!

Cũng có khá nhiều lời giải thích trực quan trong bài báo làm cho nó thú vị và hấp dẫn. Các phần khác nhau của bài viết này vẫn được trích dẫn thường xuyên trong các cuộc đàm phán COLT / ALT.




37

Sự phức tạp của các thủ tục chứng minh định lý của Stephen A. Cook. Bài viết này chứng minh rằng tất cả các ngôn ngữ được quyết định bởi các máy Turing không điều kiện đa thời gian có thể được giảm (Cook-) thành tập hợp các tautology mệnh đề.

Tầm quan trọng của kết quả này là (ít nhất) gấp đôi: đầu tiên, nó cho thấy rằng có tồn tại các vấn đề trong NP , ít nhất là khó như cả lớp, các vấn đề NP -complete; hơn nữa, nó cung cấp một ví dụ cụ thể về một vấn đề như vậy, sau đó có thể được giảm bớt cho những người khác để chứng minh chúng hoàn thành.

Ngày nay, việc giảm Karp được sử dụng phổ biến hơn so với giảm Cook, nhưng bằng chứng chính của bài viết này có thể dễ dàng điều chỉnh để cho thấy SAT là NP -complete liên quan đến việc giảm Karp.


7
Đây là một trong những tài liệu hội nghị mà không có phiên bản tạp chí nào từng xuất hiện, nhưng đây là bài viết chắc chắn đáng để quay lại: được viết tốt và đầy những bình luận tuyệt vời.
András Salamon


36

CAR Hoare, một cơ sở tiên đề cho lập trình máy tính .

Từ bản tóm tắt: Trong bài báo này, một nỗ lực được thực hiện để khám phá nền tảng logic của lập trình máy tính bằng cách sử dụng các kỹ thuật lần đầu tiên được áp dụng trong nghiên cứu hình học và sau đó đã được mở rộng sang các nhánh toán học khác.

Nó có sáu trang khá dễ theo dõi.


34

Alon, Matias và Szegedy, Độ phức tạp không gian của xấp xỉ các khoảnh khắc tần số , JCSS 58 (1): 137-147, 1999.

Bài báo khá kỳ diệu này là bài đầu tiên chính thức hóa các thuật toán phát trực tuyến và chứng minh các giới hạn trên và dưới nghiêm ngặt cho các nhiệm vụ cơ bản trong mô hình phát trực tuyến. Kỹ thuật của nó rất đơn giản, bằng chứng của nó rất đẹp và tác động của nó rất sâu sắc. Tác phẩm đã giành được giải thưởng Alon, Matias và Szegedy giải thưởng Godel năm 2005.


dang. Tôi sẽ thêm cái này :)
Suresh Venkat

30

Bài báo của Immerman chứng minh định lý bây giờ được gọi là định lý Immerman của Szelepcsényi, là một ví dụ tuyệt vời về bài báo dễ đọc, thông minh và ngắn. Tôi thích câu chuyện được kể trong phần giới thiệu.

N. Immerman, Không gian không xác định được đóng lại dưới sự bổ sung, Tạp chí SIAM về máy tính 17, 1988, trang 935 Phản938.


1
Công bằng mà nói, bài báo của Szelepcsényi, "Phương pháp liệt kê bắt buộc đối với automata không điều kiện," cũng hay như vậy.
Lev Reyzin

30

f(n)log(n)

NSPACE(f(n))DSPACE((f(n))2).

NPSPACE=PSPACEPNP

Savitch, Walter J. (1970), "Mối quan hệ giữa độ phức tạp băng không xác định và xác định", Tạp chí Khoa học Máy tính và Hệ thống 4 (2): 177 Chuyện192.




24

Trình trích xuất và Trình tạo Pseudorandom của Luca Trevisan. Trong bài báo này, trình trích xuất ngẫu nhiên tốt được xây dựng bằng các mã sửa lỗi và thiết kế tổ hợp. Xây dựng là khá dễ hiểu nhưng nó hoàn toàn tuyệt đẹp, bởi vì nó không rõ ràng về sự kết nối giữa các trình trích xuất, mã và thiết kế.

Rốt cuộc, đó là một ví dụ tốt về một kết quả trong TCS đòi hỏi một số tổ hợp lạ mắt.


24

5
Tôi đã đọc cái này và tôi đã đọc A Mathicalian 's Lament của Lockhart ( maa.org/devlin/LockhartsLament.pdf ). IMHO Tôi tin rằng chiến lược mà Lamport đề xuất đi ngược lại với những gì Lockhart tranh luận về vẻ đẹp của toán học.
Marcos Villagra

5
Đọc rất thú vị. Tôi hiểu ý kiến ​​của bạn, nhưng nếu tôi không nhầm, Lamport nhắm đến thông điệp của anh ấy hướng tới những người "có học vấn toán học" hơn những người nhắm đến bởi Lockhart, người nhằm mục đích giúp học sinh phát triển thị hiếu toán học. Tôi cũng sẽ thừa nhận rằng việc tuân theo một định dạng nghiêm ngặt khiến cho bằng chứng khá khó đọc, nhưng tôi đồng ý với Lamport về ý tưởng chứng minh theo cấp độ: bạn không phải lúc nào cũng muốn / cần / có thời gian để đọc mọi thứ chi tiết và ngay cả khi bạn làm, có một bản tóm tắt về những gì sẽ đến có thể khá hữu ích. Khá nhiều so với những người "dễ nhìn / rõ ràng / wlog / ..." ;-)
Anthony Labarre


19

Nếu tôi có thể trích dẫn Sarah Palin về vấn đề này: "Tất cả bọn họ".

Nghiêm trọng hơn, tôi nghĩ rằng hầu hết các giấy tờ không nên được đọc trong bản gốc. Khi thời gian trôi qua mọi người tìm ra cách hiểu tốt hơn và trình bày vấn đề / giải pháp ban đầu. Ngoại trừ giấy gốc Turing, có tầm quan trọng lịch sử, tôi sẽ không khuyên bạn nên đọc hầu hết các giấy tờ gốc nếu có công việc tiếp theo đã làm sạch nó. Đặc biệt, rất nhiều thứ được trình bày trong sách tốt hơn nhiều so với bản gốc.


16
Nhận xét này là đúng nói chung, nhưng Ryan yêu cầu rõ ràng cho các ví dụ mà điều này không đúng. Có nhiều bài báo kinh điển chứa những phỏng đoán chưa được chứng minh, các kỹ thuật đã bị bỏ qua hoặc kết quả có xu hướng bị lãng quên nhưng có thể bị loại bỏ và đưa vào sử dụng mới.
András Salamon

12
Tôi không đồng ý. Đúng là các bài báo gốc đôi khi không thể đọc được và các tác phẩm thứ cấp cho kết quả tốt hơn, nhưng đôi khi các bài báo gốc chứa các ý tưởng bị bỏ qua trong các tác phẩm sau này. Ngoài ra đọc các bài báo gốc có thể dạy chúng tôi làm thế nào tác giả đưa ra ý tưởng. Hãy xem bài đăng này của Timothy Chow trên MO: mathoverflow.net/questions/28268/do-you-read-the-masters
Kaveh

4
Thật tuyệt vời khi điều này xảy ra. Tôi chỉ tuyên bố rằng nó là hơi hiếm.
Sariel Har-Peled

6
Bạn nói "Tất cả bọn họ", nhưng sau đó bạn không tranh luận về "Không ai trong số họ"?
Peter Taylor

2
@Peter Taylor, tôi nghĩ đó là lý do Sarah được nhắc đến. :)
Radu GRIGore

18

Chomsky phân tích làm thế nào các mô hình toán học có thể được sử dụng để mô tả ngôn ngữ tự nhiên, từ quan điểm ngôn ngữ học.


3
Nhân tiện, tôi không ủng hộ bài báo này - chỉ cần chỉnh sửa để sửa lỗi chính tả và thêm một liên kết. Tôi thích giấy của Gold nếu ai đó muốn một bài báo cổ điển về ngôn ngữ.
András Salamon

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.