SlideShare a Scribd company logo
Proofs, Recursion and Analysis of
                      Algorithms




                     Mathematical
                     Structures for
                   Computer Science
                               Chapter 2




      Copyright © 2006 W.H. Freeman & Co.
   
   MSCS Slides
   
   Proofs, Recursion and Analysis of
      Algorithms
Monday, February 15, 2010
Properties of recurrence relations
         ●     A linear recurrence relation can be written as
         	

   S(n) = f1(n)S(n-1) + f2(n)S(n-2) + …..+ fk(n)S(n-k) + g(n)
         	

   where f’s and g are or can be expressions involving n.
         ●     Linearity, homogeneity and orders
         ●     A linear relation is when the earlier values in the definition of S(n) as
               shown above have power 1.
                   The term linear means that each term of the sequence is defined as
                   ■


                   a linear function of the preceding terms.
                   ■
                       Example: F(n) = F(n-1) + F(n-2)
         ●     A nonlinear relation is the one that has earlier values in the definition
               as powers other than 1.
                   ■
                       Example: F(n+1) = 2nF(n-1)(1-F(n-1))
                   ■
                       Solutions are quite complex.
         ●     Homogenous relation is a relation that has g(n) = 0 for all n
                   ■
                       Example: a(n) – a(n-1) = 2n
         ●     Inhomogenous relation:	

                   ■
                       Example: S(n) = 2S(n-1)
     Section 2.5                                     Recurrence Relations                 2
Monday, February 15, 2010
Order of Recurrence Relation
         ●     A recurrence relation is said to have constant coefficients if
               the f’s are all constants.
                   ■
                       Fibonaci relation is homogenous and linear:
                        • F(n) = F(n-1) + F(n-2)
                   ■
                       Non-constant coefficients: T(n) = 2nT(n-1) + 3n2T(n-2)

         ●     Order of a relation is defined by the number of previous
               terms in a relation for the nth term.
                   ■
                       First order: S(n) = 2S(n-1)
                        • nth term depends only on term n-1
                   ■
                       Second order: F(n) = F(n-1) + F(n-2)
                        • nth term depends only on term n-1 and n-2
                   ■
                       Third Order: T(n) = 3nT(n-2) + 2T(n-1) + T(n-3)
                        • nth term depends only on term n-1 and n-2 and n-3
     Section 2.5                                   Recurrence Relations        3
Monday, February 15, 2010
Solving recurrence relations
         ●     Solving a recurrence relation employs finding a closed-form
               solution for the recurrence relation.
         ●     An equation such as S(n) = 2n, where we can substitute a value
               for n and get the output value back directly, is called a closed-
               form solution.

         ●     Two methods used to solve a recurrence relation:
                   ■
                       Expand, Guess, Verify
                        • Repeatedly uses the recurrence relation to expand the expression for
                          the nth term until the general pattern can be guessed.
                        • Finally the guess is verified by mathematical induction.
                   ■
                       Solution from a formula
                        • Known solution formulas can be derived for some types of recurrence
                          relations.



     Section 2.5                                      Recurrence Relations                       4
Monday, February 15, 2010
Expand, guess and verify
         ●     Show that S(n) = 2n for the following recurrence relation:
                   S(1) = 2
                   S(n) = 2S(n-1) for n ≥ 2
         ●     Expansion: Using the recurrence relation over again everytime
                   ■
                       S(n) = 2S(n-1)
                   ⇒ S(n) = 2(2S(n-2)) = 22S(n-2)
                   ⇒ S(n) = 22(2S(n-3)) = 23S(n-3)
         ●     Looking at the developing pattern, we guess that after k such
               expansions, the equation has the form
                   ■
                       S(n) = 2kS(n-k)
         ●     This should stop when n-k =1, hence k = n-1,
                   ■
                       As the base case provided is S(1)
         ●     S(n) = 2n-1S(1) ⇒ S(n) = 2*2n-1 = 2n
         ●     Do the verification step by assuming the closed form solution for S(k)
               and proving S(k+1)
     Section 2.5                                     Recurrence Relations              5
