Exam 2. Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one, since for c A, g(b) = g(c) = c. g is not onto, since a / g(a).

Similar documents
Discrete Structures: Solutions to Sample Questions, Exam 2

Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one, since for c A, g(b) = g(c) = c. g is not onto, since a / g(a).

Discrete Structures, Final Exam

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Sets and Motivation for Boolean algebra

Equivalence relations

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

MAD 3105 PRACTICE TEST 2 SOLUTIONS

Discrete Mathematics. 2. Relations

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

2MA105 Algebraic Structures I

The least element is 0000, the greatest element is 1111.

Multiple Choice Questions for Review

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

Section Summary. Relations and Functions Properties of Relations. Combining Relations

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

Packet #5: Binary Relations. Applied Discrete Mathematics

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Answer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D.

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

Solutions to Practice Final

Lecture 1: Lattice(I)

Relations. Relations. Definition. Let A and B be sets.

Chapter 1. Sets and Numbers

Relations Graphical View

Week 4-5: Binary Relations

Set Basics. P. Danziger

Foundations of algebra

Week 4-5: Binary Relations

Algebraic structures I

Notes on ordinals and cardinals

Contribution of Problems

Simplification by Truth Table and without Truth Table

MA Discrete Mathematics

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Contribution of Problems

Combinational Logic Circuits Part II -Theoretical Foundations

Chapter 1 : The language of mathematics.

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)

Boolean Algebra. Sungho Kang. Yonsei University

Logic Synthesis and Verification

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009

CSE 1400 Applied Discrete Mathematics Proofs

Simplification by Truth Table and without Truth Table

Prime and irreducible elements of the ring of integers modulo n

Writing Assignment 2 Student Sample Questions

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Exercises for Discrete Maths

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

RYERSON UNIVERSITY DEPARTMENT OF MATHEMATICS

On the Truth Values of Fuzzy Statements

1.A Sets, Relations, Graphs, and Functions 1.A.1 Set a collection of objects(element) Let A be a set and a be an elements in A, then we write a A.

This form sometimes used in logic circuit, example:

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

Math 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False.

MATH 420 FINAL EXAM J. Beachy, 5/7/97

Math 13, Spring 2013, Lecture B: Midterm

118 PU Ph D Mathematics

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.

The number of ways to choose r elements (without replacement) from an n-element set is. = r r!(n r)!.

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Just the Factors, Ma am HAROLD B. REITER.

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b.

Logic, Set Theory and Computability [M. Coppenbarger]

Boolean Algebra CHAPTER 15

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

Relations on Hypergraphs

On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

Quiz 1. Directions: Show all of your work and justify all of your answers.

Relations. Definition 1 Let A and B be sets. A binary relation R from A to B is any subset of A B.

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Math 3000 Section 003 Intro to Abstract Math Final Exam

Simplification by Truth Table and without Truth Table

DISCRETE MATH: FINAL REVIEW

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

Part IA. Numbers and Sets. Year

(vi) xry iff x y 2 (see the previous exercise); (iii) xry iff xy 0;

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

Groups that Distribute over Stars

CS Discrete Mathematics Dr. D. Manivannan (Mani)

3. R = = on Z. R, S, A, T.

1. (B) The union of sets A and B is the set whose elements belong to at least one of A

1. Foundations of Numerics from Advanced Mathematics. Mathematical Essentials and Notation

Transcription:

