Hello, dear friend, you can consult us at any time if you have any questions, add WeChat: zz-x2580
COMP9020 Assignment
Submission is through inspera. Prose should be typed, not handwritten.
Discussion of assignment material with others is permitted, but the work submitted must be your
own in line with the University’s plagiarism policy.
Problem 1 (18 marks)
For x, y ∈ Z we define the set:
Sx,y = {mx + ny : m, n ∈ Z}.
(a) Give six elements of S4,6. 3 marks
(b) Give six elements of S9,−15. 3 marks
For the following questions, let d = gcd(x, y) and z be the smallest positive number in Sx,y, or 0 if there
are no positive numbers in Sx,y.
(c) Show that Sx,y ⊆ {n : n ∈ Z and d|n}. 4 marks
(d) Show that d ≤ z. 2 marks
(e) Show that z|x and z|y (Hint: consider (x % z) and (y % z)). 4 marks
(f) Show that z ≤ d. 2 marks
Remark
The result that there exists m, n ∈ Z such that mx + ny = gcd(x, y) is known as Bézout’s Identity.
Problem 2 (12 marks)
For all x, y ∈ Z with y > 1:
(a) Prove that if gcd(x, y) = 1 then there is at least one w ∈ [0, y) ∩N such that wx =(y) 1.
(Hint: Use Bézout’s identity) 4 marks
(b) Prove that if gcd(x, y) = 1 and y|kx then y|k. 4 marks
(c) Prove that if gcd(x, y) = 1 then there is at most one w ∈ [0, y) ∩N such that wx =(y) 1. 4 marks
Problem 3 (4 marks)
Prove that for all m, n ∈N>0 with n ≤ m:
3
2
(
n + (m % n)
)
< m + n. 4 marks
1
Problem 4 (8 marks)
Let Σ = {0, 1}. For each of the following, prove that the result holds for all sets X, Y, Z ⊆ Σ∗, or provide a
counterexample to disprove:
(a) (X ∩Y)∗ = X∗ ∩Y∗ 4 marks
(b) X(Y ∪ Z) = (XY) ∪ (XZ) 4 marks
Problem 5 (12 marks)
(a) List all possible functions f : {a, b, c} → {0, 1}, that is, all elements of {0, 1}{a,b,c}. 4 marks
(b) Describe a connection between your answer for (a) and Pow({a, b, c}). 4 marks
(c) Describe a connection between your answer for (a) and {w ∈ {0, 1}∗ : length(w) = 3}. 4 marks
Problem 6 (6 marks)
Show that for any sets A, B, C there is a bijection between A(B×C) and (AB)C. 6 marks
Problem 7 (12 marks)
Let S be a set.
(a) Show that for any set T and any function f : S → T, the relation R f ⊆ S× S, defined as:
(s, s′) ∈ R f if and only if f (s) = f (s′)
is an equivalence relation. 6 marks
(b) Show that if R ⊆ S× S is an equivalence relation, then there exists a set T and a function fR : S → T
such that:
(s, s′) ∈ R if and only if fR(s) = fR(s′)
6 marks
Problem 8 (16 marks)
Let B = {0, 1} and consider the function f : N→ B given by
f (n) =
{
1 if n > 0,
0 otherwise.
(a) Show that for all a, b ∈N:
(i) f (a + b) = max{ f (a), f (b)} 2 marks
(ii) f (ab) = min{ f (a), f (b)} 2 marks
2
From Problem 7, we know that R f ⊆N×N, the relation given by:
(m, n) ∈ R f if and only if f (m) = f (n)
is an equivalence relation. Let E ⊆ Pow(N) be the set of equivalence classes of R f , and for n ∈ N, let
[n] ∈ E denote the equivalence class of n.
We would like to define binary operations, ⊞ and ⊡, on E as follows:
[x] ⊞ [y] := [x + y]
[x] ⊡ [y] := [xy].
The difficulty is that the operands [x] and [y] can have multiple representations (e.g. if z ∈ [x] then
[x] = [z]), and so it is not clear that such a definition makes sense: if we take a different representation of
the operands, do we still end up with the same result? For example, suppose [1] = [2]. Then we would
want [1]⊞ [1] = [2]⊞ [2], but with the proposed definition above, we would have [1]⊞ [1] = [2], and
[2]⊞ [2] = [4], and it is by no means clear that [2] = [4].
Our next step is to show that such a definition makes sense.
(b) Define relations ⊞,⊡ ⊆ E2 ×E as follows:
((X, Y), Z) ∈ ⊞ if and only if there is x, y ∈N such that X = [x], Y = [y] and Z = [x + y]
((X, Y), Z) ∈ ⊡ if and only if there is x, y ∈N such that X = [x], Y = [y] and Z = [xy]
(i) Show that ⊞ is a function. 3 marks
(ii) Show that ⊡ is a function. 3 marks
Part (b) shows that the informal definition of ⊞ and ⊡ given earlier is well-defined, so from now we will
view ⊞ and ⊡ as binary operations on E, that is ⊞,⊡ : E×E→ E.
Show that for all A, B, C ∈ E:
(c) A⊡ [1] = A 2 marks
(d) A⊞ B = B⊞ A 2 marks
(e) A⊡ (B⊞ C) = (A⊡ B)⊞ (A⊡ C) 2 marks
Remark
Objects that have a concept of “addition” (⊞) and “multiplication” (⊡) where:
• addition and multiplication are associative,
• both operations have identities (see 8(c)),
• addition is commutative (see 8(d)), and
• multiplication distributes over addition (see 8(e))
are known as semirings. We have already seen a number of semirings in this course:
• The natural numbers with usual addition and multiplication,
• Integers modulo n with addition and multiplication modulo n,
• Subsets of a set X with union and intersection,
• Languages with union and concatenation (see 4(b)),
• Binary relations with union and relational composition (see Formatif Task 3.1(HD)),
• Matrices with matrix addition and matrix multiplication.
3
Problem 9 (12 marks)
Eight houses are lined up on a street, with four on each side of the road as shown:
Each house wants to set up its own wi-fi network, but the wireless networks of neighbouring houses – that
is, houses that are either next to each other (ignoring trees) or over the road from one another (directly
opposite) – can interfere, and must therefore be on different channels. Houses that are sufficiently far
away may use the same wi-fi channel. Your goal is to find the minimum number of different channels the
neighbourhood requires.
• Model this as a graph problem. Remember to:
(a) Clearly define the vertices and edges of your graph. 4 marks
(b) State the associated graph problem that you need to solve. 2 marks
(c) Give the solution to the graph problem corresponding to this scenario; and determine the minimum
number of wi-fi channels required for the neighbourhood? 2 marks
(d) How do your answers to (a)–(c) change if a house’s wireless network can also interfere with those of
the houses to the left and right of the house over the road? 4 marks
4
Advice on how to do the assignment
Collaboration is encouraged, but all submitted work must be done individually without consulting some-
one else’s solutions in accordance with the University’s “Academic Dishonesty and Plagiarism” policies.
• Assignments are to be submitted in inspera.
• When giving answers to questions, we always would like you to prove/explain/motivate your an-
swers. You are being assessed on your understanding and ability.
• Be careful with giving multiple or alternative answers. If you give multiple answers, then we will
give you marks only for your worst answer, as this indicates how well you understood the question.
• Some of the questions are very easy (with the help of external resources). You may make use of
external material provided it is properly referenced1 – however, answers that depend too heavily on
external resources may not receive full marks if you have not adequately demonstrated ability/un-
derstanding.
• Questions have been given an indicative difficulty level:
Pass Credit Distinction High distinction
This should be taken as a guide only. Partial marks are available in all questions, and achievable by
students of all abilities.
1Proper referencing means sufficient information for a marker to access the material. Results from the lectures or textbook can be
used without proof, but should still be referenced.