Monday, February 15, 2010
Verification Step for Expand, Guess & Verify
         ●     Confirm derived closed-form solution by induction on the value
               of n.
                   ■   Statement to prove: S(n) = 2n for n ≥ 2.
         ●     For the basis step, S(1) = 21. This is true, from the basis step.
         ●     Assume that S(k) = 2k.
         ●     Then S(k+1) = 2S(k) (by using the recurrence relation definition)
                   ■
                     S(k+1) = 2(2k) (by using the above inductive hypothesis)
                   ⇒ S(k+1) = 2k+1
         ●     This proves that our closed-form solution is correct.




     Section 2.5                                  Recurrence Relations             6
Monday, February 15, 2010
Class Exercise
         ●     Find the solution for the following recurrence relation:
                   ■
                       T(1) = 1
                   ■
                       T(n) = T(n-1) + 3 for n ≥ 2




     Section 2.5                                Recurrence Relations      7
Monday, February 15, 2010
Class Exercise
         ●     Find the solution for the following recurrence relation:
                   ■
                       T(1) = 1
                   ■
                       T(n) = T(n-1) + 3 for n ≥ 2
           ●   Solution:
                T(n) = T(n-1) + 3 = [T(n-2)+3] + 3 = T(n-2)+2*3
                	

             = [T(n-3)+3] + 2*3 = T(n-3) + 3*3
                In general, we guess that T(n) = T(n-k) + k*3
                When n-k = 1, i.e. k = n-1
                T(n) = T(1) + (n-1)*3 = 1 + (n-1)*3 = 3(n)-2
                Prove the above by induction: T(1) = 3(1)-2 = 1, true
                Assume T(k) = 3*k-2, show T(k+1) = 3*(k+1) -2 = 3*k+1
                T(k+1) = T(k) + 3 from the given recurrence relation
                T(k+1) = 3*k-2+ 3 by inductive hypothesis
                Hence, T(k+1) = 3*k+1

     Section 2.5                                Recurrence Relations      7
Monday, February 15, 2010
Solution from a formula
         ●   Solution formula for linear first order constant coefficient
             relation

               S(n) = f1(n)S(n-1) + f2(n)S(n-2) + …..+ fk(n)S(n-k) + g(n)
               For the relation S(n) = 2S(n-1), we have f1(n) = 2 and g(n) = 0
               So, S(n) = cS(n-1) + g(n)
               S(n) = c[cS(n-2)+g(n-1)] + g(n) = c[c[cS(n-3)+g(n-2)] + g(n-1)] + g
                  (n)
               .
               S(n) = ckS(n-k) + ck-1g(n-(k-1)) + …..+ cg(n-1) + g(n)
               The lowest value of n-k is 1
               Hence, S(n) = cn-1S(1) + cn-2g(2) + cn-3g(3) +….+ g(n)
                                                        n
                                  S(n) = c   n−1
                                                S(1) + ∑ c n−i g(i)
                                                       i= 2
         ●      For S(n) = 2S(n-1), c = 2 and g(n) = 0
          	

 Hence, S(n) = 2n-1*S(1) = 2.2n-1 = 2n since S(1) = 2
     Section 2.5          €                     Recurrence Relations                 8
Monday, February 15, 2010
Class Exercise
         ●     Show that the solution for the recurrence relation
                   ■
                       S(n) = 2S(n-1) + 3 for n ≥ 2 and given S(1) = 4
                   ■
                       Here, g(n) = 3 and c = 2
                                     S(n) = 2 n +1 + 3[2 n−1 −1]
         ●     given by
         ●     Show that the solution for the recurrence relation
                   ■
                       T(n) = T(n-1) + (n+1) for n ≥ 2 and given T(1) = 2
                          €
                   ■
                       Here, g(n) = 1 and c = n+1
                                     T(n) = 2 n +1 + 3[2 n−1 −1]
         ●     given by

         ●     Solutions for these exercises is in the text (pg. 151-152)
                           €




     Section 2.5                                   Recurrence Relations     9
Monday, February 15, 2010

More Related Content

KEY
Presentation 3
KeatonTech
 
PDF
21 4 ztransform
Mahyar Alzobaidy
 
PDF
21 3 ztransform
Mahyar Alzobaidy
 
PDF
21 2 ztransform
Mahyar Alzobaidy
 
PDF
On the Adjacency Matrix and Neighborhood Associated with Zero-divisor Graph f...
Editor IJCATR
 
PDF
Chapter 02
Lawrence Macharia
 
PDF
21 1 ztransform
Mahyar Alzobaidy
 
PDF
Add Maths 2
morabisma
 
Presentation 3
KeatonTech
 
21 4 ztransform
Mahyar Alzobaidy
 
21 3 ztransform
Mahyar Alzobaidy
 
21 2 ztransform
Mahyar Alzobaidy
 
On the Adjacency Matrix and Neighborhood Associated with Zero-divisor Graph f...
Editor IJCATR
 
Chapter 02
Lawrence Macharia
 
21 1 ztransform
Mahyar Alzobaidy
 
Add Maths 2
morabisma
 

What's hot (19)

PDF
21 5 ztransform
Mahyar Alzobaidy
 
PPTX
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
AartiMajumdar1
 
KEY
0205 ch 2 day 5
festivalelmo
 
PPTX
Modeling with Recurrence Relations
Devanshu Taneja
 
PDF
presentasi
Deddy Rahmadi
 
PPS
M1 unit iii-jntuworld
mrecedu
 
PDF
Copy of y16 02-2119divide-and-conquer
Joepang2015
 
PDF
On the stability and accuracy of finite difference method for options pricing
Alexander Decker
 
PDF
Guia edo todas
Gonzalo Jiménez
 
PPTX
Odepowerpointpresentation1
Pokarn Narkhede
 
DOC
Mth3101 Advanced Calculus Chapter 2
saya efan
 
PPTX
Ecuaciones diferenciales c1
Yuliyamira
 
PDF
Funcion gamma
Adhana Hary Wibowo
 
PDF
Recurrence relations
IIUM
 
PPTX
Differential equations
Uzair Saiyed
 
PDF
Lohans’ magic squares and the Gaussian elimination method
Lossian Barbosa Bacelar Miranda
 
PDF
Estimation and Prediction of Complex Systems: Progress in Weather and Climate
modons
 
PPTX
First order linear differential equation
Nofal Umair
 
21 5 ztransform
Mahyar Alzobaidy
 
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
AartiMajumdar1
 
0205 ch 2 day 5
festivalelmo
 
Modeling with Recurrence Relations
Devanshu Taneja
 
presentasi
Deddy Rahmadi
 
M1 unit iii-jntuworld
mrecedu
 
Copy of y16 02-2119divide-and-conquer
Joepang2015
 
On the stability and accuracy of finite difference method for options pricing
Alexander Decker
 
Guia edo todas
Gonzalo Jiménez
 
Odepowerpointpresentation1
Pokarn Narkhede
 
Mth3101 Advanced Calculus Chapter 2
saya efan
 
Ecuaciones diferenciales c1
Yuliyamira
 
Funcion gamma
Adhana Hary Wibowo
 
Recurrence relations
IIUM
 
Differential equations
Uzair Saiyed
 
Lohans’ magic squares and the Gaussian elimination method
Lossian Barbosa Bacelar Miranda
 
Estimation and Prediction of Complex Systems: Progress in Weather and Climate
modons
 
First order linear differential equation
Nofal Umair
 
Ad

Similar to CPSC 125 Ch 2 Sec 5 (20)

PDF
Solving recurrences
Waqas Akram
 
PDF
Solving recurrences
Waqas Akram
 
PPT
Analysis Of Algorithms Ii
Sri Prasanna
 
PPTX
Discrete structure sequence, arithmetic progression
harveyspecter1249
 
PDF
8.-DAA-LECTURE-8-RECURRENCES-AND-ITERATION-METHOD.pdf
RishikeshJha33
 
PPTX
recurence solutions
soumya8396
 
PPTX
Recurrence_Theory.pptx studdents nees free
White44420
 
PPT
the ppt on chap6 of brassard and Bratley
monalid1
 
PPTX
Recurrence Relation
Papu Kumar
 
PPTX
PCC_CS_404_OUCHITYAPRODHAN_17000124029[1].pptx
jayanta738438118
 
PPTX
Time Complexity of Recursive Functions.pptx
neelam108thapa
 
PPT
Time complexity
Kartik Chandra Mandal
 
PPTX
10-Sequences and summation.pptx
jaffarbikat
 
PDF
Recurrence relation solutions
subhashchandra197
 
PDF
Impact of Linear Homogeneous Recurrent Relation Analysis
ijtsrd
 
PPTX
Binomial Theorem, Recursion ,Tower of Honai, relations
Aqeel Rafique
 
PPT
lecture3.ppt
PallaviDhade1
 
PPTX
power point DM Unit-4 part2 -21-04-2020.pptx
iitjeesooraj
 
PPT
Task 4
blackbox90s
 
PPTX
recurrence relations
Anurag Cheela
 
Solving recurrences
Waqas Akram
 
Solving recurrences
Waqas Akram
 
Analysis Of Algorithms Ii
Sri Prasanna
 
Discrete structure sequence, arithmetic progression
harveyspecter1249
 
8.-DAA-LECTURE-8-RECURRENCES-AND-ITERATION-METHOD.pdf
RishikeshJha33
 
recurence solutions
soumya8396
 
Recurrence_Theory.pptx studdents nees free
White44420
 
the ppt on chap6 of brassard and Bratley
monalid1
 
Recurrence Relation
Papu Kumar
 
PCC_CS_404_OUCHITYAPRODHAN_17000124029[1].pptx
jayanta738438118
 
Time Complexity of Recursive Functions.pptx
neelam108thapa
 
Time complexity
Kartik Chandra Mandal
 
10-Sequences and summation.pptx
jaffarbikat
 
Recurrence relation solutions
subhashchandra197
 
Impact of Linear Homogeneous Recurrent Relation Analysis
ijtsrd
 
Binomial Theorem, Recursion ,Tower of Honai, relations
Aqeel Rafique
 
lecture3.ppt
PallaviDhade1
 
power point DM Unit-4 part2 -21-04-2020.pptx
iitjeesooraj
 
Task 4
blackbox90s
 
recurrence relations
Anurag Cheela
 
Ad

More from David Wood (20)

PPTX
Internet of Things (IoT) two-factor authentication using blockchain
David Wood
 
PPTX
Returning to Online Privacy?
David Wood
 
PPTX
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...
David Wood
 
PPTX
BlockSW 2019 Keynote
David Wood
 
PDF
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221
David Wood
 
PDF
Privacy in the Smart City
David Wood
 
PDF
Controlling Complexities in Software Development
David Wood
 
PDF
Privacy Concerns related to Verifiable Claims
David Wood
 
PDF
Implementing the Verifiable Claims data model
David Wood
 
PDF
So You Wanna be a Startup CTO 20170301
David Wood
 
PDF
Functional manipulations of large data graphs 20160601
David Wood
 
PDF
When Metaphors Kill
David Wood
 
PDF
Secularism in Australia
David Wood
 
PDF
Meditations on Writing in Paradoxes, Oxymorons, and Pleonasms
David Wood
 
PDF
Building a writer's platform with social media
David Wood
 
PDF
Summary of the Hero's Journey
David Wood
 
PDF
Open by Default
David Wood
 
PDF
Lod Then, Now and Next 20110926
David Wood
 
PDF
Linked Data ROI 20110426
David Wood
 
PDF
Introduction to Linked Data: RDF Vocabularies
David Wood
 
Internet of Things (IoT) two-factor authentication using blockchain
David Wood
 
Returning to Online Privacy?
David Wood
 
Methods for Securing Spacecraft Tasking and Control via an Enterprise Ethereu...
David Wood
 
BlockSW 2019 Keynote
David Wood
 
Returning to Online Privacy - W3C/ANU Future of the Web Roadshow 20190221
David Wood
 
