Khoa học máy tính reference-request

3

Phân loại hệ thống loại (mạnh / yếu, động / tĩnh)

Tóm lại: làm thế nào các hệ thống loại được phân loại trong bối cảnh học thuật; đặc biệt, tôi có thể tìm các nguồn có uy tín ở đâu để làm rõ sự khác biệt giữa các loại hệ thống loại khác nhau? Theo một nghĩa nào đó, khó …

23 reference-request programming-languages type-theory

2

Cơ sở lý thuyết của sự phân chia và chinh phục

Khi nói đến việc thiết kế các thuật toán, người ta thường sử dụng các kỹ thuật sau: Lập trình năng động Chiến lược tham lam Phân chia và chinh phục Trong khi đối với hai phương pháp đầu tiên, có những nền tảng lý thuyết nổi tiếng, đó là …

22 algorithms reference-request divide-and-conquer

4

Sách cho các thuật toán ngoài Cormen

Tôi đã hoàn thành hầu hết các tài liệu trong cuốn sách Giới thiệu về thuật toán của Cormen và tôi đang tìm một cuốn sách thuật toán bao gồm các tài liệu ngoài cuốn sách của Corman. Có bất kỳ khuyến nghị? LƯU Ý: Tôi đã hỏi điều này …

21 algorithms reference-request books

7

Sách khoa học máy tính cho thanh niên

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Một cuốn sách khoa học máy tính cho người …

21 education reference-request

3

Làm thế nào để xây dựng một vấn đề tính toán chặt chẽ?

Tôi thường tương tác với những người muốn yêu cầu một thuật toán cho một vấn đề tính toán (hoặc độ phức tạp của nó), nhưng họ không diễn đạt nó theo cách nghiêm ngặt để chúng tôi (các nhà khoa học máy tính) hiểu. Việc giới thiệu chúng đến …

20 algorithms reference-request books

1

Cấu trúc dữ liệu cây đồng thời không khóa, cập nhật liên tục?

Gần đây tôi đã đọc một chút tài liệu và đã tìm thấy một số cấu trúc dữ liệu khá thú vị. Tôi đã nghiên cứu nhiều phương pháp khác nhau để có được thời gian cập nhật xuống đến thời gian cập nhật trường hợp xấu nhất [1-7].O(1)O(1)\mathcal{O}(1) Gần …

20 reference-request data-structures time-complexity concurrency search-trees

1

Phân loại các biến thể vấn đề thỏa mãn có thể điều chỉnh được

Gần đây tôi tìm thấy trong một bài báo [1] một phiên bản đối xứng đặc biệt của SAT có tên là 2/2/4-SAT . Nhưng có rất nhiều biến thể -complete ngoài kia, ví dụ: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Một số biến thể khác có thể kéo …

20 complexity-theory reference-request satisfiability

3

Các chức năng với tốc độ tăng trưởng chậm hơn Ackermann nghịch đảo xuất hiện trong giới hạn thời gian chạy?

Một số thuật toán phức tạp ( union-find ) có hàm Ackermann nghịch đảo gần như không đổi xuất hiện trong độ phức tạp thời gian tiệm cận và tối ưu hóa thời gian trong trường hợp xấu nhất nếu bỏ qua thuật ngữ Ackermann nghịch đảo gần như không …

20 reference-request algorithm-analysis time-complexity runtime-analysis

2

Là ngôn ngữ bối cảnh tự do trong

Các ngôn ngữ không ngữ cảnh không được đóng dưới bổ sung, chúng tôi biết rằng. Theo như tôi hiểu, các ngôn ngữ không ngữ cảnh là một tập hợp con của đối với một số chữ cái được đóng dưới phần bổ sung (!)a∗b∗a∗b∗a^*b^*a,ba,ba,b Đây là lý lẽ của …

20 formal-languages reference-request context-free closure-properties

4

Dùng con người làm linh kiện để chế tạo máy tính?

Ok trước khi tôi bắt đầu tôi nhận ra điều này nằm ở rìa của chủ đề (tôi đã đọc phần Trợ giúp Câu hỏi cho trang web này), đặc biệt vì đây không phải là vấn đề trong thế giới thực. Tuy nhiên: Tôi không thể tìm thấy bất …

20 reference-request human-computing

1

Các vấn đề về thuật toán dựa trên tinh chỉnh phân vùng chạy nhanh hơn thời gian loglinear

Tinh chỉnh phân vùng là một kỹ thuật trong đó bạn bắt đầu với một tập hợp các đối tượng hữu hạn và dần dần phân tách tập hợp. Một số vấn đề, như tối thiểu hóa DFA, có thể được giải quyết bằng cách sử dụng sàng lọc phân …

20 algorithms reference-request data-structures partitions sets

2

Làm thế nào để thu nhỏ kết quả phức tạp song song để liên tục nhiều lõi?

Tôi đã gặp vấn đề khi chấp nhận quan điểm lý thuyết phức tạp về "giải quyết hiệu quả bằng thuật toán song song" được đưa ra bởi lớp NC : NC là lớp các vấn đề có thể được giải quyết bằng thuật toán song song trong thời gian …

20 complexity-theory reference-request parallel-computing

2

Là cây cắt liên kết đã từng được sử dụng trong thực tế, để tính toán lưu lượng tối đa hoặc các ứng dụng khác?

Nhiều thuật toán dòng chảy tối đa mà tôi thường thấy được thực hiện, thuật toán của Dinic, đẩy lại nhãn và các thuật toán khác, có thể cải thiện chi phí thời gian tiệm cận của chúng thông qua việc sử dụng cây động (còn được gọi là cây …

20 reference-request graphs data-structures network-flow

1

Ai đã đặt ra thuật ngữ học máy trên mạng?

Tôi đang cố gắng tìm ra ai đã đặt ra thuật ngữ "học máy". Một câu hỏi phụ trợ là từ đâu Arthur Samuel được trích dẫn khi xác định lĩnh vực "học máy" vào năm 1959 là: lĩnh vực nghiên cứu mang lại cho máy tính khả năng học …

19 terminology reference-request machine-learning history

1

Có thuật toán O (n log n) để đơn giản hóa dòng 4D không?

Các thuật toán ramer-Douglas-Peucker cho dòng đơn giản hóa có trường hợp xấu nhất thời gian chạy. Đối với các đầu vào ngẫu nhiên được phân phối phù hợp, nó có độ phức tạp thời gian chạy . Trong 2D, có các thuật toán khác với độ phức tạp thời …

19 reference-request computational-geometry randomized-algorithms

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