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

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 

[ 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 

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 

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 

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 

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 

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 

Trong một câu trả lời cho một câu hỏi trước đó , tôi đã đề cập đến niềm tin phổ biến nhưng sai lầm rằng loại bỏ Gaussian mật chạy trong thời gian . Mặc dù rõ ràng là thuật toán sử dụng các phép toán số học O ( …

72 ds.algorithms  reference-request  linear-algebra 

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 

Tôi quen thuộc với rất nhiều kết quả sử dụng định lý PCP (chủ yếu là các thuật toán gần đúng), nhưng tôi chưa bao giờ bắt gặp một lời giải thích rõ ràng về định lý PCP (nghĩa là ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Những giấy tờ / sách tốt để …

64 cc.complexity-theory  reference-request  pcp 

Tôi muốn viết một cuộc khảo sát về các ứng dụng của Topology trong Khoa học máy tính. Tôi có kế hoạch bao gồm lịch sử của các ý tưởng tô pô trong Khoa học Máy tính và cũng nêu bật một vài phát triển hiện tại. Sẽ rất hữu …

61 reference-request  ho.history-overview  topology  survey 

Chúng tôi trong TCS thường sử dụng các kết quả và ý tưởng mạnh mẽ từ toán học cổ điển (đại số, cấu trúc liên kết, phân tích, hình học, v.v.). Một số ví dụ về khi nó đã đi theo cách khác? Đây là một số điều tôi biết …

60 reference-request  big-list 

Trong mô tả phức tạp , Immerman có Hệ quả 7.23. Các điều kiện sau là tương đương: 1. P = NP. 2. Trên cấu trúc hữu hạn, có trật tự, FO (LFP) = SO. Điều này có thể được coi là "khuếch đại" P = NP thành một câu …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Đối với (các phiên bản tìm kiếm) của các vấn đề NP -complete, việc xác minh một giải pháp rõ ràng dễ dàng hơn tìm kiếm nó, vì việc xác minh có thể được thực hiện trong thời gian đa thức, trong khi việc tìm kiếm nhân chứng mất (có …

52 cc.complexity-theory  ds.algorithms  reference-request 

Định lý của Ladner nói rằng nếu P ≠ NP, thì có một hệ thống phân cấp vô hạn của các lớp phức tạp chứa đúng P và được chứa trong NP. Bằng chứng sử dụng tính đầy đủ của SAT theo NP giảm nhiều. Hệ thống phân cấp chứa …

45 cc.complexity-theory  reference-request  np-intermediate