3-3 Ordering by asymptotic growth rates

a. Rank the following functions by order of growth; that is, find an arrangement g1,g2,,g30g_1, g_2, \ldots , g_{30} of the functions g1=Ω(g2),g2=Ω(g3),,g29=Ω(g30)g_1 = \Omega(g_2), g_2 = \Omega(g_3), \ldots, g_{29} = \Omega(g_{30}). Partition your list into equivalence classes such that functions f(n)f(n) and g(n)g(n) are in the same class if and only if f(n)=Θ(g(n))f(n) = \Theta(g(n)).

lg(lgn)2lgn(2)lgnn2n!(lgn)!(32)nn3lg2nlg(n!)22nn1/lgnlglgnlgnn2nnlglgnlgn12lgn(lgn)lgnen4lgn(n+1)!lgnlg(lgn)22lgnn2nnlgn22n+1 \begin{array}{cccccc} \lg(\lg^{^*}n) \quad & \quad 2^{\lg^*n} \quad & \quad (\sqrt 2)^{\lg n} \quad & \quad n^2 \quad & \quad n! \quad & \quad (\lg n)! \\ (\frac{3}{2})^n \quad & \quad n^3 \quad & \quad \lg^2 n \quad & \quad \lg(n!) \quad & \quad 2^{2^n} \quad & \quad n^{1/\lg n} \\ \lg\lg n \quad & \quad \lg^* n \quad & \quad n\cdot 2^n \quad & \quad n^{\lg\lg n} \quad & \quad \lg n \quad & \quad 1 \\ 2^{\lg n} \quad & \quad (\lg n)^{\lg n} \quad & \quad e^n \quad & \quad 4^{\lg n} \quad & \quad (n + 1)! \quad & \quad \sqrt{\lg n} \\ \lg^*(\lg n) \quad & \quad 2^{\sqrt{2\lg n}} \quad & \quad n \quad & \quad 2^n \quad & \quad n\lg n \quad & \quad 2^{2^{n + 1}} \end{array}

b. Give an example of a single nonnegative function f(n)f(n) such that for all functions gi(n)g_i(n) in part (a), f(n)f(n) is neither O(gi(n))O(g_i(n)) nor Ω(gi(n))\Omega(g_i(n)).

22n+122n(n+1)!n!enn2n2n(3/2)n(lgn)lgn=nlglgn(lgn)!n3n2=4lgnnlgn and lg(n!)n=2lgn(2)lgn(=n)22lgnlg2nlnnlgnlnlnn2lgnlgn and lg(lgn)lg(lgn)n1/lgn(=2) and 1 \begin{array}{ll} 2^{2^{n + 1}} & \\ 2^{2^n} & \\ (n + 1)! & \\ n! & \\ e^n & \\ n\cdot 2^n & \\ 2^n & \\ (3 / 2)^n & \\ (\lg n)^{\lg n} = n^{\lg\lg n} & \\ (\lg n)! & \\ n^3 & \\ n^2 = 4^{\lg n} & \\ n\lg n \text{ and } \lg(n!) & \\ n = 2^{\lg n} & \\ (\sqrt 2)^{\lg n}(= \sqrt n) & \\ 2^{\sqrt{2\lg n}} & \\ \lg^2 n & \\ \ln n & \\ \sqrt{\lg n} & \\ \ln\ln n & \\ 2^{\lg^*n} & \\ \lg^*n \text{ and } \lg^*(\lg n) & \\ \lg(\lg^*n) & \\ n^{1 / \lg n}(= 2) \text{ and } 1 & \end{array}

b. For example,

f(n)={22n+2if n is even,0if n is odd. f(n) = \begin{cases} 2^{2^{n + 2}} & \text{if $n$ is even}, \\ 0 & \text{if $n$ is odd}. \end{cases}

for all functions gi(n)g_i(n) in part (a), f(n)f(n) is neither O(gi(n))O(g_i(n)) nor Ω(gi(n))\Omega(g_i(n)).