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

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 

Đã đóng cửa . Câu hỏi này cần chi tiết hoặc rõ ràng . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Thêm chi tiết và làm rõ vấn đề bằng cách chỉnh sửa bài đăng này . Đóng cửa 3 năm trước …

7 graphs  algorithm-analysis  runtime-analysis  trees  graph-traversal 

Nếu tôi có mã giả này: for i=0 to n/2 do for j=0 to n/2 do ... do anything .... Số lần lặp là .n2/ 4n2/4n^2/4 Sự phức tạp của chương trình này là gì? Có phải là không?O (n2)O(n2)O(n^2) Trực giác chính thức / không chính thức cho sự …

7 complexity-theory  time-complexity  runtime-analysis 

Bằng cách nào đó tôi đã nghĩ về quicksort đêm qua và đang đọc về nó trên Wikipedia. Phần thú vị đối với tôi là: 'Nếu chúng tôi luôn có thể chọn một trục từ 50% giữa, chúng tôi sẽ chỉ phải chia danh sách nhiều nhấtđăng nhập4 / 3nđăng …

7 algorithm-analysis  runtime-analysis  sorting  quicksort 

Mặc dù tôi đã học được điều gì đó về thời gian chạy tiệm cận của thuật toán nhân ma trận (thuật toán của Strassen và những thứ tương tự), tôi chưa bao giờ tìm thấy bất kỳ tài liệu tham khảo rõ ràng và thỏa đáng nào cho một …

7 algorithm-analysis  runtime-analysis  matrices  machine-models 

Đây là một ví dụ trong bài giảng của tôi. Hàm này có độ phức tạp thời gian không? Bởi vì trường hợp xấu nhất là chức năng đi vào nhánh và 2 vòng lặp lồng nhau với độ phức tạp thời gian là và , vì vậy nó là …

7 complexity-theory  time-complexity  algorithm-analysis  runtime-analysis 

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 

Điều gì sau đây là thuật toán của tôi để làm điều này trong những gì tôi tin là O(n)Ôi(n)O(n)thời gian, và bằng chứng của tôi cho điều đó. Giáo sư của tôi không đồng ý rằng nó chạy vàoO(n)Ôi(n)O(n) và thay vào đó nghĩ rằng nó chạy trong Ω …

7 algorithms  time-complexity  runtime-analysis