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

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

MAD 3105 PRACTICE TEST 2 SOLUTIONS

2MA105 Algebraic Structures I

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

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

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

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

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

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

Sets and Motivation for Boolean algebra

Multiple Choice Questions for Review

Combinational Logic Circuits Part II -Theoretical Foundations

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

Equivalence relations

Packet #5: Binary Relations. Applied Discrete Mathematics

1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices.

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

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.

Notes on ordinals and cardinals

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

Relations on Hypergraphs

Lecture 1: Lattice(I)

Just the Factors, Ma am HAROLD B. REITER.

Boolean Algebra CHAPTER 15

MA Discrete Mathematics

Solutions to Practice Final

Simplification by Truth Table and without Truth Table

Relations Graphical View

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

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

This form sometimes used in logic circuit, example:

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

Divisor Problems HAROLD B. REITER.

1 Basic Combinatorics

Boolean Algebra. Sungho Kang. Yonsei University

Simplification by Truth Table and without Truth Table

Algebraic structures I

Class Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21

The Karnaugh Map COE 202. Digital Logic Design. Dr. Muhamed Mudawar King Fahd University of Petroleum and Minerals

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

CSE 1400 Applied Discrete Mathematics Proofs

Logic Synthesis and Verification

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)

Discrete Mathematics. 2. Relations

Mobius Inversion on Partially Ordered Sets

Worksheet on Relations

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

Set Basics. P. Danziger

γ γ γ γ(α) ). Then γ (a) γ (a ) ( γ 1

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

On the Truth Values of Fuzzy Statements

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

118 PU Ph D Mathematics

CS Discrete Mathematics Dr. D. Manivannan (Mani)

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

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

Propositional Logic. What is discrete math? Tautology, equivalence, and inference. Applications

Simplification by Truth Table and without Truth Table

VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur

Symmetric chain decompositions of partially ordered sets

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

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

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

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

Introduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Math 13, Spring 2013, Lecture B: Midterm

USA Mathematical Talent Search Round 1 Solutions Year 27 Academic Year

Earlier this week we defined Boolean atom: A Boolean atom a is a nonzero element of a Boolean algebra, such that ax = a or ax = 0 for all x.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

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

Discrete Mathematics

Chapter 1 : The language of mathematics.

Introduction to Discrete Mathematics. Dr. Mark Fitch

Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps

Diskrete Mathematik Solution 6

MODERN APPLIED ALGEBRA

1 Boolean Algebra Simplification

Section 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B.

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

MATH1240 Definitions and Theorems

Chapter 1. Sets and Numbers

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

* 8 Groups, with Appendix containing Rings and Fields.

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

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

What you learned in Math 28. Rosa C. Orellana

ENG2410 Digital Design Combinational Logic Circuits

LATTICE AND BOOLEAN ALGEBRA

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

1 Fields and vector spaces

Exam Practice Problems

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 n 1 2 (and indeed log n grows more slowly than any positive power of n). 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. 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. 5. 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 (see the picture page). 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. 6. 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. 7. 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.) 8. 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. 9. Draw the Hasse diagram for the lattice D 18 consisting of the divisors of 18 with the partial order of divisibility. Solution: See picture page. 10. Given the following Karnaugh map of a Boolean function, write the function as an equivalent Boolean polynomial. Solution: (y z) (x y ). See picture page for the corresponding rectangles. 11. Construct the labeled tree of the algebraic expression (((x y) z) 3)/(19 + (x x)).

Solution: See picture page. 12. 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 the picture page), we see that f = y (x z).

13. 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. 14. 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 If (T, v 0 ) is a rooted tree on a set A, then the relation T is irreflexive. Solution: T. Theorem 2 in Section 7.1 (Otherwise, if vt v for some vertex v this creates a nonunique path from v 0 to v.) (d) T F If A = {1, 2, 3, 4, 5, 6} and R is the relation {(1, 2), (1, 4), (3, 5), (3, 6)}, then R is a tree on A. Solution: F. If R were a tree, then the root would be the unique element with in-degree 0. In this case, both 1 and 3 have in-degree 0, so R cannot be a tree. (e) T F If x is a Boolean variable, then x x = x. Solution: T. (f) T F If y is a Boolean variable, then y I = y. Solution: F. y I = I. (g) 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). (h) T F D 85 is a Boolean algebra. Solution: T. 85 = 5 17 is a product of distinct primes. (i) 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.

(j) 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. (k) T F f(n) = log 5 (n) is O(lg(n)). Solution: T. log 5 (n) = lg(n)/lg(5). (l) T F All the vertices of a complete binary tree have out-degree either 0 or 2. Solution: T. Every vertex of a complete 2-tree which is not a leaf (out-degree 0) has out-degree exactly 2. (m) T F Every vertex of a tree has in-degree 1. Solution: F. The root of a tree has in-degree 0, not 1. (n) T F If g is the mod-10 function, then g(405) = 4. Solution: F. g(405) = 5. (o) 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. 15. (a) Draw the digraph of the relation R on the set A in the previous problem, part (d). Solution: See picture page. (b) Now take the digraph you ve just drawn in the previous part and add a single arrow to form a new relation R on A so that R is a tree on A. Label the root of the tree R. Solution: There are 2 possible solutions: Draw an arrow from 1 to 3; in this case, 1 is the root. Or draw an arrow from 3 to 1; in this case, 3 is the root. 16. Consider the rooted tree (T, v 0 ) given below. (a) List all the level-2 vertices of the tree. Solution: v 4, v 5, v 6, v 7. (b) List all the leaves of the tree. Solution: v 1, v 12, v 9, v 5, v 10, v 11, v 7. (c) List all the siblings of v 3. Solution: v 1, v 2. (d) Draw the digraph of the subtree T (v 4 ) with root v 4. Solution: This is the subtree with vertices v 4, v 8, v 9, v 12.

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. Construct the digraph of the positional binary tree for the following doubly linked list. Label each vertex with the corresponding data. INDEX LEFT DATA RIGHT 1 11 0 2 10 M 7 3 0 Q 0 4 8 T 0 5 3 V 4 6 0 X 2 7 0 K 0 8 0 D 0 9 6 G 5 10 0 C 0 11 9 Y 0

Solution: See picture page. 20. 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) (,, )