Khoa học máy tính lý thuyết big-list

6

Có gì mới trong cấu trúc dữ liệu chức năng thuần túy kể từ Okasaki?

Kể từ cuốn sách "Cấu trúc dữ liệu chức năng thuần túy" năm 1998 của Chris Okasaki, tôi đã không thấy quá nhiều cấu trúc dữ liệu chức năng thuần túy thú vị mới xuất hiện; Tôi chỉ có thể đặt tên cho một vài: IntMap (cũng được phát minh …

563 reference-request big-list ds.data-structures functional-programming

30

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

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 …

454 big-list soft-question

30

Các thuật toán từ cuốn sách.

Paul Erdos đã nói về "Cuốn sách" nơi Chúa giữ bằng chứng thanh lịch nhất cho mỗi định lý toán học. Điều này thậm chí đã truyền cảm hứng cho một cuốn sách (mà tôi tin rằng hiện đang ở phiên bản thứ 4 của nó): Bằng chứng từ cuốn …

358 ds.algorithms soft-question ds.data-structures big-list

30

Mọi người nên đọc những cuốn sách nào?

[ Dòng thời gian ] Câu hỏi này có cùng tinh thần về những gì mọi người nên đọc và những video nào mọi người nên xem . Nó yêu cầu những cuốn sách đáng chú ý trong các lĩnh vực khác nhau của khoa học máy tính lý thuyết. …

229 reference-request soft-question big-list books

30

Những vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết?

Wikipedia chỉ liệt kê hai vấn đề trong "những vấn đề chưa được giải quyết trong khoa học máy tính" : P = NP? Sự tồn tại của các hàm một chiều Các vấn đề lớn khác cần được thêm vào danh sách này là gì? Quy tắc: Chỉ có …

218 big-list open-problem

30

Mọi người nên xem video nào?

Đại học Stanford hiện có một kênh Youtube , với quyền truy cập miễn phí video HD của các khóa học đầy đủ về mọi thứ, từ hệ thống động lực đến sự vướng víu lượng tử. Nhiều hội nghị và hội thảo đang ghi hình cuộc nói chuyện của …

140 soft-question big-list

28

Các vấn đề giữa P và NPC

Bao thanh toán và đẳng cấu đồ thị là những vấn đề trong NP không được biết đến trong P cũng không phải là NP-Complete. Một số vấn đề tự nhiên khác (đủ khác nhau) chia sẻ tài sản này là gì? Các ví dụ nhân tạo đến trực tiếp …

128 cc.complexity-theory np-hardness big-list np-intermediate

15

Bài giảng nào mọi người nên đọc?

Có một số câu hỏi với cùng một sơ đồ như câu hỏi này: Mọi người nên đọc những giấy tờ gì Mọi người nên đọc những cuốn sách nào Những cuốn sách TCS gần đây có bản nháp có sẵn trực tuyến là gì mọi người nên xem video …

113 reference-request soft-question big-list

17

Ví dụ về giá trừu tượng?

Khoa học máy tính lý thuyết đã cung cấp một số ví dụ về "giá trừu tượng". Hai nổi bật nhất là để loại bỏ và sắp xếp Gaussian. Cụ thể là: Người ta biết rằng loại bỏ Gaussian là tối ưu cho việc tính toán định thức nếu bạn …

112 ds.algorithms reference-request big-list lower-bounds

30

Những cuốn sách TCS gần đây có bản nháp có sẵn trực tuyến là gì?

Sau bài viết Những cuốn sách mọi người nên đọc , tôi nhận thấy rằng có những cuốn sách gần đây có bản nháp có sẵn trực tuyến. Ví dụ, mục Thuật toán xấp xỉ của bài đăng trên trích dẫn một cuốn sách năm 2011 (chưa được xuất bản) …

99 reference-request big-list books

5

Danh sách hội nghị và hội thảo của TCS

Tôi muốn nhờ giúp đỡ trong việc biên soạn một danh sách càng nhiều hội nghị và hội thảo liên quan đến TCS càng tốt. Động lực chính của tôi để làm điều này là lên kế hoạch đưa tin về blog có thể có nhiều địa điểm lý thuyết …

90 soft-question big-list conferences

30

Hài hước liên quan đến giấy tờ TCS vv?

Công việc được công bố liên quan đến TCS hài hước nhất mà bạn biết là gì? Vui lòng chỉ bao gồm những người có ý định gây cười. Các tác phẩm được chế tạo rõ ràng để hài hước một cách thông minh (chứ không phải là, một bộ …

80 reference-request soft-question big-list

20

Ví dụ về Toán học không liên quan của nhau đóng vai trò cơ bản trong TCS?

Vui lòng liệt kê các ví dụ trong đó một định lý từ toán học thường không được coi là áp dụng trong khoa học máy tính lần đầu tiên được sử dụng để chứng minh một kết quả trong khoa học máy tính. Các ví dụ tốt nhất là …

74 reference-request soft-question big-list topology

9

Các thuật toán mạnh mẽ quá phức tạp để thực hiện

Một số thuật toán của tiện ích hợp pháp đơn giản là quá phức tạp để thực hiện là gì? Hãy để tôi rõ ràng: Tôi không tìm kiếm các thuật toán như thuật toán nhân ma trận tối ưu tiệm cận hiện tại (Coppersmith-Winograd), rất hợp lý để thực …

67 ds.algorithms ds.data-structures big-list implementation

13

Sử dụng các cấu trúc đại số trong khoa học máy tính lý thuyết

Tôi là một học viên phần mềm và tôi đang viết một cuộc khảo sát về các cấu trúc đại số cho nghiên cứu cá nhân và đang cố gắng đưa ra các ví dụ về cách các cấu trúc này được sử dụng trong khoa học máy tính lý …

67 reference-request big-list big-picture algebra

Câu hỏi được gắn thẻ «big-list»