MHB What are the next steps after finding a pattern in iterative substitution?

AI Thread Summary
After identifying a pattern in the iterative substitution for the equation T(n)=2T(n/2)+n^2, the next step is to express the general form of the pattern derived from the iterative process. This involves applying the definition of T multiple times to establish a formula. Additionally, one can derive an explicit formula for T when n is a power of 2, using a specific base case such as T(1). Proving this formula through mathematical induction is also recommended to validate the findings. Conclusively, these steps help solidify understanding and provide a clear solution to the recurrence relation.
fvnn
Messages
2
Reaction score
0
Hi i Have this equation:
[M]T(n)=2T(n/2)+n^2[/M]


I understand for iterative substitution you need to find patterns so here's what i got:
[M]2^2T(n/2^2)+n2/2+n^2
2^3T(n/2^3)+n2/2^2+n2/2+n^2[/M]

My question is what to do after you have found the pattern?
 
Physics news on Phys.org
fvnn said:
My question is what to do after you have found the pattern?
Whatever the problem tells you. You could write the general form of the pattern (after applying the definition of $T$ $n$ times). You could write the explicit formula for $T$ when $n$ is a power of 2 for a given $T(1)$ and then prove it by induction.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top