0% found this document useful (0 votes)
10 views6 pages

CS 5002 Fall 2024 Problem Set #3

The document outlines Problem Set #3 for the CS 5002 course at Northeastern University, due on October 3, 2024. It consists of five problems, with the first three to be completed individually and the last two in groups, emphasizing the importance of original work and understanding in the solution process. Specific instructions for submission format and guidelines on collaboration and academic integrity are also provided.

Uploaded by

chen.sizhi
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
10 views6 pages

CS 5002 Fall 2024 Problem Set #3

The document outlines Problem Set #3 for the CS 5002 course at Northeastern University, due on October 3, 2024. It consists of five problems, with the first three to be completed individually and the last two in groups, emphasizing the importance of original work and understanding in the solution process. Specific instructions for submission format and guidelines on collaboration and academic integrity are also provided.

Uploaded by

chen.sizhi
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

Northeastern University

CS 5002 – Discrete Structures


Fall 2024 Semester, Timothy Edmunds

Problem Set #3

This Problem Set is due at 11:59 pm Pacific time on 2024-10-03, and will be submitted on Canvas.

This Problem Set is worth 6% of the final course grade. There are five problems.

Problems #1 and #2 and #3 are to be completed individually, while Problems #4 and #5 are to
be completed in your assigned small groups.

Please type (or neatly handwrite) your solutions on standard 8.5 × 11 (or A4) paper, with your name(s)
at the top of each solution. Ensure that you submit five separate PDF files on Canvas, one for each
problem. Make sure you label your Problem Set #1 submissions appropriately - e.g. [Link],
[Link], [Link], [Link], [Link].

Given that the last two problems are done in a group, your final two PDF files will be identical to
some of your classmates. (For example, [Link] might be identical to [Link] and bethany1-
[Link]). This is completely fine, and enables you to have a record of all of your submitted work in this
course.

While a solution must be absolutely perfect to receive full marks, I will be generous in awarding partial
marks for incomplete solutions that demonstrate progress.

So that there is no ambiguity, there are two non-negotiable rules. A violation of either rule constitutes
plagiarism and will result in you receiving an F for this course.

(a) If you meet with a classmate to discuss one of the Problems, the articulation of your thought process
(i.e., what you submit to me), must be an individual activity, done in your own words, away from
others. Please remember that the solution-writing process is where so much of your learning will
occur in this course - even more than the time you spend on solving the problems. Do not be
surprised if it takes you 3 to 5 times as long to write up a solution as it takes you to actually solve
the problem.

(b) This Problem Set has been designed to be challenging, because struggling through problems is how
we learn best. When stuck on a problem, it can be helpful to get a small hint that will allow you to
make some progress without robbing you of the opportunity to solve the problem. Online searches,
and even well-intentioned classmates, may be unable to provide you with just a small insight. If
you need support/a small hint, the best plan is to post your query on the Canvas discussion forum.
I will be readily available during office hours, or by appointment.
CS 5002, Fall 2024 Semester, Timothy Edmunds – Problem Set #3 2

Problem #1 – INDIVIDUAL
(a) For each of the following Venn diagrams, shade the indicated regions corresponding to the provided
expression.

For part (a), only the final answer is required; no justification or explanation is necessary.

Note: recall that the notation for sets is slightly different from the notation for boolean expres-
sions. As a result, think of A∆B as the same thing as A⊕B, and think of A as the same thing as ¬A.

(b) Let A = {1, 2, 3, 4, 5}, B = {3, 4, 5, 6, 7}, and C = {5, 6, 7, 8, 9}. Determine the sets A ∪ (B − C)
and (A ∪ B) − (A ∪ C), clearly showing your work. And then using any method of your choice (e.g.
Venn diagram, set logic rules), clearly explain why A∪(B −C) is not equivalent to (A∪B)−(A∪C).

(c) Let A = {1, 2, 3, 4, 5}, B = {3, 4, 5, 6, 7}, and C = {5, 6, 7, 8, 9}. Determine the sets A ∩ (B − C)
and (A ∩ B) − (A ∩ C), clearly showing your work. And then using any method of your choice (e.g.
Venn diagram, set logic rules), clearly explain why A ∩ (B − C) is equivalent to (A ∩ B) − (A ∩ C).
CS 5002, Fall 2024 Semester, Timothy Edmunds – Problem Set #3 3

