Unformatted text preview: n . 3. Deﬁne a set M ⊆ Z 2 as follows (1) (3 , 2) ∈ M (2) If ( x,y ) ∈ M , then (3 x2 y,x ) ∈ M Use structural induction to prove that elements of M always have the form (2 k +1 + 1 , 2 k + 1), where k is a natural number. (The point of this problem is to learn how to use structural induction, so you may not rephrase this into a normal proof by induction on k .) 4. The Fibonacci trees T k are a special sort of binary trees that are deﬁned as follows. Base: T 1 and T 2 are binary trees with only a single vertex. Induction: For any n ≥ 3, T n consists of a root node with T n1 as its left subtree and T n2 as its right subtree. Use structural induction to prove that the height of T n is n2, for any n ≥ 2. (Again, use structural induction rather than looking for an explicit induction variable n .) 1...
View
Full
Document
This note was uploaded on 04/11/2010 for the course CSC CSC236 taught by Professor Farzanazadeh during the Spring '10 term at University of Toronto.
 Spring '10
 FarzanAzadeh

Click to edit the document details