«master-theorem» etiketlenmiş sorular

Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …

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 

Master teoremi, belirli nüks türlerini çözmek için güzel bir araçtır . Bununla birlikte, uygularken genellikle ayrılmaz bir parça üzerinde parlıyoruz. Örneğin, Mergesort'un analizi sırasında mutlu bir şekilde T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) = T\left(\left\lfloor \frac{n}{2} \right\rfloor\right) + T\left(\left\lceil \frac{n}{2} \right\rceil\right) + f(n) için T′(n)=2T′(n2)+f(n)T′(n)=2T′(n2)+f(n)\qquad T'(n) = 2 T'\left(\frac{n}{2}\right) + f(n) sadece n=2kn=2kn=2^k . …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

Tekrarlamayı düşünün 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 bazı pozitif sabit c ile için ve T ( 2 ) =n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 . Yinelemeleri çözmek için Master teoremini biliyorum, ancak bu ilişkiyi kullanarak nasıl çözebileceğimizden emin değilim. Karekök parametresine nasıl yaklaşıyorsunuz?

18 asymptotics  recurrence-relation  master-theorem 

Cormen ve ark. Tarafından Algoritmalara Giriş okuyorum . ve sayfa 73'ten başlayarak Master teoreminin ifadesini okuyorum . 3. durumda, teoremi kullanmak için yerine getirilmesi gereken bir düzenlilik koşulu da vardır: ... 3. Eğer f(n)=Ω(nlogba+ε)f(n)=Ω(nlogb⁡a+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a + \varepsilon}) Bazı sabit için ve eğerε>0ε>0\varepsilon > 0 [düzenlilik şartı …

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

Aşağıdaki nüks denklemi için bir bağlı bulmaya çalışıyorum :ΘΘ\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 Master Teoreminin farklı alt problemler ve bölünmeler nedeniyle uygun olmadığını düşünüyorum. Ayrıca özyineleme ağaçları işe yaramıyor çünkü ya da daha ziyade T ( 0 ) yok .T(1)T(1)T(1)T(0)T(0)T(0)

15 asymptotics  recurrence-relation  master-theorem 

Aşağıdaki özyinelemeli denklem verildiğinde T(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log nMaster teoremini uygulamak istiyoruz ve nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Şimdi ilk iki vakayı için kontrol ediyoruz ε>0ε>0\varepsilon > 0, nlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in O(n^{1-\varepsilon}) veya nlogn∈Θ(n)nlog⁡n∈Θ(n)n\log n \in \Theta(n) . İki dava tatmin olmamıştır. Bu yüzden üçüncü vakayı kontrol etmeliyiz, nlogn∈Ω(n1+ε)nlog⁡n∈Ω(n1+ε)n\log n \in …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem