CSCI 333 Homework 1

This homework is not graded. It is practice for Quiz 1.

Problem 1

For each of the following relations, prove if the relation is reflexive, symmetric, antisymmetric, and transitive. All of these relations are taken over the set of positive integers.

1. For integers a and b, a R b if and only if a < b+333.
2. For integers a and b, a R b if and only if a+333 < b.
3. For integers a and b, a R b if and only if a equals 333.
4. For integers a and b, a R b if and only if a+b equals 333.

Problem 2

Use induction to prove that the function defined by the following recurrence relation:

• T(0) = 1
• T(n) = T(n-1) + 2, for n ≥ 1

has the closed form solution

• T(n) = 2 n + 1