Privacy in the Smart City
David Wood
 
Controlling Complexities in Software Development
David Wood
 
Privacy Concerns related to Verifiable Claims
David Wood
 
Implementing the Verifiable Claims data model
David Wood
 
So You Wanna be a Startup CTO 20170301
David Wood
 
Functional manipulations of large data graphs 20160601
David Wood
 
When Metaphors Kill
David Wood
 
Secularism in Australia
David Wood
 
Meditations on Writing in Paradoxes, Oxymorons, and Pleonasms
David Wood
 
Building a writer's platform with social media
David Wood
 
Summary of the Hero's Journey
David Wood
 
Open by Default
David Wood
 
Lod Then, Now and Next 20110926
David Wood
 
Linked Data ROI 20110426
David Wood
 
Introduction to Linked Data: RDF Vocabularies
David Wood
 

Recently uploaded (20)

PDF
Orbitly Pitch Deck|A Mission-Driven Platform for Side Project Collaboration (...
zz41354899
 
PPTX
Applied-Statistics-Mastering-Data-Driven-Decisions.pptx
parmaryashparmaryash
 
PDF
Google I/O Extended 2025 Baku - all ppts
HusseinMalikMammadli
 
PDF
CIFDAQ's Market Wrap : Bears Back in Control?
CIFDAQ
 
PPTX
OA presentation.pptx OA presentation.pptx
pateldhruv002338
 
PDF
Unlocking the Future- AI Agents Meet Oracle Database 23ai - AIOUG Yatra 2025.pdf
Sandesh Rao
 
PPTX
The-Ethical-Hackers-Imperative-Safeguarding-the-Digital-Frontier.pptx
sujalchauhan1305
 
PDF
Security features in Dell, HP, and Lenovo PC systems: A research-based compar...
Principled Technologies
 
PDF
Get More from Fiori Automation - What’s New, What Works, and What’s Next.pdf
Precisely
 
PPTX
IT Runs Better with ThousandEyes AI-driven Assurance
ThousandEyes
 
PPTX
Agile Chennai 18-19 July 2025 Ideathon | AI Powered Microfinance Literacy Gui...
AgileNetwork
 
PDF
Presentation about Hardware and Software in Computer
snehamodhawadiya
 
PDF
Accelerating Oracle Database 23ai Troubleshooting with Oracle AHF Fleet Insig...
Sandesh Rao
 
PDF
Trying to figure out MCP by actually building an app from scratch with open s...
Julien SIMON
 
PDF
OFFOFFBOX™ – A New Era for African Film | Startup Presentation
ambaicciwalkerbrian
 
PDF
How Open Source Changed My Career by abdelrahman ismail
a0m0rajab1
 
PPTX
AI in Daily Life: How Artificial Intelligence Helps Us Every Day
vanshrpatil7
 
PPTX
The Future of AI & Machine Learning.pptx
pritsen4700
 
PDF
Automating ArcGIS Content Discovery with FME: A Real World Use Case
Safe Software
 
PDF
Responsible AI and AI Ethics - By Sylvester Ebhonu
Sylvester Ebhonu
 
Orbitly Pitch Deck|A Mission-Driven Platform for Side Project Collaboration (...
zz41354899
 
Applied-Statistics-Mastering-Data-Driven-Decisions.pptx
parmaryashparmaryash
 
Google I/O Extended 2025 Baku - all ppts
HusseinMalikMammadli
 
CIFDAQ's Market Wrap : Bears Back in Control?
CIFDAQ
 
OA presentation.pptx OA presentation.pptx
pateldhruv002338
 
Unlocking the Future- AI Agents Meet Oracle Database 23ai - AIOUG Yatra 2025.pdf
Sandesh Rao
 
The-Ethical-Hackers-Imperative-Safeguarding-the-Digital-Frontier.pptx
sujalchauhan1305
 
Security features in Dell, HP, and Lenovo PC systems: A research-based compar...
Principled Technologies
 
Get More from Fiori Automation - What’s New, What Works, and What’s Next.pdf
Precisely
 
IT Runs Better with ThousandEyes AI-driven Assurance
ThousandEyes
 
Agile Chennai 18-19 July 2025 Ideathon | AI Powered Microfinance Literacy Gui...
AgileNetwork
 
Presentation about Hardware and Software in Computer
snehamodhawadiya
 
Accelerating Oracle Database 23ai Troubleshooting with Oracle AHF Fleet Insig...
Sandesh Rao
 
Trying to figure out MCP by actually building an app from scratch with open s...
Julien SIMON
 
OFFOFFBOX™ – A New Era for African Film | Startup Presentation
ambaicciwalkerbrian
 
How Open Source Changed My Career by abdelrahman ismail
a0m0rajab1
 
AI in Daily Life: How Artificial Intelligence Helps Us Every Day
vanshrpatil7
 
The Future of AI & Machine Learning.pptx
pritsen4700
 
Automating ArcGIS Content Discovery with FME: A Real World Use Case
Safe Software
 
Responsible AI and AI Ethics - By Sylvester Ebhonu
Sylvester Ebhonu
 

CPSC 125 Ch 2 Sec 5

  • 1. Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co. MSCS Slides Proofs, Recursion and Analysis of Algorithms Monday, February 15, 2010
  • 2. Properties of recurrence relations ● A linear recurrence relation can be written as S(n) = f1(n)S(n-1) + f2(n)S(n-2) + …..+ fk(n)S(n-k) + g(n) where f’s and g are or can be expressions involving n. ● Linearity, homogeneity and orders ● A linear relation is when the earlier values in the definition of S(n) as shown above have power 1. The term linear means that each term of the sequence is defined as ■ a linear function of the preceding terms. ■ Example: F(n) = F(n-1) + F(n-2) ● A nonlinear relation is the one that has earlier values in the definition as powers other than 1. ■ Example: F(n+1) = 2nF(n-1)(1-F(n-1)) ■ Solutions are quite complex. ● Homogenous relation is a relation that has g(n) = 0 for all n ■ Example: a(n) – a(n-1) = 2n ● Inhomogenous relation: ■ Example: S(n) = 2S(n-1) Section 2.5 Recurrence Relations 2 Monday, February 15, 2010
  • 3. Order of Recurrence Relation ● A recurrence relation is said to have constant coefficients if the f’s are all constants. ■ Fibonaci relation is homogenous and linear: • F(n) = F(n-1) + F(n-2) ■ Non-constant coefficients: T(n) = 2nT(n-1) + 3n2T(n-2) ● Order of a relation is defined by the number of previous terms in a relation for the nth term. ■ First order: S(n) = 2S(n-1) • nth term depends only on term n-1 ■ Second order: F(n) = F(n-1) + F(n-2) • nth term depends only on term n-1 and n-2 ■ Third Order: T(n) = 3nT(n-2) + 2T(n-1) + T(n-3) • nth term depends only on term n-1 and n-2 and n-3 Section 2.5 Recurrence Relations 3 Monday, February 15, 2010
  • 4. Solving recurrence relations ● Solving a recurrence relation employs finding a closed-form solution for the recurrence relation. ● An equation such as S(n) = 2n, where we can substitute a value for n and get the output value back directly, is called a closed- form solution. ● Two methods used to solve a recurrence relation: ■ Expand, Guess, Verify • Repeatedly uses the recurrence relation to expand the expression for the nth term until the general pattern can be guessed. • Finally the guess is verified by mathematical induction. ■ Solution from a formula • Known solution formulas can be derived for some types of recurrence relations. Section 2.5 Recurrence Relations 4 Monday, February 15, 2010
  • 5. Expand, guess and verify ● Show that S(n) = 2n for the following recurrence relation: S(1) = 2 S(n) = 2S(n-1) for n ≥ 2 ● Expansion: Using the recurrence relation over again everytime ■ S(n) = 2S(n-1) ⇒ S(n) = 2(2S(n-2)) = 22S(n-2) ⇒ S(n) = 22(2S(n-3)) = 23S(n-3) ● Looking at the developing pattern, we guess that after k such expansions, the equation has the form ■ S(n) = 2kS(n-k) ● This should stop when n-k =1, hence k = n-1, ■ As the base case provided is S(1) ● S(n) = 2n-1S(1) ⇒ S(n) = 2*2n-1 = 2n ● Do the verification step by assuming the closed form solution for S(k) and proving S(k+1) Section 2.5 Recurrence Relations 5 Monday, February 15, 2010
  • 6. Verification Step for Expand, Guess & Verify ● Confirm derived closed-form solution by induction on the value of n. ■ Statement to prove: S(n) = 2n for n ≥ 2. ● For the basis step, S(1) = 21. This is true, from the basis step. ● Assume that S(k) = 2k. ● Then S(k+1) = 2S(k) (by using the recurrence relation definition) ■ S(k+1) = 2(2k) (by using the above inductive hypothesis) ⇒ S(k+1) = 2k+1 ● This proves that our closed-form solution is correct. Section 2.5 Recurrence Relations 6 Monday, February 15, 2010
  • 7. Class Exercise ● Find the solution for the following recurrence relation: ■ T(1) = 1 ■ T(n) = T(n-1) + 3 for n ≥ 2 Section 2.5 Recurrence Relations 7 Monday, February 15, 2010
  • 8. Class Exercise ● Find the solution for the following recurrence relation: ■ T(1) = 1 ■ T(n) = T(n-1) + 3 for n ≥ 2 ● Solution: T(n) = T(n-1) + 3 = [T(n-2)+3] + 3 = T(n-2)+2*3 = [T(n-3)+3] + 2*3 = T(n-3) + 3*3 In general, we guess that T(n) = T(n-k) + k*3 When n-k = 1, i.e. k = n-1 T(n) = T(1) + (n-1)*3 = 1 + (n-1)*3 = 3(n)-2 Prove the above by induction: T(1) = 3(1)-2 = 1, true Assume T(k) = 3*k-2, show T(k+1) = 3*(k+1) -2 = 3*k+1 T(k+1) = T(k) + 3 from the given recurrence relation T(k+1) = 3*k-2+ 3 by inductive hypothesis Hence, T(k+1) = 3*k+1 Section 2.5 Recurrence Relations 7 Monday, February 15, 2010
  • 9. Solution from a formula ● Solution formula for linear first order constant coefficient relation S(n) = f1(n)S(n-1) + f2(n)S(n-2) + …..+ fk(n)S(n-k) + g(n) For the relation S(n) = 2S(n-1), we have f1(n) = 2 and g(n) = 0 So, S(n) = cS(n-1) + g(n) S(n) = c[cS(n-2)+g(n-1)] + g(n) = c[c[cS(n-3)+g(n-2)] + g(n-1)] + g (n) . S(n) = ckS(n-k) + ck-1g(n-(k-1)) + …..+ cg(n-1) + g(n) The lowest value of n-k is 1 Hence, S(n) = cn-1S(1) + cn-2g(2) + cn-3g(3) +….+ g(n) n S(n) = c n−1 S(1) + ∑ c n−i g(i) i= 2 ● For S(n) = 2S(n-1), c = 2 and g(n) = 0 Hence, S(n) = 2n-1*S(1) = 2.2n-1 = 2n since S(1) = 2 Section 2.5 € Recurrence Relations 8 Monday, February 15, 2010
  • 10. Class Exercise ● Show that the solution for the recurrence relation ■ S(n) = 2S(n-1) + 3 for n ≥ 2 and given S(1) = 4 ■ Here, g(n) = 3 and c = 2 S(n) = 2 n +1 + 3[2 n−1 −1] ● given by ● Show that the solution for the recurrence relation ■ T(n) = T(n-1) + (n+1) for n ≥ 2 and given T(1) = 2 € ■ Here, g(n) = 1 and c = n+1 T(n) = 2 n +1 + 3[2 n−1 −1] ● given by ● Solutions for these exercises is in the text (pg. 151-152) € Section 2.5 Recurrence Relations 9 Monday, February 15, 2010