Discrete Structures: Exam 2 Solutions to Sample Questions, 1. Let A = B = {a, b, c}. Consider the relation g = {(a, b), (b, c), (c, c)}. Is g one-to-one? Is g onto? Why? Solution: g is not one-to-one, since for c A, g(b) = g(c) = c. g is not onto, since a / g(a). 2. Consider f : Z + Z + defined by f(a) = a 2. Is f one-to-one? Is f onto? Why? Solution: f is one-to-one, since if f(a) = f(b) for a, b Z +, then a 2 = b 2. Therefore, since elements of Z + are positive, then we have a = b and thus f is one-to-one. f is not onto. For example, 2 is not in the image f(z + ). 3. Put the following functions in order from lowest to highest in terms of their Θ classes. (Some of the functions may be in the same Θ class. Indicate that on your list also.) (a) f 1 (n) = n log n, (b) f 2 (n) = n 3 2, (c) f 3 (n) = 10,000, (d) f 4 (n) = n(n + log n), (e) f 5 (n) = 3 n, (f) f 6 (n) = 2 n+2, (g) f 7 (n) = 0.0001. Solution: These are listed from lowest to highest, with functions with the same Θ class listed on the same line: f 3 (n) = 10,000, f 7 (n) = 0.0001. f 1 (n) = n log n. f 2 (n) = n 3 2, f 4 (n) = n(n + log n). f 6 (n) = 2 n+2.

f 5 (n) = 3 n. Why? f 3 (n) and f 7 (n) are both constants, which is the lowest order of growth. f 1 (n) = n log n, while f 2 (n) = n 3 2. f 1 (n) has lower growth order since f 1 (n) = n log n and f 2 (n) = n n 1 2 and log n grows more slowly than (and indeed log n grows more slowly than any positive power of n). n 1 2 f 2 (n) and f 4 (n) are in the same Θ class, since n+log n is in the Θ class of n. (This is since log n has slower order of growth than n.) Therefore, f 4 (n) = n(n + log n) has the same Θ class as n n = n 3 2. f 6 (n) and f 5 (n) are both of higher Θ class than n 3 2, since any exponential function with base > 1 grows faster than any power of n. f 5 (n) = 3 n has higher Θ class than f 6 (n) = 2 n+2, since f 6 (n) = 4 2 n has the same Θ class as 2 n, and the Θ class of 3 n is higher than that of 2 n since the bases 3 > 2. 4. The following arrays describe a relation R on the set A = {1, 2, 3, 4, 5}. Compute both the digraph of R and the matrix M R. VERT = [6, 2, 8, 7, 10] TAIL = [2, 2, 2, 2, 1, 1, 4, 3, 4, 5] HEAD = [4, 3, 5, 1, 2, 3, 5, 4, 2, 4] NEXT = [3, 1, 4, 0, 0, 5, 9, 0, 0, 0] Answer: M R = 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0. Digraph:

5. Given the partition P = {{1, 2}, {3}, {4, 5}} of the set A = {1, 2, 3, 4, 5}, consider R the associated equivalence relation on A. Draw the digraph associated to R and write down the matrix M R. Answer: Digraph: M R = 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1. 6. Let S = {x, y, z}, and consider the set P (S) with relation R given by set inclusion. Is R a partial order? Why or why not? (Carefully check

the conditions needed for a relation to be a partial order.) Is R a linear order? Again carefully check the conditions for R to be a linear order. Solution: R is a partial order (i.e., R is reflexive, antisymmetric, and transitive). Recall elements A, B P (S) are subsets A, B S. Then, ARB if and only if A B. R is reflexive since A A always. R is antisymmetric since if A B and B A, then A = B. R is transitive since if A B and B C, then A C. R is not a linear order. In a linear order, each two elements are comparable. In particular {x}, {y} P (S) are not comparable, so that R is not a linear order. 7. Show that (P (S), R) from the previous problem is isomorphic to the poset D 42 of divisors of 42 with relation given by divisibility. Solution 1: Here is a quick proof: Since S has 3 elements (P (S), ) is isomorphic to the Boolean algebra B 3. Since 42 = 2 3 7 is the product of 3 distinct primes, then D 42 is also isomorphic to B 3. It follows that (P (S), ) and D 42 are isomorphic since the condition of 2 posets being isomorphic is an equivalence relation (and is thus transitive). Solution 2: One can also draw the Hasse diagrams: An explicit one-to-one correspondence that preserves the partial orders is the following (there are other such correspondences as well): {x, y, z} 42, {x, y} 6, {x, z} 14, {y, z} 21, {x} 2, {y} 3, {z} 7, 1.

