Beruflich Dokumente
Kultur Dokumente
Discrete Structures
Homework assignment 2, due Monday, January 26th
More on induction
Strong induction is a proof technique related to the kind of induction we saw in Lectures 12
and HW1. As with the standard kind of induction you know and love, we use strong induction
to prove claims of the form n b P (n):
The base case proceeds as in standard induction: Prove P (b).
In the inductive step, fix a value n > b, and prove that P (n) is true assuming that P (m)
is true for all m satisfying b m < n. This assumption is called the [strong] inductive
hypothesis.
Here is an example of a strong induction proof: Remember that a prime number p is an integer
2 whose only divisors are 1 and p. A number n 2 that is not prime is called composite, and
it is an elementary fact that every composite number is divisible by a prime number.
Let P (n) be the statement n is a product of prime numbers. We want to prove
that P (n) is true for all n 2.
(Base case.) P (2) is true because 2 is prime.
(Inductive step.) Now let n > 2. If n is prime, we are done. If n is composite,
then it is divisible by some prime number p, so we may factor n = p (n/p)
where n/p is an integer. Now, 2 n/p < n, so by the strong inductive
hypothesis, P (n/p) is true. Hence, n/p is a product of prime numbers, so n is
as well.
1. Consider the following function:
b : {all strings over the alphabet {0, 1}} Z0
given by b(0 1 d ) =
d
X
k 2k . For example,
k=0
b(01101) = 0 1 + 1 2 + 1 4 + 0 8 + 1 16 = 2 + 4 + 16 = 22.
Prove that b is surjective: For all n 0 there is a finite sequence s over {0, 1} such that
b(s) = n. Use strong induction.
2+1+1+1
2+2+1
3+1+1
3+2
4+1
Let Ak (n) be the set of partitions of n that have exactly k terms, and let Bk (n) be the
set of partitions whose largest term is k.
Explain how to construct a bijective function f : Ak (n) Bk (n) and how to construct
an inverse f 1 : Bk (n) Ak (n). Conclude that |Ak (n)| = |Bk (n)|.
Hint: Think of a good way to draw partitions.
c. We call a tiling of the 1 n strip with squares and dominoes self-symmetric if its
-equivalence class contains only itself. For example,