Вопросы с тегом «master-theorem»

2
Почему пустой тип C не аналогичен пустому / нижнему типу?
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно 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 

1
Строгое доказательство справедливости предположения при использовании основной теоремы
Основная теорема является прекрасным инструментом для решения определенных видов повторений . Тем не менее, мы часто замазываем неотъемлемую часть при его применении. Например, во время анализа 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) …

5
Решение рекуррентного соотношения с √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 для n>2n>2n \gt 2 с некоторой положительной константой ccc и T(2)=1T(2)=1T(2) = 1 . Я знаю основную теорему для решения повторений, но я не уверен, как мы могли бы решить эту связь, используя ее. Как вы подходите к параметру квадратный …

2
Почему в основной теореме есть условие регулярности?
Я читал Введение в алгоритмы от Cormen et al. и я читаю формулировку основной теоремы, начиная со страницы 73 . В случае 3 также существует условие регулярности, которое необходимо выполнить, чтобы использовать теорему: ... 3. Если f(n)=Ω(nlogba+ε)е(N)знак равноΩ(Nжурналб⁡a+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a + \varepsilon}) для некоторой константы и еслиε>0ε>0\varepsilon …

3
Решение рекуррентных уравнений, содержащих два рекурсивных вызова
Я пытаюсь найти ΘΘ\Theta ; направляющийся следующего рекуррентного уравнения: T(n)=2T(n/2)+T(n/3)+2n2+ 5 н + 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( 1 )T(1)T(1) или, вернее, …

2
Основная теорема не применима?
Дано следующее рекурсивное уравнение T(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log nмы хотим применить основную теорему и отметить, что nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Теперь мы проверим первые два случая для ε>0ε>0\varepsilon > 0 , то есть nlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in O(n^{1-\varepsilon}) или nlogn ∈ Θ ( n )nlog⁡n∈Θ(n)n\log n \in \Theta(n) . Два случая …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.