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

Tôi đang tìm một xấp xỉ của ΘΘ\ThetaT( n ) = T( n - 1 ) + cn2T(n)= =T(n-1)+cn2T(n) = T(n-1) + cn^{2} Đây là những gì tôi có cho đến nay: T( n - 1 )T( n )T( n - 2 )T( n )T( n - 3 )T( n …

7 time-complexity  algorithm-analysis  proof-techniques  recurrence-relation 

Định nghĩa: Đặt là một DAG không có vòng lặp và và là đồ thị.G=(V,E)G= =(V,E)G=(V,E)X⊆GX⊆GX \subseteq GY⊆GY⊆GY \subseteq G Input: . Đầu ra: Thành phần quan hệ Thành phần quan hệ trong .X,YX,YX,Y X∘YX∘YX \circ YO(|E||V|)O(|E||V|)\mathcal{O}(|E||V|) Trường hợp 1:. Hai vòng lặp cho và : Runtime .|E|≤|V||E|≤|V||E| \le |V|E(X)E(X)E(X)E(Y)E(Y)E(Y)≤O(|E|2)≤O(|E||V|)≤O(|E|2)≤O(|E||V|) …

7 algorithms  graph-theory  algorithm-analysis  check-my-algorithm 

Đâ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