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

Tôi đã học được một vài lý thuyết thể loại. Nó chắc chắn là một cách khác nhau để nhìn vào mọi thứ. (Tóm tắt rất sơ lược cho những người chưa từng thấy nó: lý thuyết thể loại đưa ra các cách thể hiện tất cả các loại hành …

103 pl.programming-languages  lo.logic  ct.category-theory 

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 

Rất nhiều thuật toán tìm đường đã được phát triển trong những năm gần đây có thể tính toán đường đi tốt nhất để phản ứng với biểu đồ thay đổi nhanh hơn nhiều so với A * - chúng là gì và chúng khác nhau như thế nào? Là …

96 ds.algorithms  shortest-path 

Tôi đang chuẩn bị cho một cuộc nói chuyện nhằm vào các chuyên ngành toán học đại học, và như một phần của nó, tôi đang xem xét thảo luận về khái niệm về tính quyết định. Tôi muốn đưa ra một ví dụ về một vấn đề mà hiện …

92 computability  decidability 

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 

Tôi chỉ đọc lên tính toán lambda để "làm quen". Tôi thấy nó là một hình thức tính toán thay thế trái ngược với Turing Machine. Đó là một cách thú vị để làm mọi thứ với các chức năng / giảm (nói một cách thô lỗ). Một số câu …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Xin lỗi cho tiêu đề hấp dẫn. Tôi muốn hiểu, người ta phải làm gì để từ chối luận điểm Church-Turing? Ở đâu đó tôi đọc nó không thể làm được về mặt toán học! Tại sao? Turing, Rosser v.v ... đã sử dụng các thuật ngữ khác nhau để …

83 computability  proofs  hypercomputation 

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 

Đây là một "câu hỏi lịch sử" hơn là một câu hỏi nghiên cứu, nhưng liệu sự giảm thiểu cổ điển đối với việc tìm kiếm thứ tự trong thuật toán của Shor để nhân tố hóa ban đầu được Peter Shor phát hiện ra, hay nó đã được biết …

79 quantum-computing  ho.history-overview  factoring 

Tôi hiện đang là sinh viên đại học, chắc chắn sẽ tốt nghiệp trong năm nay. Sau khi tốt nghiệp, tôi đang cân nhắc làm việc với thạc sĩ / tiến sĩ TCS. Tôi đã bắt đầu tự hỏi những lĩnh vực toán học nào được coi là hữu ích …

79 cc.complexity-theory  soft-question  advice-request 

Trước thông báo về chip quang tử lượng tử lập trình đầu tiên trên thế giới , tôi đã tự hỏi không biết phần mềm nào cho máy tính sử dụng sự vướng víu lượng tử sẽ như thế nào. Một trong những chương trình đầu tiên tôi từng viết …

76 quantum-computing 

Câu hỏi này có thể không phù hợp ở đây, nhưng tôi không thể tìm thấy một nơi tốt hơn để hỏi (nó đã bị đóng trong SO). Tôi thấy tài liệu nghiên cứu về khoa học máy tính khó hiểu. Tất nhiên các môn học phức tạp. Nhưng sau …

75 soft-question  research-practice 

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 

Người ta biết rằng nói chung, thứ tự của các bộ lượng tử phổ và tồn tại không thể đảo ngược. Nói cách khác, đối với một công thức logic chung ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) , (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Mặt khác, chúng ta biết phía …

73 lo.logic  big-picture  proof-techniques 

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