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

7

Thấu kính thuật toán trong khoa học xã hội

Nhìn vào các câu hỏi thông qua lăng kính thuật toán (nghĩa là từ quan điểm thuật toán hoặc độ phức tạp) đã trở nên hữu ích trong các ngành học bên ngoài 'miền tiêu chuẩn' của khoa học máy tính. Cụ thể, CS đã tác động đến sinh học …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

---

1

LOGLOG = NLOGLOG?

Xác định LOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (loglog n) bằng máy Turing xác định (với quyền truy cập hai chiều vào đầu vào). Tương tự định nghĩa NLOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (log log …

32 cc.complexity-theory  reference-request  space-bounded 

---

14

Sách về xác suất

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 

---

11

Sách về lý thuyết automata để tự học

Tôi cần một cuốn sách lý thuyết automata hữu hạn với rất nhiều ví dụ mà tôi có thể sử dụng để tự học và chuẩn bị cho các kỳ thi.

32 reference-request  automata-theory  fl.formal-languages 

---

7

Sách về ngữ nghĩa ngôn ngữ lập trình

Tôi đã đọc " Ngữ nghĩa với các ứng dụng " của Nielson và Nielson , và tôi thực sự thích chủ đề này. Tôi muốn có thêm một cuốn sách về ngữ nghĩa ngôn ngữ lập trình - nhưng tôi thực sự chỉ có thể có một cuốn sách. …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

---

2

Nhân ma trận lượng tử?

Có vẻ như điều này không được biết đến - nhưng có giới hạn nào thú vị hơn về sự phức tạp của phép nhân ma trận trong mô hình điện toán lượng tử không? Chúng ta có bất kỳ trực giác nào mà chúng ta có thể đánh bại …

30 reference-request  quantum-computing  matrix-product 

---

2

Phương pháp đa thức cho kết quả phức tạp

Các phương pháp đa thức , cho biết Định lý cảnh báo Combinatorial Nullstellensatz và Chevalley là những công cụ mạnh mẽ trong tổ hợp phụ gia. Bằng cách biểu diễn một vấn đề với đa thức thích hợp, họ có thể đảm bảo sự tồn tại của một giải …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

---

6

Bằng chứng thay thế của bổ đề Schwartz Zippel

Tôi chỉ biết hai bằng chứng về bổ đề Schwartz Zippel của Schwartz. Bằng chứng đầu tiên (phổ biến hơn) được mô tả trong mục wikipedia . Bằng chứng thứ hai được phát hiện bởi Dana Moshkovitz. Có bằng chứng nào khác sử dụng những ý tưởng khác nhau đáng …

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

---

2

Phỏng đoán của Kolmogorov rằng có các mạch kích thước tuyến tính

Trong cuốn sách của mình, Boolean Function Complexity, Stasys Jukna đã đề cập (trang 564) mà Kolmogorov tin rằng mọi ngôn ngữ trong P đều có các mạch có kích thước tuyến tính. Không có tài liệu tham khảo được đề cập và tôi không thể tìm thấy bất cứ …

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

---

1

Độ phức tạp của đồ thị

Giả sử là một đồ thị với màu số d = χ ( G ) . Hãy xem xét trò chơi sau đây giữa Alice và Bob. Ở mỗi vòng, Alice chọn một đỉnh và Bob trả lời bằng một màu trong { 1 , Mạnh , d - 1 …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

---

5

Sinh thái và tiến hóa thông qua lăng kính thuật toán

Nghiên cứu về sinh thái và tiến hóa ngày càng trở nên toán học hơn, nhưng hầu hết các công cụ lý thuyết dường như đến từ vật lý. Tuy nhiên, trong nhiều trường hợp, các vấn đề có tính chất rất riêng biệt (xem ví dụ SLBS00 ) và …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

---

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 

---

1

Các ứng dụng khác của khuếch đại phân nhánh Karger-Stein?

Tôi chỉ dạy thuật toán cắt ngẫu nhiên Karger-Stein trong lớp thuật toán sau đại học của tôi. Đây là một viên ngọc thuật toán thực sự , vì vậy tôi không thể dạy nó, nhưng nó luôn khiến tôi thất vọng, vì tôi không biết bất kỳ ứng dụng …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

---

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 

---

1

Ai là người đầu tiên đề xuất sử dụng thuật toán

Tôi chắc rằng mọi người đều biết về thí nghiệm kim của Buffon trong thế kỷ 18, đó là một trong những thuật toán xác suất đầu tiên để tính toán .ππ\pi Việc thực hiện thuật toán trong các máy tính thường yêu cầu sử dụng hàm số hoặc hàm …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

---