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

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 

Mục đích của câu hỏi này là thu thập các ví dụ từ khoa học máy tính lý thuyết trong đó việc sử dụng máy tính có hệ thống là hữu ích trong việc xây dựng một phỏng đoán dẫn đến một định lý, làm sai lệch một cách tiếp …

55 proofs  survey  examples 

Tôi hiện đang viết một cuộc khảo sát về các định lý phân cấp trên TCS. Tìm kiếm các tài liệu liên quan tôi nhận thấy rằng hệ thống phân cấp là một khái niệm cơ bản không chỉ trong TCS và toán học, mà trong nhiều ngành khoa học, …

42 cc.complexity-theory  reference-request  big-list  survey 

Dường như Lý thuyết phức tạp hình học đòi hỏi nhiều kiến ​​thức về toán học thuần túy như hình học đại số, lý thuyết biểu diễn. Trong khi tôi là một sinh viên CS và KHÔNG có các lớp toán học rất trừu tượng và thuần túy, tôi quan …

38 reference-request  big-list  survey  gct 

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 

Tôi đang tìm một cuốn sách về các cấu trúc dữ liệu nâng cao vượt xa những gì được đề cập trong sách giáo khoa tiêu chuẩn như "Giới thiệu về thuật toán" của Cormen, Leiserson, Rivest và Stein. Một cuốn sách có thể được sử dụng để giảng dạy …

24 soft-question  ds.data-structures  survey  books 

Dự đoán thị trường chứng khoán là khó! TCS có thể làm cho tình cảm này chính thức hơn? Gần đây tôi đã bắt đầu suy nghĩ một chút về tài chính, và đang tự hỏi làm thế nào kiến ​​thức về TCS có thể giúp đỡ. Các quỹ phòng …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Là định lý tự động chứng minh và tìm kiếm bằng chứng dễ dàng hơn trong logic tuyến tính cấu trúc tuyến tính và đề xuất khác mà không co lại? Tôi có thể đọc thêm về định lý tự động chứng minh trong các logic này và vai trò …

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Sẽ rất tốt nếu thu thập một danh sách các điều kiện ngụ ý rằng ngôn ngữ không ngữ cảnh L là thông thường, nghĩa là các điều kiện có dạng: "nếu một CFG / PDA nhất định có thuộc tính P, thì ngôn ngữ của nó là thông thường" …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Đặt là hàm boolean có độ nhạy s ( f ) và độ nhạy khối b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Giả thuyết độ nhạy khối-độ nhạy cho biết có một sao cho ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Có một cuộc khảo sát (từ giấy, chương sách, hướng dẫn, liên kết, ...) về ngữ nghĩa của các tính năng ngôn ngữ lập trình khác nhau? Ban đầu tôi bị choáng ngợp bởi các tính năng của D ở đây http://www.digitalmars.com/d/2.0/comparison.html Tôi muốn xem những gì tôi có thể …

12 reference-request  pl.programming-languages  survey 

Gần đây tôi đã được nhắc nhở về vấn đề so với N P như được giải thích bởi Stephen A. Cook trên Viện Toán học Clay.PP\mathsf{P}NPNP\mathsf{NP} Nó đã khơi gợi sự quan tâm của tôi và tôi muốn tìm hiểu thêm về nó. Bước đầu tiên sẽ có được …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Tôi đang tìm kiếm các tài nguyên (tốt nhất là một cuốn cẩm nang) về các chủ đề nâng cao trong các thuật toán (các chủ đề vượt ra ngoài những gì được đề cập trong sách giáo khoa thuật toán như CLRS và DPV). Loại tài liệu có thể …

11 ds.algorithms  reference-request  survey  books 

Hiện tại có hàng núi kết quả trên các biểu đồ phân tách trong biểu đồ, từ phân cách phẳng, phân cách cây, biểu đồ chiều rộng cây giới hạn, biểu đồ chi giới hạn, v.v., v.v. Có bất kỳ khảo sát cập nhật tốt nào về điều này và …

11 reference-request  graph-algorithms  survey 

Có bất kỳ ví dụ cụ thể (hoặc một nguồn phong phú) nào về việc áp dụng các số -adic trong khoa học máy tính không?ppp

11 survey