Problem #2 – INVIDIVIDUAL
Throughout this question, we let

X = {apple, banana, cherry, date}


Y = {cherry, date, elderberry, fig, grapefruit}.

(a) Determine each of the following sets: X ∪ Y , X ∩ Y , X − Y , Y − X, and X∆Y .

For part (a), only the final answer is required; no justification or explanation is necessary.

(b) For each set S, let |S| be the cardinality of that set, i.e., the number of elements in that set. For
example, |X| = 4 and |Y | = 5.

Let P (X) and P (Y ) denote the power sets of X and Y , respectively.

Clearly explain why |P (X)| = 16, |P (Y )| = 32, and |P (X) ∩ P (Y )| = 4.

(c) Using any method of your choice (e.g. logical reasoning, Venn diagram), explain why |S ∪ T | =
|S| + |T | − |S ∩ T | for any two sets S and T . (This is known as the Inclusion-Exclusion Principle.)

Finally, apply the Inclusion-Exclusion Principle to determine the number of elements in the set
P (X) ∪ P (Y ).
CS 5002, Fall 2024 Semester, Timothy Edmunds – Problem Set #3 4

Problem #3 – INDIVIDUAL
In this question, define A to be the set of all students whose first name contains the letter “a”, E to be
the set of all students whose first name contains the letter “e”, and R to be the set of all students whose
first name contains the letter “r”.

Some students appear in more than one set. For example, IJEOMA is an element of both A and E,
and RACHEL is an element of all three sets. On the other hand, JINGJING appears in none of the sets.

(a) For each of CHEN, ETHAN, FLORENCE, FRANCIS, JINGJING, PAUL, RACHEL, ZONGRUI,
place their name inside the correct region of the Venn diagram.

For part (a), only the final answer is required; no justification or explanation is necessary.

(b) A class of students once had |A| = 10, |E| = 8, |R| = 7, |A ∩ E ∩ R| = 1, and |A ∩ E ∩ R| = 0.

Without knowing anything about this particular class, you can say “I know with 100% certainty
that there had to be at least m students in the class and at most M students in the class”.

Determine the values of m and M , and clearly justify why these answers are correct.

(c) Suppose we determined sets A, E, R by looking at the first names of all 8 billion people in the
world. These would be very big sets!!

Of the eight different regions of the Venn diagram, which region would contain the MOST number
of people, and which region would contain the FEWEST number of people? Explain your answers,
clearly stating any assumptions you are making to determine your answers.

(NOTE: any reasonable and clearly-explained justification will earn full marks. No online research
is required to solve this problem!)
CS 5002, Fall 2024 Semester, Timothy Edmunds – Problem Set #3 5

Problem #4 – GROUP
(a) Determine the number of squares and rectangles, of all sizes, that appear in a 4 by 4 unit square.
Solve this problem by considering all of the possible cases (e.g. 1 × 1, 1 × 2, 1 × 3, etc.) and carefully
counting the number of squares/rectangles for each case. Don’t solve it some other way!

(b) Richard has received four free tickets to a Justin Bieber concert, and decides to give them away:
to two of his Canadian friends, and two of his non-Canadian friends.

His Canadian friends are Adam, Bethany, Chris, Diana, Edwin.

His non-Canadian friends are Florence, Giorgio, Herieth, Irina, and Jeremiah.

Determine the number of different ways Richard can give out the four tickets, clearly explain-
ing how this problem can be solved by considering a Cartesian Product.

(c) Clearly and carefully explain why the above two problems must give the same answer.

To do this, let S1 be the set of solutions to the Counting Problem in part (a) and let S2 be
the set of solutions to the Ticket Problem in part (b).

Prove that |S1 | = |S2 | by showing that each x ∈ S1 maps to a unique y ∈ S2 , and each y ∈ S2 maps
to a unique x ∈ S1 .
CS 5002, Fall 2024 Semester, Timothy Edmunds – Problem Set #3 6

Problem #5 – GROUP
If you know how to analyze sets, then you know how to calculate probabilities. To illustrate, say
S = {10, 11, 12, . . . , 98, 99}. Let T be the subset of S containing all of the elements with first digit
5. Then T = {50, 51, 52, 53, 54, 55, 56, 57, 58, 59}. It’s not too hard to show that |S| = 90 and |T | = 10.

If I am going to pick one number at random from the set S = {10, 11, 12, . . . , 98, 99}, and I ask you
to determine the probability that the first digit of this number will be equal to 5, then you could imme-
diately conclude that the answer is |T | 10 1
|S| = 90 = 9 .

(a) Suppose someone picks one number at random from the set S = {100, 101, 102, . . . , 998, 999}. De-
termine the probability that at least one of the three digits in this number will be equal to 5.

(b) Suppose someone picks one number at random from the set S = {1000, 1001, 1002, . . . , 9998, 9999}.
Determine the probability that at least one of the four digits in this number will be equal to 5.

(c) Suppose someone picks one number at random from the set S = {10n−1 , 10n−1 + 1, 10n−1 +
2, . . . , 10n − 1}. Determine the probability that at least one of the n digits in this number will
be equal to 5. (Your final answer will be an expression in terms of the variable n.)

Common questions

Powered by AI

Analyzing language patterns using set theory, such as classifying names by letter presence, showcases complex interactions across overlapping sets. These intersections reveal phonetic trends, commonalities, and absences within population samples, providing insights into linguistic distribution and diversity, while enabling systematic categorization through intersections and unions .

Power sets' cardinalities follow 2^n, where n is the original set's size (|X| = 4, |Y| = 5), resulting in 16 and 32. |P(X) ∩ P(Y)| indicates subsets common to both powers, reflecting shared elements' subsets. Given identical environments, this count includes only subsets containing mutual elements, mirroring natural intersections .

The inclusion-exclusion principle accounts for the potential double-counting of elements that are present in both sets S and T. By adding the cardinalities of individual sets, |S| and |T|, and subtracting the cardinality of their intersection |S ∩ T|, the formula accurately counts each unique element across both sets without redundancy .

The solution-writing process is emphasized as a key learning component in this course because it forces students to articulate and structure their thought processes individually, away from external help, thus solidifying their understanding. This practice encourages deeper cognitive engagement and reflection, enabling students to internalize problem-solving strategies more effectively than if they merely resolved problems mechanically without further articulation .

Set theory aids in probability by delineating favorable outcomes from the total. For example, calculating the probability of a digit '5' appearing involves defining sets of numbers with '5' as a digit and using cardinality principles to determine proportions, akin to |T| / |S|, where set T includes numbers matching criteria, demonstrating how subsets represent probabilities .

The minimal number of students m is determined by the union of three sets A, E, and R, which requires calculating the sums of individual cardinalities, subtracting all pairwise intersections, and adding back the three-way intersection. Given |A| = 10, |E| = 8, |R| = 7, |A ∩ E ∩ R| = 1, using the principle |A ∪ E ∪ R| = |A| + |E| + |R| - |A ∩ E| - |A ∩ R| - |E ∩ R| + |A ∩ E ∩ R| provides a way to derive minimal m. Maximal M considers the scenario where all distinct elements coexist, equaling the sums without redundancy yet determined by known intersections .

AΔB represents the symmetric difference between sets A and B, which is analogous to the XOR (exclusive OR) operation in Boolean algebra, denoted as A⊕B. Both operations include elements that are in either of the sets, but not in their intersection. Recognizing this analogy helps students understand and employ set operations with clarity, leveraging their knowledge of Boolean expressions to interpret set definitions effectively .

The equivalence arises from conceptual mapping: counting squares/rectangles in a grid involves selecting pairs of parallel lines defining edges, similar to distributing tickets among categories (Canadian and non-Canadian friends) which involves combinatorial selection of subsets. This bijection ensures each geometrical selection corresponds to a unique distribution pattern, thus establishing |S1| = |S2| through a direct, invertible relationship .

Logically deducing population distribution in Venn diagrams employs calculating overlaps and distinct areas using cardinal relationships and assumption-based reasoning to affirm proportions. Recognizing frequent properties, such as name letter distributions, predictions leverage probabilistic modeling or empirical analogy, aiding in theoretically sound justifications .

A ∪ (B − C) and (A ∪ B) − (A ∪ C) differ due to the sequence of operations impacting element inclusion. For A ∪ (B − C), you first remove elements of C from B, resulting in {3, 4}, then unite with A to get {1, 2, 3, 4, 5}. In contrast, (A ∪ B) − (A ∪ C) initially forms {1, 2, 3, 4, 5, 6, 7} and then excludes those also in A ∪ C, resulting in {1, 2}. These operations illustrate the non-commutative nature of set operations .

You might also like