8. Consider the relation on A = {a, b, c, d, e}. R = {(a, a), (a, c), (b, c), (c, d), (e, a), (d, b)}. Draw the corresponding digraph. Use Warshall s algorithm to compute the matrix M R. Show all the intervening steps. Answer: Digraph: Compute

W 0 = M R = W 1 = W 2 = W 3 = W 4 = M R = W 5 = W 4. 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 9. Is there an infinite poset with a least element? Either write down an example or prove that this is impossible.,,,,, Solution: (Z +, ) is an infinite poset with least element 1. 10. Which of the following Hasse diagrams represent lattices?

Solution: (I), (III) and (IV) are lattices, for each pair of elements has a least upper bound and a greatest lower bound. (This fails in (II), since a and b do not have a least upper bound.) 11. For the examples in the previous problem, which represent finite Boolean algebras? Solution: Only (I) represents a finite Boolean algebra. (It is isomorphic to B 2.) (II) does not since it is not even a lattice. (III) does not since it has 5 2 n elements. (IV) is not since there are no complements to each element: The unit element I = f and the zero element 0 = i clearly. But given h, for example, there is no complement element h which satisfies GLB(h, h ) = 0 and LUB(h, h ) = I: Check each element: GLB(f, h) = GLB(g, h) = GLB(h, h) = h 0, while LUB(h, i) = h I. 12. Draw the Hasse diagram for the lattice D 18 consisting of the divisors of 18 with the partial order of divisibility. Solution:

13. Given the following Karnaugh map of a Boolean function, write the function as an equivalent Boolean polynomial. Solution: (y z) (x y ). See below for the corresponding rectangles: 14. Let x, y, z be Boolean variables. Use the rules of Boolean algebra (or a truth table with Karnaugh map) to simplify the following expression. Your answer should be as simple as possible. (x z) (y (y z)) ((x y ) z )

Solution 1: Let f = (x z) (y (y z)) ((x y ) z ) and compute f = (x z) y (x y z ) [Simplify y (y z)] = y (x z) (x y z ) [ is commutative] = y (x (z (y z ))) [ is distributive over ] = y (x ((z y ) (z z ))) [ is distributive over ] = y (x ((z y ) I)) = y (x (z y )) = (y x) (y (z y )) [ is distributive over ] = (y x) ((y y ) z) [ is commutative and associative] = (y x) (y z) = y (x z) [ is distributive over ] Solution 2: Again let f = (x z) (y (y z)) ((x y ) z ) and compute the truth table x y z y z x z y z y (y z) x y (x y ) z f 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 From the associate Karnaugh map (see below), we see that f = y (x z).

15. If b = 1011 B 4, write down the minterm E b in terms of the Boolean variables x 1, x 2, x 3, x 4. Solution: x 1 x 2 x 3 x 4. 16. True/False. Circle T or F. No explanation needed.

