«master-theorem» 태그된 질문

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

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 

마스터 정리는 특정 종류의 재발 을 해결하기 위한 아름다운 도구입니다 . 그러나 우리는 종종 그것을 적용 할 때 필수적인 부분을 좋아합니다. 예를 들어 Mergesort를 분석하는 동안 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) 에 T′(n)=2T′(n2)+f(n)T′(n)=2T′(n2)+f(n)\qquad T'(n) = 2 T'\left(\frac{n}{2}\right) + f(n) 만 고려하십시오 n=2kn=2kn=2^k. 우리는이 …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

재발을 고려하십시오 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 대 어떤 양의 상수를 가진 및 .c T ( 2 ) = 1n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 나는 재발을 해결하기위한 마스터 정리를 알고 있지만 그것을 사용 하여이 관계를 어떻게 해결할 수 있는지 확실하지 않습니다. 제곱근 파라미터에 어떻게 접근합니까?

18 asymptotics  recurrence-relation  master-theorem 

Cormen et al.의 알고리즘 소개를 읽었습니다 . 그리고 73 쪽에서 시작하는 마스터 정리의 진술을 읽고 있습니다. 3의 경우 정리를 사용하기 위해 충족되어야하는 규칙 성 조건이 있습니다. ... 3. 경우 f(n)=Ω(nlogba+ε)f(n)=Ω(nlogb⁡a+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a + \varepsilon}) 상수 경우ε>0ε>0\varepsilon > 0 F( n / b ) ≤ c f( n …

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

다음 되풀이 방정식에 대한 바운드 를 찾으려고합니다 .ΘΘ\Theta 티( n ) = 2 T( n / 2 ) + T( N / 3 ) + (2) N2+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 하위 정리와 사단의 수가 다르기 때문에 마스터 정리가 부적절하다고 생각합니다. 또한 재귀 …

15 asymptotics  recurrence-relation  master-theorem 

다음과 같은 재귀 방정식이 주어지면 티( n ) = 2 T( n2) +n로그엔티(엔)=2티(엔2)+엔로그⁡엔 T(n) = 2T\left(\frac{n}{2}\right)+n\log n우리는 마스터 정리를 적용하고 엔로그2( 2 )= n 입니다.엔로그2⁡(2)=엔. n^{\log_2(2)} = n. 이제 우리는 대한 처음 두 경우를 확인 ε > 0ε>0\varepsilon > 0합니다. N 로그N ∈ O ( N1 − ε)엔로그⁡엔∈영형(엔1−ε)n\log n \in …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem