What is constructive induction and how is it used to solve recursive equations?

  • Context: Graduate 
  • Thread starter Thread starter Dragonfall
  • Start date Start date
  • Tags Tags
    Induction
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 6K views
Dragonfall
Messages
1,023
Reaction score
5
Can someone explain this "constructive induction" needed to solve recursive equations?

For example, use "constructive induction" to show that the following is [tex]\Theta (n)[/tex]

[tex]T(n) = 1 \leftrightarrow n = 1,2[/tex]
[tex]T(n) = T\lceil n/4\rceil + T \lceil 2n/3\rceil + \Theta (n) \leftrightarrow n > 2[/tex]
 
Last edited:
Mathematics news on Phys.org
Anyone? This is kinda urgent.
 
Dragonfall said:
Can someone explain this "constructive induction" needed to solve recursive equations?

For example, use "constructive induction" to show that the following is [tex]\Theta (n)[/tex]

[tex]T(n) = 1 \leftrightarrow n = 1,2[/tex]
[tex]T(n) = T\lceil n/4\rceil + T \lceil 2n/3\rceil + \Theta (n) \leftrightarrow n > 2[/tex]

Since you haven't said what [itex]\Theta(n)[/itex] is, I don't see how any method can "prove" that is [itex]\Theta(n)[/itex].

Whatever [itex]\Theta(n)[/itex] is, T(3) is definitely not equal to [itex]\Theta(3)[/itex], it is equal to [itex]\Theta(3)+ 2[/itex].
 
[tex]\Theta (n)[/tex] in the recurrence is "some function" in the complexity class [tex]\Theta (n)[/tex].

The complexity class [tex]\Theta (n)[/tex] is the intersection of [tex]O(n)[/tex] and [tex]\Omega (n)[/tex].
 
Last edited: