Perguntas com a marcação «master-theorem»

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...

O teorema do mestre é uma ferramenta bonita para resolver certos tipos de recorrências . No entanto, geralmente encobrimos uma parte integrante ao aplicá-la. Por exemplo, durante a análise do Mergesort, passamos felizes de T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) =...

Estou tentando encontrar um ΘΘ\Theta vinculado à seguinte equação de recorrência: 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 Eu acho que o Teorema Mestre é inadequado devido à quantidade diferente de subproblemas e divisões. As árvores de...

Eu tenho lido Introdução aos algoritmos por Cormen et al. e eu estou lendo a declaração do teorema do mestre começando na página 73 . No caso 3, há também uma condição de regularidade que precisa ser satisfeita para usar o teorema: ... 3. Se f(n)=Ω(nlogba+ε)f(n)=Ω(nlogb⁡a+ε)\qquad...

Dada a seguinte equação recursiva T(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log n queremos aplicar o teorema do mestre e observe que nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Agora, verificamos os dois primeiros casos para , ou seja, seε>0ε>0\varepsilon >...

Introduction to Algorithms , 3rd edition (p.95) tem um exemplo de como resolver a recorrência 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) aplicando o Teorema Mestre. Estou muito confuso com a forma como é feito. Então, primeiro passo...

Seguindo a resposta de vonbrand, quero escrever um pequeno documento sobre teoremas mestres mais fortes para nossos alunos, um dos quais é o teorema de Akra-Bazzi. Copiei o teorema do trabalho deles [1] e encontrei - além de uma pequena confusão notacional² - o seguinte problema. Os autores exigem...

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...