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

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Định lý Master là một công cụ tuyệt vời để giải quyết các loại tái phát nhất định . Tuy nhiên, chúng tôi thường phủ bóng lên một phần không thể thiếu khi áp dụng nó. Ví dụ, trong quá trình phân tích Mergesort, chúng tôi vui vẻ đi từ …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

Xem xét sự tái phát T(n)=n−−√⋅T(n−−√)+cnT(n)= =n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n cho với một số hằng số dương và .n>2n>2n \gt 2cccT(2)=1T(2)= =1T(2) = 1 Tôi biết định lý Master để giải quyết các đợt tái phát, nhưng tôi không chắc chắn về cách chúng ta có …

18 asymptotics  recurrence-relation  master-theorem 

Tôi đã đọc Giới thiệu về Thuật toán của Cormen et al. và tôi đang đọc phát biểu của định lý Master bắt đầu từ trang 73 . Trong trường hợp 3 cũng có một điều kiện đều đặn cần được thỏa mãn để sử dụng định lý: ... 3. …

15 algorithms  asymptotics  mathematical-analysis  landau-notation  master-theorem 

Tôi đang cố gắng tìm một bị ràng buộc cho phương trình lặp lại sau đây:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Tôi cho rằng Định lý Master không phù hợp do số lượng các bài toán con và phép chia khác nhau. Ngoài …

15 asymptotics  recurrence-relation  master-theorem 

Cho phương trình đệ quy sau T(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log nchúng tôi muốn áp dụng định lý Master và lưu ý rằng nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Bây giờ chúng tôi kiểm tra hai trường hợp đầu tiên cho ε>0ε>0\varepsilon > 0 , có nghĩa là cho dù nlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem 

Theo dõi câu trả lời của vonbrand, tôi muốn viết một tài liệu nhỏ về các định lý tổng thể mạnh hơn cho các sinh viên của chúng tôi, một trong số đó là định lý Akra-Bazzi. Tôi đã sao chép định lý từ bài báo của họ [1] và …

8 asymptotics  recurrence-relation  master-theorem 

Giới thiệu về Thuật toán , phiên bản thứ 3 (tr.95) có một ví dụ về cách giải quyết sự tái diễn T(n)=3T(n4)+n⋅log(n)T(n)=3T(n4)+n⋅log⁡(n)\displaystyle T(n)= 3T\left(\frac{n}{4}\right) + n\cdot \log(n) bằng cách áp dụng Định lý tổng thể. Tôi rất bối rối bởi cách nó được thực hiện. Vì vậy, Bước đầu …

8 asymptotics  recurrence-relation  landau-notation  mathematical-analysis  master-theorem 

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