English 中文(简体)
What are the asymptotic upper and lower bounds for T(n) = 2T(n/2) + n lg lg n?
原标题:

The recurrence relation

T(n) = 2T(n/2) + n lg lg n

(where lg is logarithm to base 2) can be solved using the master theorem but I am not very sure about the answer. I have found my answer but am not mentioning it here in order to prevent information cascades. Please help me find the big O and Ω for above.

最佳回答

None of the 3 cases in the master theorem apply for

T(n)=2 T(n/2) + n log(log n)

(With arbitrary base, it doesn t really matter)

Case 1: f(n)=n log(log n) is bigger than nlog2 2=n1

Case 2: f(n) does not fit n logk(n)

Case 3: f(n) is smaller than n1+e

U(n)=2 U(n/2) + n log n
L(n)=2 L(n/2) + n

You can show that: U(n) >= T(n) and L(n) <= T(n). So U gives a upper bound, and L a lower bound for T.

Applying the master theorem for U(n), gives

Case 2: f(n)=n log n=Θ(n1 log1 n) thus U(n)=Θ(n log2 n)

Applying the master theorem for L(n), gives

Case 2: f(n)=n =Θ(n1 log0 n) thus L(n)=Θ(n log n)

Because L(n)<=T(n)<=U(n) it follows that T(n)=O(n log2 n) and T(n)=Ω(n log n)

Also, note that O(log2n)=O((log n)/log 2)=O((log n) * c)=O(log n).

问题回答

暂无回答




相关问题
How to add/merge several Big O s into one

If I have an algorithm which is comprised of (let s say) three sub-algorithms, all with different O() characteristics, e.g.: algorithm A: O(n) algorithm B: O(log(n)) algorithm C: O(n log(n)) How do ...

Grokking Timsort

There s a (relatively) new sort on the block called Timsort. It s been used as Python s list.sort, and is now going to be the new Array.sort in Java 7. There s some documentation and a tiny Wikipedia ...

Manually implementing high performance algorithms in .NET

As a learning experience I recently tried implementing Quicksort with 3 way partitioning in C#. Apart from needing to add an extra range check on the left/right variables before the recursive call, ...

Print possible strings created from a Number

Given a 10 digit Telephone Number, we have to print all possible strings created from that. The mapping of the numbers is the one as exactly on a phone s keypad. i.e. for 1,0-> No Letter for 2->...

Enumerating All Minimal Directed Cycles Of A Directed Graph

I have a directed graph and my problem is to enumerate all the minimal (cycles that cannot be constructed as the union of other cycles) directed cycles of this graph. This is different from what the ...

Quick padding of a string in Delphi

I was trying to speed up a certain routine in an application, and my profiler, AQTime, identified one method in particular as a bottleneck. The method has been with us for years, and is part of a "...

热门标签