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

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

29

Các thuật toán cốt lõi được triển khai

Để chứng minh tầm quan trọng của các thuật toán (ví dụ với sinh viên và giáo sư không làm lý thuyết hoặc thậm chí từ các lĩnh vực hoàn toàn khác nhau) đôi khi rất hữu ích khi có sẵn một danh sách các ví dụ về thuật toán …

307 ds.algorithms big-picture application-of-theory

11

Sự giác ngộ mà tôi phải đạt được sau khi nghiên cứu automata hữu hạn là gì?

Tôi đã xem lại Lý thuyết tính toán cho vui và câu hỏi này đã làm tôi khó chịu trong một thời gian (buồn cười không bao giờ nghĩ về nó khi tôi học Lý thuyết Automata khi học đại học). Vậy "tại sao" chính xác là chúng ta nghiên …

247 fl.formal-languages automata-theory big-picture teaching dfa

11

Liệu năm 2017 của Norbert Blum có chứng minh rằng đúng không?

Norbert Blum gần đây đã đăng một bằng chứng dài 38 trang rằng . Nó có đúng không?P≠NPP≠NPP \ne NP Ngoài ra về chủ đề: nơi nào khác (trên internet) là tính chính xác của nó đang được thảo luận? Lưu ý: trọng tâm của văn bản câu hỏi này …

232 cc.complexity-theory np-hardness complexity-classes

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

2

Sự cố Super Mario Galaxy

Giả sử Mario đang đi trên bề mặt của một hành tinh. Nếu anh ta bắt đầu đi bộ từ một địa điểm đã biết, theo một hướng cố định, trong một khoảng cách định trước, chúng ta có thể xác định nơi anh ta sẽ dừng lại nhanh như …

140 ds.algorithms cg.comp-geom

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

13

Tư vấn về thực hành nghiên cứu tốt

Sau khi đọc câu hỏi của Daniel Apon , tôi bắt đầu nghĩ rằng nó có thể hữu ích (đặc biệt đối với các nhà nghiên cứu cơ sở và sinh viên tốt nghiệp như tôi) để hỏi một câu hỏi rộng hơn và tổng quát hơn để chúng ta …

118 soft-question research-practice advice-request

11

Làm thế nào khó khăn là xáo trộn một chuỗi?

Việc xáo trộn hai chuỗi được hình thành bằng cách xen kẽ các ký tự thành một chuỗi mới, giữ các ký tự của mỗi chuỗi theo thứ tự. Ví dụ, MISSISSIPPIlà một sự xáo trộn của MISIPPvà SSISI. Hãy để tôi gọi một chuỗi vuông nếu nó là một …

117 ds.algorithms open-problem

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