CHWLD - Editorial

PROBLEM LINK:

Practice

Contest

Author: Md Shahid

Tester: Arkapravo Ghosh

Editorialist: Md Shahid

DIFFICULTY:

Hard

PREREQUISITES:

Descrete Mathematics, Generating function and Modular Exponentiation

PROBLEM:

Given-

  • $f(0) = 1$
  • $f(1) = 5$
  • $f(n) = 2f(n-1) + f(n-2) + 2^{n-2}$ when $n \geq 2$
you need to calculate all values of $f(i)$ in a range L to R, where $L \leq i \leq R$

QUICK EXPLANATION:

The solution of the given recursive function is f(n) = 2^n + 3n. Use modular exponentiation to make your program run within time limit.

EXPLANATION:

This problem belongs to Discrete Mathematics. In the real life scenario, you also have to face such problem where there can be a recursive equation but you can not solve it recursively because recursion can cause your program to execute for a long time, in Competitive programming you will get time limit exceed(TLE) and as a competitive programmer you don’t want it right. So here come two techniques to solve
this type of problem-

  • Using Generating Function
  • Matrix Exponentiation.
Here, i will talk about how to solve this problem using generating function.
   Let $G(x) = \sum_{n=0}^{\infty} a_n x^{n}$ be generating function.

   Then $f(n) = 2f(n-1) + f(n-2) + 2^{n-2}$ -------(1)
   when $n \geq 2$, $f(0) = 1$, $f(1) = 5$ 


   Multiplying both sides of (1) by $x^n$ and summing from $n=2$ to ${\infty}$


    $\sum_{n=2}^{\infty} a_n x^n - 2 \sum_{n=2}^{\infty} a_{n-1} x^n + \sum_{n=2}^{\infty} a_{n-2} x^n$ 
   $= \sum_{n=2}^{\infty} 2^{n-2} x^n$ 
   

   or  $G(x) - a_0 - a_1 x -2x(G(x) - a_0) + x^2 G(x) =  \frac{x^2} {1-2x}$ 

   Substituting a_0 =1, a_1 = 5  

   $(1-2x - x^2)G(x) = 1 + 3x + \frac {x^2} {1-2x} $ 

   or $G(x) = \frac {1+x-5 x^2}{(1-2x)(1-x)^2}$ 

   or $ G(x) = \frac {1}{1-2x} - \frac {3}{1-x} + \frac {3}{(1-x)^2}$ 

   or $ G(x) = \sum_{n=0}^{\infty} (2x)^n - 3 \sum_{n=0}^{\infty} x^n +3 \sum_{n=0}^{\infty} (n+1) x^n $ 

 or $ G(x)= \sum_{n=0}^{\infty} (2^n - 3 + 3(n+1)) x^n$ 

   $a_n = 2^n - 3 + 3(n+1) = 2^n + 3n $ 


   $ \therefore a_n = 2^n + 3n$

AUTHOR’S AND EDITORIALIST’S SOLUTIONS:

Author’s and editorialist’s solution can be found here.

1 Like