Algorithms | Recurrences | Set 1

• Question 1: Which of the following is the value of T³(n) where T³(n) is defined as T³(n) = 5*T³(n-1) – 4*T³(n-2)
  1. C₁*5ⁿ + C₂*4ⁿ
  2. C₁ + C₂*4ⁿ
  3. C₁*2ⁿ + C₂*4ⁿ
  4. C₁*5ⁿ + C₂*(-4)ⁿ
  Answer: 2 Explanation: The recursion function (equation) seems to have a strange form. Let’s change the variable T²(n) to get an equation of a familiar form; so, we let A(n) = T³(n); then we have:

  

  The characteristic equation of our new differential equation would be:

  

  So, the homogeneous solution to this equation shall be:

  

  As we have defined A(n) = T³(n), the final answer is:

  
• Question 2: Determine the value of initial condition F(1) in a way that we can have F(n) = (n+2)! as the solution to the following given recursive function:

   F(n) = (n+1) * F(n-1) + (n+1)! 
  

  1. 3
  2. 4
  3. 6
  4. 2
  Answer: 3 Explanation: Through using the iteration technique to solve the given recursive function, we’ll have:

  

  If we continue these derivations, we can easily guess that the answer should be of following form:

  

  The last step (stop point) in iteration method is when we reach the initial condition F(1); therefore, we let k = n-1, and the non-recursive form would be:

  

  

  

  In according to the given function F(n) in question, and what we have derived till now:

  

  Finally, as we shall see, the value of F(1) is:

  

• Question 3: What is the time Complexity of T(n) = 4* T(n/2) + n * log(n!).
  1. θ(n * log n)
  2. θ(n²)
  3. θ(n² * log n)
  4. θ(n² * log² n)
  Answer: 4 Explanation: We know that log(n!) ∈ θ( n * log n ). Now, the equivalent problem is to analyze the order of the new recursive function:

  

  We can solve this by master theorem. In order to apply master theorem here, we have f(n) = n² * log(n), and the parameters a (the number of sub-problems), b (the reduction factor), and C equal to 4, 2, and 2, respectively; so, θ( n^log_ba ), is of θ( n² ) which lies in the same complexity class of θ( n^{C = 2} ); therefore, the given recursive function is belong to the case 2 of master theorem. In according to master theorem, T(n) would be of following order:

  

• Question 4: Which one gives the best estimation of T(n) complexity?

  T (n) =  * T(n/2)+ n2 √n+1.
   
  

  1. θ( n² * √n * log n )
  2. O( n² * √n+1 * log n )
  3. θ( )
  4. θ( )
  5. O( n² * √n ).
  Answer: 3 Explanation: We know that , and ; so, we can simplify the recursion function as following:

  

  It belongs to the case 3 of the master theorem; so, the asymptotic complexity of T(n) is:

  

• Question 5: Which asymptotic boundary is not correct for T (n) = T (n/4) + T (3n/4) + n ?
  1. O( n^{log_4/3 2} )
  2. Ω( n )
  3. O( n * log(n) )
  4. None of above
  Answer: 4 Explanation: By master theorem, we can specify the same boundaries as indicated in first two options (A) and (B):
  1. 
  2. 
  We can find out the correctness of third option by the recurrence tree method. We draw a tree and we can easily guess an appropriate boundary for T(n):

  

  The length of the branches of the recurrence tree cannot be less than h_r, and neither can be more than h_L; so the following estimations can be inferred:
  1. 
  2. 
  In according to the two boundaries mentioned above, we also have T(n) ∈ θ( n*log(n) ). We know that if T(n) ∈ O(n * log(n)), it must be also of O(n^log_4/3n); so if we have evaluated the third option first, we actually would have inferred the correctness of option (A) too. However, recurrence trees just give idea on how to guess an appropriate boundary. As someone may give a wrong guess, this method also needs verification or proof that it will not violate the definition of the notations in use. This verification (proof) can be obtained inductively by iterative substitutions into T(n), while considering the notation definitions.