170 likes | 407 Views
Induction and Recursion. Recursive definition. Explicit definition. Factorial. Geometric progression. Power of relation on a set. The recursive definition of a function makes reference to earlier versions of itself. The main connection between recursion and induction is that
E N D
Induction and Recursion. Recursive definition Explicit definition • Factorial • Geometric progression • Power of relation on a set
The recursive definition of a function makes reference • to earlier versions of itself. • The main connection between recursion and induction is that • objects are defined by means of a natural sequence. • Induction is usually the best (possibly the only) way • to prove results about recursively defined objects.
How to find a closed form for a recursively defined function? In general there is no ready to use recipe. Some simple cases are • Linear function of integer n: g1(n) = an+b g1(n+1) = a(n+1)+b= g1(n) + a • Quadratic function of integer n: g2(n) = an2+bn+c g2(n+1) = a(n+1)2+b(n+1)+c = g2(n) +2an+(a+b)
……..definition of composition …..by IH ….association of composition ……..definition of composition Example. Prove that for all positive integers m and n, Proof. Let m be arbitrary positive integer and then prove by induction on n1. 1) Basis. n=1: (by recursive definition of Rm+1) 2) IH: Assume that for some k 1 we have IS: We need to prove that
Proof. Denote . We need to prove that S satisfies the definition of transitive closure, i. e. i) S includes R, R S ii) S is transitive iii) S is the smallest relation satisfying i) and ii). Transitive closures again. Theorem. The transitiveclosure of R is ii) assume(x, y) S and (y, z) S to prove that (x, z) S. (x, y) S implies that (x, y) Rn, n is some integer, nZ+. (y, z) S implies that (y, z) Rm, m is some integer , nZ+. (x, z) Rno Rm= Rn+m, by the previous Theorem. (x, z) S , since Rn+mS
By the definition of S as , it suffices to prove that for any nZ+ (Rn T) We are going to prove it by induction on n 1. iii) Suppose T is any relation, satisfying i) RT and ii) T is transitive. and prove that S T . 1) Basis: when n=1, R1=RT by assumption. 2) IH: Assume that for n=k, where k is some integer, k 1, Rk T . IS: Need to prove Rk+1T Suppose (x, y) Rk+1=Rko R (by definition of composition). It implies that there exists some zA, that (x, z)Rk and (z, y)R. . (x, z)Rk implies (x, z)T , because Rk T by IH. (z, y)R implies (z, y)T , because RT by assumption. (x, z)T and (z, y)T imply (x, y)T by transitive property of T. We proved by induction that for any n 1, Rn T.
, n 2 Fibonacci Numbers The sequence named forFibonacci(1202) is introduced in terms of rabbits. Suppose that every month a breeding pair of rabbits produce a pair of offspring. The offspring in turn start breeding two months later, and so on. Denote Fn the number of pairs in month n. Suppose you buy a pair of rabbits in month 1 (F0=0, F1=1) then you still have one pair in month 2 (F2=1), but in month 3 they start breeding, F3=2. The sequence begins 0, 1, 1, 2, 3, 5, 8, 13, 21,… You can observe, that in a month n you have all pairs from the previous month (n1), plus offspring pairs for all pairs from month (n2), i. e. :
Let’s prove the closed formula for the sum for all integers n 0 ? 1) Basis. Take n=0 and check that By the recurrent formula for n =2 we have so F21=0 and F0=0. So, Fibonacci numbers can be defined recursively: These numbers have numerous applications in CS, mathematics, theory of games. Proof by induction on n 0.
2) IH: Assume that the summation formula is correct for n=k, where k is some integer k 0, i. e. IS: We need to prove that …………by IH ……..by recurrence formula for (k+3) >1
Strong Induction IP 2) n 0 [P (n) P (n+1)] 2) n 0 [(m n P (m)) P (n+1)] • Sometimes we need stronger assumption to prove IS. • It happens when to prove IS for (n +1) you need to refer not only • to the previous n , but to smaller numbers. Strong Induction Principle: Let AN denote a subset that satisfies the following two properties: 1) 0A; 2) if 0, 1, …kA, then k+1A. Then A=N. So, Strong Induction differs from Induction Principle in step 2):
As we proceed n n +1, we can not derive case n +1 from the case n (n+1)5 (n+1)4 n +1 n Example. Prove that every amount of postage of 12 cents or more can be formed using only 4 cent and 5 cent stamps. We are going to prove by induction on n 12, that any postage n = 5i + 4j, where integers i, j 0. We can infer n+1= 5i + 4j either from (n+1)5= 5(i 1)+ 4j or from (n+1)4= 5i + 4(j 1) We need to prove an extended basis here, that is to prove the basis on more then one point.
Proof. 1) Basis (extended): check that we can form postage of 12, 13, 14, and 15 cents using only 4c and 5c stamps. 12=43; 13=5+ 42; 14=52+4; 15=53. 2) IH: Assume that any postage 12, … k, where k 15 can be made using 4c and 5c stamps (strong induction) IS Prove that conjecture is true for the postage k +1. By IH any postage greater or equal then 12c and less or equal k can be formed using 4c and 5c stamps. In particular it is true for k 3. Together with one more 4c stamp it gives k +1 postage.
We already did this Theorem. The following three principles are equivalent: (a) the Induction Principle; (b) the Strong Induction Principle; and (c) the Well-Ordering principle. Proof. It suffices to prove (a)(b), (b)(c), and (c)(a).
Proof of (a)(b): Let AN and A satisfies the two properties: (1) 0A; and (2) if 0, 1, …kA then k+1A. We need to prove A=N. To make use of Induction Principle we define the auxiliary set C={m| mN and 0, 1, …mA}. Thus, C A N (3). Since 0A by (1), 0C by the definition of C. If kC, that is, 0, 1, …kA, then by the property (2) of the set A, k+1A, which implies that k+1C, because 0, 1, …k, k+1A. Thus, set Csatisfies the properties of the Induction Principle, so C=N. Therefore A=N because of (3).
Proof of (b)(c): Assume BN and B (4). Suppose the Well-Ordering Principle is false, i.e. suppose B does not have the smallest element (5). Prove that this leads to contradiction to the Strong Induction Principle. Let A=NB (6). By (5) 0B, thus 0A by (6). If the numbers 0, 1, …kA, then these numbers do not belong to B. Then k+1 does not belong to B, because otherwise it would be the smallest element of B contradicting to (5). Thus, k+1A and by the Strong Induction Principle A=N, which implies that B = by (6), contradicting to (4). So, (c) is proved.
Example. Prove that for all n 5. n Fn+1 0 1 1 1 1 1.5 2 2 2.25 3 3 3.375 4 5 5.0625 5 8 7.59375 6 13 11.390625 7 21 17.0859375 Basis
Fk+2= Fk+1+ Fk > (3/2)k + (3/2)k1 = (3/2)k 1((3/2)+1) = (3/2)k 1 (5/2) = (3/2)k 1 (10/4) > (3/2)k 1 (9/4) = (3/2)k 1(3/2)2 = (3/2)k+1 ……recursive definition …….IH for n=k and n=k1 ……algebra Proof by induction on n 5 that Fn+1>(3/2)n 1) Basis (extended) n=5: F6=8>(3/2)5 = 7.59375 n=6: F7= 13>(3/2)6 = 11.390625 2) IH : Assume that for all n=5, …k, where k is some integer k 6 we have Fn+1>(3/2)n (strong induction). IS : We need to prove inequality Fn+1>(3/2)n for n = k +1, i. e. Fk+2>(3/2)k+1