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

14

Trong khi tôi đã vượt qua một số khóa học về lý thuyết xác suất, cả ở trường trung học và đại học, tôi đều gặp khó khăn khi đọc các bài báo của TCS khi nói đến xác suất. Có vẻ như các tác giả của các bài báo …

32 reference-request big-list pr.probability books

5

Sự cố hoàn thành NEXP

Có hàng tấn vấn đề NP-đầy đủ xung quanh và các nguồn thu thập chúng, ví dụ như xem cuốn sách của Garey và Johnson. Tôi cũng muốn thấy một danh sách các vấn đề hoàn chỉnh của NEXP. Có một cái có sẵn? Như tôi cho là không có, …

31 cc.complexity-theory complexity-classes big-list nexp

7

Kết quả có ảnh hưởng nhất của Lipton

Richard J. Lipton đã được chọn là người chiến thắng Giải thưởng Knuth 2014 "Giới thiệu các ý tưởng và kỹ thuật mới". Bạn nghĩ gì về những ý tưởng và kỹ thuật mới mà Lipton đã phát triển? Chú thích. Câu hỏi này sẽ trở thành wiki cộng đồng, …

30 big-list

13

Có bất kỳ kết quả trái ngược trong khoa học máy tính lý thuyết?

Một số nghịch lý toán học và logic có thể được tự động áp dụng cho máy tính, nhưng có nghịch lý nào được phát hiện trong chính khoa học máy tính không? Theo nghịch lý, ý tôi là phản ứng kết quả trực quan trông giống như một mâu …

30 big-list

19

Kết quả đẹp trong TCS

Gần đây, một người bạn của tôi (làm việc tại TCS) đã đề cập trong một cuộc trò chuyện rằng "anh ấy muốn nhìn thấy / biết tất cả (hoặc càng nhiều càng tốt) về kết quả đẹp trong TCS trong đời mình". Kiểu này khiến tôi tự hỏi về …

29 soft-question big-list

17

Các ví dụ trong đó cái nhìn sâu sắc từ hình học là hữu ích để giải quyết một cái gì đó hoàn toàn phi hình học

Một trong những điều tốt đẹp về việc tiến hóa trong vũ trụ với ba chiều không gian là chúng tôi đã phát triển các kỹ năng giải quyết vấn đề liên quan đến các vật thể trong không gian. Do đó, ví dụ, chúng ta có thể nghĩ một …

28 big-list cg.comp-geom big-picture

10

Các thuật toán xác suất (ngẫu nhiên) trước khi xuất hiện khoa học máy tính hiện đại

Chỉnh sửa: Tôi chọn câu trả lời có điểm cao nhất vào ngày 06 tháng 12 năm 2012. Đây là một câu hỏi mềm. Khái niệm thuật toán (xác định) có từ thời BC. Điều gì về các thuật toán xác suất? Trong mục wiki này , thuật toán của …

27 ds.algorithms reference-request big-list randomized-algorithms ho.history-overview

5

Chứng minh lượng tử của định lý cổ điển

Tôi quan tâm đến các ví dụ về các vấn đề trong đó một định lý dường như không liên quan gì đến cơ học / thông tin lượng tử (ví dụ: nêu một cái gì đó về các vật thể thuần túy cổ điển) tuy nhiên có thể được …

27 quantum-computing big-list proofs

2

Độ phức tạp của các thuộc tính tô pô.

Tôi là một nhà khoa học máy tính đang tham gia một khóa học về cấu trúc liên kết (một cấu trúc liên kết điểm tập trung nhiều hương vị với lý thuyết liên tục). Tôi đã trở nên quan tâm đến các vấn đề quyết định kiểm tra một …

27 cc.complexity-theory big-list topology

6

Các lớp công thức boolean nổi tiếng đòi hỏi bằng chứng độ phân giải dài theo cấp số nhân

Bạn có thể thường tìm thấy các phương pháp mặt phẳng cắt, lan truyền biến, nhánh và ràng buộc, học mệnh đề, quay lui thông minh hoặc thậm chí các phương pháp phỏng đoán của con người trong các bộ giải SAT. Tuy nhiên, trong nhiều thập kỷ, những người …

27 reference-request big-list sat proof-complexity lo.logic

4

Thiếu bài viết Wikipedia

Những chủ đề TCS còn thiếu trên Wikipedia mà bạn muốn có một bài viết về? Chúng có thể là những thiếu sót rõ ràng hoặc chỉ là những chủ đề bạn nghĩ thực sự nên có một bài viết. Xin vui lòng một chủ đề cho mỗi câu trả …

26 soft-question big-list survey

5

Lỗi lâu dài trong khoa học máy tính

Đây là câu hỏi đầu tiên của tôi về ngăn xếp cstheory, vì vậy đừng quá thô lỗ nếu tôi vi phạm nghi thức nào đó) Như chúng ta đã biết, trong toán học, ngay cả các nhà toán học nổi tiếng, siêu sao và thiên tài cũng đang mắc …

26 soft-question big-list

2

Lời khuyên khi tham dự hội nghị TCS đầu tiên của tôi

Tôi sẽ tham dự hội nghị khoa học máy tính đầu tiên của mình và sau khi đọc lời khuyên về cách cải thiện các hội nghị, tôi nhận thấy một số gợi ý là về các sinh viên tốt nghiệp tham dự hội nghị đầu tiên của họ. Bạn …

25 soft-question big-list conferences

2

Sở thú phức tạp cho các ngôn ngữ đơn phương

Tất nhiên, một số kết quả phức tạp có thể sụp đổ đối với các ngôn ngữ đơn nhất nhưng tôi tự hỏi liệu có một cuộc khảo sát nào đó tóm tắt các kết quả đã biết trong trường hợp này: một loại sở thú phức tạp cho các …

25 cc.complexity-theory reference-request big-list

11

Những cuốn sách khoa học phổ biến truyền cảm hứng cho TCS là gì?

Có một danh tiếng, rằng trong khoa học máy tính, chúng ta không có những cuốn sách khoa học phổ biến. Tất nhiên điều đó không thực sự đúng! (Theo tinh thần cùng của danh sách gì Books Should Mọi người đọc? , Gì giấy tờ tất cả mọi người …

24 big-list books

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