Khoa học máy tính

Với bất kỳ vấn đề tính toán nào, liệu nhiệm vụ tìm giới hạn thấp hơn cho tính toán như vậy có thực sự khả thi? Tôi cho rằng nó tập trung vào cách xác định một bước tính toán duy nhất và mô hình nào chúng ta sử dụng …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Đặt là một công thức boolean bao gồm các toán tử AND, OR và NOT thông thường và một số biến. Tôi muốn đếm số lượng đáp ứng nhiệm vụ cho B . Đó là, tôi muốn tìm số lượng các giá trị khác nhau của các giá trị thật …

24 complexity-theory  reference-request  satisfiability 

Tôi hiện đang đọc và xem về thuật toán di truyền và tôi thấy nó rất thú vị (tôi chưa có cơ hội nghiên cứu nó khi còn ở trường đại học). Tôi hiểu rằng đột biến dựa trên xác suất (tính ngẫu nhiên là gốc rễ của sự tiến …

24 algorithms  optimization  genetic-algorithms 

Trong một đồ thị không có trọng số, không bị chặn với các đỉnh và các cạnh sao cho , cách nhanh nhất để tìm tất cả các đường đi ngắn nhất trong biểu đồ là gì? Nó có thể được thực hiện nhanh hơn Floyd-Warshall là nhưng rất nhanh …

24 algorithms  graphs  shortest-path 

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ư 6 năm trước . Tôi đã bắt gặp nhiều định nghĩa về ngôn …

24 formal-languages  computability  turing-machines 

Nếu tôi có một số hàm có độ phức tạp thời gian là O ( mn ), trong đó m và n là kích thước của hai đầu vào của nó, chúng ta sẽ gọi độ phức tạp thời gian của nó là "tuyến tính" (vì nó tuyến tính ở …

24 terminology  asymptotics  landau-notation 

Hiện tôi đang nghiên cứu những con đường ngắn nhất trong đồ thị có hướng. Có nhiều thuật toán hiệu quả để tìm ra con đường ngắn nhất trong mạng, như dijkstra hoặc bellman-ford's. Nhưng nếu đồ thị là động? Bằng cách nói động tôi có nghĩa là chúng ta …

24 algorithms  data-structures  graphs  efficiency  shortest-path 

Cách tốt nhất mà bất cứ ai cũng có thể làm để có một giới thiệu tốt về lý thuyết về hệ thống phân tán, bất kỳ cuốn sách hoặc tài liệu tham khảo và chủ đề nào cũng cần được đề cập trước tiên và các yêu cầu để …

24 reference-request  education  distributed-systems 

Cho một tập hợp các đồng tiền có mệnh giá khác nhau và một giá trị v bạn muốn tìm số lượng xu ít nhất cần thiết để đại diện cho giá trị v.c 1 , . . . , C nc1,...,cnc1, ... , cn Ví dụ: đối với đồng …

24 algorithms  combinatorics  greedy-algorithms 

Cho nhiều số tự nhiên X, hãy xem xét tập hợp tất cả các tổng có thể: sums(X)={∑i∈Ai|A⊆X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Ví dụ: trong khi .sums({1,5})={0,1,5,6}sums({1,5})={0,1,5,6}\textrm{sums}(\left\{1,5\right\}) = \left\{0, 1, 5, 6\right\}sums({1,1})={0,1,2}sums({1,1})={0,1,2}\textrm{sums}(\left\{1,1\right\}) = \left\{0, 1, 2\right\} Thuật toán hiệu quả nhất để tính toán …

24 algorithms  optimization  combinatorics  integers 

Một số vấn đề đáng ngạc nhiên có sự giảm thiểu khá tự nhiên đối với lập trình tuyến tính (LP). Xem Chương 7 của [1] để biết các ví dụ như luồng mạng, kết hợp lưỡng cực, trò chơi tổng bằng không, đường dẫn ngắn nhất, một hình thức …

24 algorithms  reductions  sorting  linear-programming 

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 . Tôi chỉ có câu hỏi thú vị này. Chức …

24 computability 

Tôi có hai cách để tạo một danh sách các mục theo thứ tự ngẫu nhiên và muốn xác định xem chúng có công bằng như nhau không (không thiên vị). Phương pháp đầu tiên tôi sử dụng là xây dựng toàn bộ danh sách các phần tử và sau …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

Trong một bài viết CACM gần đây [1], các tác giả trình bày một triển khai cho các chức năng theo giai đoạn . Họ sử dụng thuật ngữ này như thể nó đã được biết đến và không có tài liệu tham khảo nào trông giống như một lời …

24 terminology  programming-languages  meta-programming 

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Định nghĩa vấn đề logic cắt tối thiểu (LMC) Giả sử là một sơ đồ không trọng số, và là hai đỉnh …

24 complexity-theory  graph-theory  np-complete