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

Chúng tôi đã trình bày trong lớp với một thuật toán để tìm tối đa trong một mảng song song với độ phức tạp thời gian với máy tính.O(1)O(1)O(1)n2n2n^2 Thuật toán là: Cho một mảng A có độ dài n: Tạo một mảng cờ B có độ dài n và …

11 algorithms  search-algorithms  parallel-computing 

Trong khi cố gắng cải thiện hiệu suất của lớp phát hiện va chạm của mình, tôi thấy rằng ~ 80% thời gian dành cho gpu, nó dành cho các điều kiện nếu / khác chỉ cố gắng tìm ra giới hạn cho các thùng mà nó sẽ lặp lại. …

10 computer-architecture  parallel-computing 

Trong Bằng chứng và Loại của Girard , chúng ta có thể đọc: Từ quan điểm thuật toán, phép tính tuần tự không có sự đồng hình hóa Curry-Howard, bởi vì vô số cách viết cùng một bằng chứng. Điều này ngăn chúng tôi sử dụng nó như một -calculus, …

9 reference-request  logic  parallel-computing 

Một thuật toán mạng thần kinh nhân tạo có thể được thể hiện dưới dạng các hoạt động thu nhỏ bản đồ không? Tôi cũng quan tâm nhiều hơn đến các phương pháp song song hóa khi áp dụng cho ANN và ứng dụng của chúng vào điện toán đám …

9 parallel-computing  artificial-intelligence  neural-networks 

Giả sử chúng ta muốn tham gia hai mối quan hệ trên một vị ngữ. Đây có phải là NC không? Tôi nhận ra rằng một bằng chứng về việc nó không ở NC sẽ là bằng chứng cho thấy , vì vậy tôi chấp nhận bằng chứng về việc …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Trong điện toán song song, tôi biết phương trình tăng tốc là 1s +1 - sp1S+1-Sp \frac{1}{ s + \frac{1-s}{p} } Nhưng những gì có nghĩa là siêu tốc tăng tốc? Nó có phải là một cái gì đó lý thuyết? Bạn có thể giải thích nó với các phương …

9 parallel-computing  multi-tasking 

Trên biểu đồ , chúng tôi thực hiện quy trình sau:G ( V, E)G(V,E)G(V,E) Ban đầu, tất cả các nút trong không màu.VVV Trong khi có các nút không màu trong , mỗi nút không màu thực hiện như sau: VVV Chọn một số thực ngẫu nhiên và gửi nó …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

Dường như sự khác biệt giữa các sợi và các luồng là các sợi được lên lịch hợp tác, trong khi các luồng được lên lịch trước. Điểm của bộ lập lịch có vẻ như là một cách để làm cho tài nguyên bộ xử lý nối tiếp hoạt động …

8 parallel-computing  threads  multi-tasking 

Lớp của Nick (NC) là lớp các vấn đề có thể được quyết định trong thời gian đa log bằng cách sử dụng số lượng bộ xử lý đa thức. Tôi muốn biết về sự tương tự theo cấp số nhân, nó sẽ bao gồm các vấn đề có thể …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Mô hình song song lý thuyết nào gần nhất với mô hình lập trình CUDA / OpenCL? Ví dụ, nó phù hợp ở một mức độ nào đó với mô hình Máy truy cập ngẫu nhiên song song (PRAM) chung. Tuy nhiên, đó là quá chung chung, vì nó làm …

8 parallel-computing  machine-models 

Tôi đang cố gắng thiết kế lại thuật toán của mình để chạy trên mô hình Hadoop / MapReduce. Tôi đã tự hỏi nếu có bất kỳ cách tiếp cận toàn diện nào để đo độ phức tạp thời gian cho các thuật toán trên nền tảng Dữ liệu lớn. …

8 algorithms  algorithm-analysis  runtime-analysis  parallel-computing 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Giả sử rằng một ứng dụng song song nhất định sử dụng thiết kế chủ-nô để xử lý một khối lượng công việc lớn. Mỗi khối lượng công việc cần một số chu kỳ để hoàn thành; số lượng chu kỳ mà bất kỳ khối lượng công việc nhất định …

7 scheduling  distributed-systems  parallel-computing