(a) T F If f is a one-to-one function from an infinite set A to itself, then f must be onto. Solution: F. Problem 2 provides a counterexample. (b) T F If g is a one-to-one function from a finite set A to itself, then g must be onto. Solution: T. Use Theorem 4 in Section 5.1. (c) T F Let A = Z + the set of positive integers. Define the relation R on A by arb if and only if a b. R is transitive. Answer: T If a b and b c, then b = sa and c = tb for s, t Z. Therefore, c = tb = t(sa) = (ts)a and so a c. (d) T F R the relation from (c) is symmetric. Answer: F 2 4 but 4 2, so this is not always true. (e) T F R the relation from (c) is asymmetric. Answer: F The statement a b = b a is not true in the case a = b. (f) T F R the relation from (c) is antisymmetric. Answer: T If a b and b a, then a = b. This is kind of obvious, but a proof goes like this: Since a b, b = sa for s Z +. Similarly, a = tb for t Z + since b a. Therefore, a = tb = t(sa) = (ts)a, and so ts = 1. Since t and s are both positive integers, they must both equal 1. Therefore, a = tb = (1)b = b. (g) T F R the relation from (c) is irreflexive. Answer: F In fact a a is false for all a Z +. (h) T F R the relation from (c) is an equivalence relation. Answer: F It is not symmetric (though it is transitive and reflexive). (i) T F If x is a Boolean variable, then x x = x. Solution: T. (j) T F If y is a Boolean variable, then y I = y. Solution: F. y I = I. (k) T F Let B = {0, 1} with the standard partial order and let A = B B B with the product partial order. Then A is isomorphic as a lattice to D 60. Solution: F. A is a Boolean algebra, while D 60 is not (this is because 60 = 2 2 3 5 has the prime 2 repeated in its prime decomposition). (l) T F D 85 is a Boolean algebra. Solution: T. 85 = 5 17 is a product of distinct primes. (m) T F Every finite lattice has a least element. Solution: T. If the elements of the lattice are a 1,..., a n, then a 1 a n is the least element.

(n) T F Every poset has a greatest element. Solution: F. For example, the poset (R, ) has no greatest element; i.e., there is no largest real number. (o) T F f(n) = log 5 (n) is O(lg(n)). Solution: T. log 5 (n) = lg(n)/lg(5). (p) T F If g is the mod-10 function, then g(405) = 4. Solution: F. g(405) = 5. (q) T F If x and y are Boolean variables, then (x y) = x y. Solution: F. DeMorgan s Laws state that (x y) = x y. (r) T F Given the digraph of a relation R on A, the digraph of the inverse relation R 1 is given by reversing the direction of each arrow in the digraph. Answer: T br 1 a exactly when arb. This amounts to reversing the arrows in the digraph. (s) T F Given the digraph of a relation R on A, the digraph of complementary relation R is given by reversing the direction of each arrow in the digraph. Answer: F The relation R is formed by erasing all the arrows in the digraph and putting in all the arrows which were not originally there. (t) T F If R is a reflexive relation, then the connectivity relation R is equal to the reachability relation R. Answer: T If R is reflexive, then it must contain every pair (a, a). Recall R is the relation given by ar b if and only if there is a path of positive length from a to b. R is the relation given by ar b if and only if ar b or a = b. Since R is reflexive, there is a path of length 1 from each a to itself. So ar a for all a A, and so the extra condition in R is automatically satisfied already in R and R = R. 17. Consider the relation R on A = {1, 2, 3, 4} given by the matrix 1 1 1 0 M R = 0 1 1 0 0 1 1 0. 0 0 0 1

Is R a partial order? Why or why not? Solution: R is not a partial order since R is not antisymmetric (2R3 and 3R2 but 2 3.) 18. Consider the poset (A, ) given by the following Hasse diagram. (a) List all the minimal elements of (A, ). Solution: g. (b) List all the upper bounds of B = {c, d} A. Solution: b, c. (c) List a pair of incomparable elements of A (if such a pair exists). Solution: a, c and d, e are incomparable pairs (you only need to write down one of the two pairs). (d) Is (A, ) a lattice? Why or why not? Solution: (A, ) is not a lattice since GLB(a, c) does not exist (d, e, f, g are all lower bounds, but there is no greatest element among them). Similarly, LUB(d, e) does not exist. 19. Let A = {, q, 1}, with partial order determined by q < 1 <. Put the following elements of A A A in lexigraphic order: (q, q, 1), (q, 1, ), (,, q), (q, q, q), (, 1, 1), (1,, q), (q, 1, 1), (,, ) Solution: (q, q, q) (q, q, 1) (q, 1, 1) (q, 1, ) (1,, q) (, 1, 1) (,, q) (,, )