Запитання з тегом «master-theorem»

Вікіпедія, а також інші джерела, які я знайшов, перелічують 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 

Теорема Майстра - прекрасний інструмент для вирішення певних видів рецидивів . Однак ми часто замальовуємо невід'ємну частину під час її нанесення. Наприклад, під час аналізу Мергесорта ми із задоволенням їдемо 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) …

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 

Я читав « Вступ до алгоритмів » Кормена та ін. і я читаю твердження основної теореми, починаючи з сторінки 73 . У випадку 3 також існує умова регулярності, яку необхідно виконати, щоб використовувати теорему: ... 3. Якщо f(n)=Ω(nlogba+ε)f(n)=Ω(nlogb⁡a+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b a + \varepsilon}) для деякої постійної і якщоε>0ε>0\varepsilon …

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

Я намагаюся знайти пов'язане для наступного рівняння повторення:ΘΘ\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(1)T(1)T(1)T(0)T(0)T(0)

15 asymptotics  recurrence-relation  master-theorem 

Дано наступне рекурсивне рівняння Т( n ) = 2 Т( н2) +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 …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem