Browse papers
A

Section A: Long Answer Questions

Attempt all / any as specified.

4 questions
1long12 marks

(a) Define a relation RR on a set AA. State the conditions for RR to be (i) reflexive, (ii) symmetric, (iii) anti-symmetric and (iv) transitive. Let A={1,2,3,4}A = \{1, 2, 3, 4\} and R={(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)}R = \{(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)\}. Determine whether RR is an equivalence relation, and if so, find the corresponding partition of AA. (6)

(b) For arbitrary sets AA, BB and CC, prove the distributive law A(BC)=(AB)(AC)A \cap (B \cup C) = (A \cap B) \cup (A \cap C) using the definition of set membership. Verify the same result using a Venn diagram. (6)

(a) Relations and Equivalence Relation

A relation RR on a set AA is any subset of the Cartesian product A×AA \times A; i.e. RA×AR \subseteq A \times A. We write aRbaRb (or (a,b)R(a,b)\in R) to mean aa is related to bb.

Properties: For all a,b,cAa,b,c \in A,

  • (i) Reflexive: (a,a)R(a,a) \in R for every aAa \in A.
  • (ii) Symmetric: if (a,b)R(a,b) \in R then (b,a)R(b,a) \in R.
  • (iii) Anti-symmetric: if (a,b)R(a,b) \in R and (b,a)R(b,a) \in R then a=ba = b.
  • (iv) Transitive: if (a,b)R(a,b) \in R and (b,c)R(b,c) \in R then (a,c)R(a,c) \in R.

Checking R={(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)}R = \{(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)\} on A={1,2,3,4}A=\{1,2,3,4\}:

  • Reflexive: (1,1),(2,2),(3,3),(4,4)(1,1),(2,2),(3,3),(4,4) are all present. ✔
  • Symmetric: The only off-diagonal pairs are (1,2)(1,2) and (2,1)(2,1), which occur together. ✔
  • Transitive: (1,2)&(2,1)(1,1)(1,2)\&(2,1)\Rightarrow(1,1) ✔; (2,1)&(1,2)(2,2)(2,1)\&(1,2)\Rightarrow(2,2) ✔; all other chains stay within reflexive pairs. ✔

Since RR is reflexive, symmetric and transitive, RR is an equivalence relation.

Partition (equivalence classes):

[1]={1,2}=[2],[3]={3},[4]={4}.[1] = \{1,2\} = [2], \quad [3] = \{3\}, \quad [4] = \{4\}.

The corresponding partition of AA is {{1,2}, {3}, {4}}\{\,\{1,2\},\ \{3\},\ \{4\}\,\}.

(b) Distributive Law A(BC)=(AB)(AC)A \cap (B \cup C) = (A \cap B) \cup (A \cap C)

Proof by membership (mutual inclusion):

Let xx be arbitrary.

xA(BC)    xA  x(BC)    xA  (xB  xC).x \in A \cap (B \cup C) \iff x \in A \ \wedge\ x \in (B \cup C) \iff x \in A \ \wedge\ (x \in B \ \vee\ x \in C).

Applying the distributive law of logic p(qr)(pq)(pr)p \wedge (q \vee r) \equiv (p \wedge q) \vee (p \wedge r):

    (xAxB)  (xAxC)    x(AB)  x(AC)    x(AB)(AC).\iff (x \in A \wedge x \in B) \ \vee\ (x \in A \wedge x \in C) \iff x \in (A \cap B) \ \vee\ x \in (A \cap C) \iff x \in (A \cap B) \cup (A \cap C).

Since every step is an equivalence, the two sets contain exactly the same elements, hence

A(BC)=(AB)(AC).A \cap (B \cup C) = (A \cap B) \cup (A \cap C). \qquad \blacksquare

Venn diagram verification: Draw three overlapping circles AA, BB, CC. Shade BCB \cup C (everything inside BB or CC); intersecting with AA leaves the parts of AA that overlap BB or CC. Separately shade ABA\cap B and ACA\cap C and take their union — the same regions are shaded. Both diagrams shade identical regions, confirming the identity.

set-theoryrelationsequivalence-relation
2long12 marks

(a) Without using truth tables, show that the compound proposition (pq)(pr)(p \rightarrow q) \wedge (p \rightarrow r) is logically equivalent to p(qr)p \rightarrow (q \wedge r). State the laws of logic used at each step. (6)

(b) Define a tautology and a contradiction. Translate the following statement into a logical expression using quantifiers and hence write its negation in words: "Every student in the class has solved at least one problem." Use appropriate predicates and clearly state the universe of discourse. (6)

(a) (pq)(pr)p(qr)(p \rightarrow q) \wedge (p \rightarrow r) \equiv p \rightarrow (q \wedge r)

Starting from the left-hand side and using the conditional-disjunction equivalence px¬pxp \rightarrow x \equiv \neg p \vee x:

(pq)(pr)(¬pq)(¬pr)(Conditional–disjunction / Implication law)¬p(qr)(Distributive law)p(qr).(Conditional–disjunction law, reverse)\begin{aligned} (p \rightarrow q) \wedge (p \rightarrow r) &\equiv (\neg p \vee q) \wedge (\neg p \vee r) && \text{(Conditional–disjunction / Implication law)}\\ &\equiv \neg p \vee (q \wedge r) && \text{(Distributive law)}\\ &\equiv p \rightarrow (q \wedge r). && \text{(Conditional–disjunction law, reverse)} \end{aligned}

Hence the two propositions are logically equivalent. \blacksquare

(b) Tautology, Contradiction and Quantified Translation

  • A tautology is a compound proposition that is true for every assignment of truth values to its variables (e.g. p¬pp \vee \neg p).
  • A contradiction is a compound proposition that is false for every assignment of truth values (e.g. p¬pp \wedge \neg p).

Translation of: "Every student in the class has solved at least one problem."

  • Universe of discourse: SS = set of students in the class; PP = set of problems.
  • Predicate: Solved(x,y)\text{Solved}(x, y) = "student xx has solved problem yy."

Logical expression:

xS  (yP    Solved(x,y)).\forall x \in S \;\big(\exists y \in P\;\; \text{Solved}(x, y)\big).

Negation:

¬xy  Solved(x,y)xy  ¬Solved(x,y).\neg \forall x\,\exists y\;\text{Solved}(x,y) \equiv \exists x\,\forall y\;\neg\text{Solved}(x,y).

In words: "There is at least one student in the class who has not solved any problem (has solved none of the problems)."

propositional-logicpredicate-logiclogical-equivalence
3long12 marks

(a) Solve the recurrence relation an=5an16an2a_n = 5a_{n-1} - 6a_{n-2} for n2n \ge 2, with the initial conditions a0=1a_0 = 1 and a1=0a_1 = 0, using the characteristic-equation method. (6)

(b) Find the particular and general solution of the non-homogeneous recurrence relation an3an1=2na_n - 3a_{n-1} = 2^n, n1n \ge 1, given a0=1a_0 = 1. (6)

(a) Solve an=5an16an2a_n = 5a_{n-1} - 6a_{n-2}, a0=1, a1=0a_0=1,\ a_1=0

Characteristic equation: assume an=rna_n = r^n:

r25r+6=0    (r2)(r3)=0    r=2, 3.r^2 - 5r + 6 = 0 \;\Rightarrow\; (r-2)(r-3)=0 \;\Rightarrow\; r = 2,\ 3.

Distinct roots, so the general solution is

an=A2n+B3n.a_n = A\,2^n + B\,3^n.

Apply initial conditions:

a0=A+B=1,a1=2A+3B=0.a_0 = A + B = 1, \qquad a_1 = 2A + 3B = 0.

From the first, A=1BA = 1 - B. Substituting: 2(1B)+3B=02+B=0B=22(1-B) + 3B = 0 \Rightarrow 2 + B = 0 \Rightarrow B = -2, hence A=3A = 3.

an=32n23n.\boxed{a_n = 3\cdot 2^n - 2\cdot 3^n.}

(Check: a0=32=1a_0 = 3-2 = 1 ✔, a1=66=0a_1 = 6-6 = 0 ✔.)

(b) Solve an3an1=2na_n - 3a_{n-1} = 2^n, a0=1a_0 = 1

Homogeneous solution: characteristic root of an3an1=0a_n - 3a_{n-1}=0 is r=3r = 3, so an(h)=C3na_n^{(h)} = C\,3^n.

Particular solution: since 22 is not a characteristic root, try an(p)=D2na_n^{(p)} = D\,2^n. Substituting:

D2n3D2n1=2n    2n1(2D3D)=2n    D2n1=2n.D\,2^n - 3D\,2^{n-1} = 2^n \;\Rightarrow\; 2^{n-1}(2D - 3D) = 2^n \;\Rightarrow\; -D\,2^{n-1} = 2^n.

Thus D=2-D = 2, giving D=2D = -2, so an(p)=22n=2n+1a_n^{(p)} = -2\cdot 2^n = -2^{n+1}.

General solution:

an=C3n2n+1.a_n = C\,3^n - 2^{n+1}.

Apply a0=1a_0 = 1: C2=1C=3C - 2 = 1 \Rightarrow C = 3.

an=3n+12n+1.\boxed{a_n = 3^{\,n+1} - 2^{\,n+1}.}

(Check: a0=32=1a_0 = 3-2 = 1 ✔; a1=94=5a_1 = 9-4 = 5, and recurrence gives 3a0+21=3+2=53a_0 + 2^1 = 3+2 = 5 ✔.)

recurrence-relationsgenerating-functions
4long10 marks

(a) Define an Euler circuit and a Hamiltonian circuit in a graph. State and justify the necessary and sufficient condition for a connected graph to possess an Euler circuit. Determine, with reasoning, whether the complete graph K5K_5 has an Euler circuit. (6)

(b) Define the chromatic number of a graph. Find the chromatic number of the complete bipartite graph K3,3K_{3,3} and justify your answer. (4)

(a) Euler and Hamiltonian Circuits

  • An Euler circuit is a closed walk that traverses every edge of the graph exactly once and returns to the starting vertex.
  • A Hamiltonian circuit is a closed walk that visits every vertex exactly once (except the start/end vertex) and returns to the starting vertex.

Necessary and sufficient condition (Euler's theorem): A connected graph has an Euler circuit if and only if every vertex has even degree.

Justification: In a closed trail, each time the walk enters a vertex through one edge it must leave through another unused edge, so edges at every vertex pair up — every vertex must have even degree. Conversely, if the graph is connected and all degrees are even, such a circuit can always be constructed (e.g. by Fleury's/Hierholzer's algorithm).

Is there an Euler circuit in K5K_5? In K5K_5 every vertex is joined to the other 4 vertices, so each vertex has degree 44, which is even. K5K_5 is connected and all degrees are even, therefore K5K_5 has an Euler circuit.

(b) Chromatic Number

The chromatic number χ(G)\chi(G) is the minimum number of colours needed to colour the vertices of GG so that no two adjacent vertices share the same colour.

χ(K3,3)\chi(K_{3,3}): K3,3K_{3,3} is bipartite with parts X={x1,x2,x3}X = \{x_1,x_2,x_3\} and Y={y1,y2,y3}Y = \{y_1,y_2,y_3\}; edges join XX to YY only. Colour all of XX with colour 1 and all of YY with colour 2 — no edge joins two same-coloured vertices. Since the graph has edges, 1 colour is impossible, so

χ(K3,3)=2.\chi(K_{3,3}) = 2.

In general every bipartite graph with at least one edge is 2-chromatic.

graph-theoryeuler-hamiltoniangraph-coloring
B

Section B: Short Answer Questions

Attempt all / any as specified.

8 questions
5short6 marks

Define injective, surjective and bijective functions. For the function f:RRf: \mathbb{R} \rightarrow \mathbb{R} defined by f(x)=3x5f(x) = 3x - 5, prove that ff is a bijection and find its inverse function f1f^{-1}.

Injective, Surjective, Bijective

For a function f:ABf: A \rightarrow B:

  • Injective (one-to-one): distinct inputs give distinct outputs — f(x1)=f(x2)x1=x2f(x_1) = f(x_2) \Rightarrow x_1 = x_2.
  • Surjective (onto): every yBy \in B has some xAx \in A with f(x)=yf(x) = y.
  • Bijective: both injective and surjective (a one-to-one correspondence), and therefore invertible.

f(x)=3x5f(x) = 3x - 5, f:RRf:\mathbb{R}\to\mathbb{R} is a bijection

Injective: Suppose f(x1)=f(x2)f(x_1) = f(x_2). Then

3x15=3x253x1=3x2x1=x2.3x_1 - 5 = 3x_2 - 5 \Rightarrow 3x_1 = 3x_2 \Rightarrow x_1 = x_2.

Hence ff is injective.

Surjective: Take any yRy \in \mathbb{R}. Choose x=y+53Rx = \dfrac{y+5}{3} \in \mathbb{R}. Then

f(x)=3 ⁣(y+53)5=(y+5)5=y.f(x) = 3\!\left(\tfrac{y+5}{3}\right) - 5 = (y+5) - 5 = y.

So every yy is attained, and ff is surjective.

Being both injective and surjective, ff is a bijection.

Inverse function: Let y=3x5x=y+53y = 3x - 5 \Rightarrow x = \dfrac{y+5}{3}. Therefore

f1(x)=x+53.f^{-1}(x) = \frac{x+5}{3}.
functionsinjective-surjective-bijective
6short6 marks

Using the principle of mathematical induction, prove that for every positive integer nn:

12+22+32++n2=n(n+1)(2n+1)6.1^2 + 2^2 + 3^2 + \cdots + n^2 = \frac{n(n+1)(2n+1)}{6}.

Proof by Mathematical Induction

Claim: P(n): 12+22++n2=n(n+1)(2n+1)6P(n):\ 1^2 + 2^2 + \cdots + n^2 = \dfrac{n(n+1)(2n+1)}{6} for all integers n1n \ge 1.

Basis step (n=1n=1):

LHS=12=1,RHS=1236=1.\text{LHS} = 1^2 = 1, \qquad \text{RHS} = \frac{1\cdot 2 \cdot 3}{6} = 1.

So P(1)P(1) holds.

Inductive step: Assume P(k)P(k) is true for some k1k \ge 1:

12+22++k2=k(k+1)(2k+1)6.(inductive hypothesis)1^2 + 2^2 + \cdots + k^2 = \frac{k(k+1)(2k+1)}{6}. \quad \text{(inductive hypothesis)}

We show P(k+1)P(k+1):

i=1k+1i2=k(k+1)(2k+1)6+(k+1)2=(k+1)[k(2k+1)6+(k+1)].\sum_{i=1}^{k+1} i^2 = \frac{k(k+1)(2k+1)}{6} + (k+1)^2 = (k+1)\left[\frac{k(2k+1)}{6} + (k+1)\right].

Combine the bracket over 6:

=(k+1)k(2k+1)+6(k+1)6=(k+1)2k2+7k+66.= (k+1)\cdot \frac{k(2k+1) + 6(k+1)}{6} = (k+1)\cdot \frac{2k^2 + 7k + 6}{6}.

Factor 2k2+7k+6=(k+2)(2k+3)2k^2 + 7k + 6 = (k+2)(2k+3):

=(k+1)(k+2)(2k+3)6=(k+1)((k+1)+1)(2(k+1)+1)6.= \frac{(k+1)(k+2)(2k+3)}{6} = \frac{(k+1)\big((k+1)+1\big)\big(2(k+1)+1\big)}{6}.

This is exactly P(k+1)P(k+1).

Conclusion: By the principle of mathematical induction, the formula holds for every positive integer nn. \blacksquare

mathematical-inductionproofs
7short6 marks

(a) State the Pigeonhole Principle. Show that among any 13 people, at least two of them are born in the same month. (3)

(b) In how many ways can a committee of 3 men and 2 women be formed from a group of 7 men and 5 women? (3)

(a) Pigeonhole Principle

Statement: If nn objects are placed into mm boxes and n>mn > m, then at least one box contains two or more objects. (More generally, some box holds at least n/m\lceil n/m \rceil objects.)

Application: Treat the 12 months as boxes (pigeonholes) and the 13 people as objects (pigeons). Since 13>1213 > 12, by the pigeonhole principle at least one month must contain at least two people. Hence among any 13 people, at least two are born in the same month. \blacksquare

(b) Committee Selection

Choose 3 men from 7 and 2 women from 5 (independent choices, multiply):

(73)(52)=7!3!4!5!2!3!=35×10=350.\binom{7}{3}\binom{5}{2} = \frac{7!}{3!\,4!}\cdot\frac{5!}{2!\,3!} = 35 \times 10 = 350.

There are 350\boxed{350} ways to form the committee.

countingcombinatoricspigeonhole-principle
8short6 marks

(a) Find the coefficient of x5y3x^5 y^3 in the expansion of (2xy)8(2x - y)^8 using the Binomial Theorem. (3)

(b) How many distinct arrangements can be made from the letters of the word "MISSISSIPPI"? (3)

(a) Coefficient of x5y3x^5 y^3 in (2xy)8(2x - y)^8

By the Binomial Theorem, the general term of (2x+(y))8(2x + (-y))^8 is

(8k)(2x)8k(y)k.\binom{8}{k}(2x)^{8-k}(-y)^{k}.

For x5y3x^5 y^3 we need 8k=58-k = 5 and k=3k = 3, so k=3k = 3:

(83)(2x)5(y)3=5625x5(1)3y3=5632(1)x5y3=1792x5y3.\binom{8}{3}(2x)^{5}(-y)^{3} = 56 \cdot 2^5 x^5 \cdot (-1)^3 y^3 = 56 \cdot 32 \cdot (-1)\, x^5 y^3 = -1792\, x^5 y^3.

The coefficient of x5y3x^5 y^3 is 1792\boxed{-1792}.

(b) Arrangements of "MISSISSIPPI"

The word has 11 letters with repetitions: MM = 1, II = 4, SS = 4, PP = 2. The number of distinct arrangements is

11!1!4!4!2!=39916800124242=399168001152=34650.\frac{11!}{1!\,4!\,4!\,2!} = \frac{39\,916\,800}{1\cdot 24\cdot 24\cdot 2} = \frac{39\,916\,800}{1152} = 34\,650.

There are 34,650\boxed{34{,}650} distinct arrangements.

countingbinomial-theorempermutations
9short6 marks

Define a spanning tree and a minimum spanning tree of a weighted connected graph. Using Kruskal's algorithm, find a minimum spanning tree and its total weight for the graph with the following edge weights: AB=4, AC=3, BC=2, BD=5, CD=6, CE=4, DE=1AB=4,\ AC=3,\ BC=2,\ BD=5,\ CD=6,\ CE=4,\ DE=1. Show the order in which edges are selected.

Spanning Tree and Minimum Spanning Tree

  • A spanning tree of a connected graph GG is a subgraph that is a tree (connected, acyclic) and includes all vertices of GG. For nn vertices it has exactly n1n-1 edges.
  • A minimum spanning tree (MST) of a weighted connected graph is a spanning tree whose total edge weight is the smallest among all spanning trees.

Kruskal's Algorithm

Vertices {A,B,C,D,E}\{A,B,C,D,E\} (so the MST will have 51=45-1 = 4 edges). Sort edges by weight:

EdgeWeight
DE1
BC2
AC3
AB4
CE4
BD5
CD6

Process in increasing order, adding an edge only if it does not form a cycle:

  1. DE (1) — add. Components: {D,E}, ... ✔
  2. BC (2) — add. Components: {B,C}, {D,E} ✔
  3. AC (3) — add (joins A to {B,C}). ✔ → {A,B,C}
  4. AB (4) — A and B already connected → forms a cycle, reject.
  5. CE (4) — add (joins {A,B,C} to {D,E}). ✔ → all 5 vertices connected.

Now 4 edges selected; stop.

MST edges (in order selected): DE, BC, AC, CEDE,\ BC,\ AC,\ CE.

Total weight: 1+2+3+4=101 + 2 + 3 + 4 = \boxed{10}.

treesspanning-treegraph-algorithms
10short6 marks

State the basic postulates of Boolean algebra. Using Boolean algebra laws, simplify the expression F=xyz+xyz+xyF = x'y'z + x'yz + xy' and draw the logic circuit for the simplified expression.

Basic Postulates of Boolean Algebra

For a Boolean algebra over {0,1}\{0,1\} with operations ++ (OR), \cdot (AND) and ' (NOT):

  • Identity: x+0=xx + 0 = x,   x1=x\;x \cdot 1 = x.
  • Complement: x+x=1x + x' = 1,   xx=0\;x \cdot x' = 0.
  • Commutative: x+y=y+xx + y = y + x,   xy=yx\;x \cdot y = y \cdot x.
  • Distributive: x(y+z)=xy+xzx(y + z) = xy + xz,   x+yz=(x+y)(x+z)\;x + yz = (x+y)(x+z).
  • (Derived) Identity element existence 00 and 11, and closure under +,,+,\cdot,'.

Simplify F=xyz+xyz+xyF = x'y'z + x'yz + xy'

F=xyz+xyz+xy=xz(y+y)+xy(factor xz)=xz(1)+xy(y+y=1)=xz+xy.\begin{aligned} F &= x'y'z + x'yz + xy'\\ &= x'z(y' + y) + xy' && \text{(factor }x'z\text{)}\\ &= x'z(1) + xy' && (y' + y = 1)\\ &= x'z + xy'. \end{aligned} F=xz+xy.\boxed{F = x'z + xy'.}

Logic Circuit (described)

The simplified expression F=xz+xyF = x'z + xy' uses two NOT gates, two 2-input AND gates and one 2-input OR gate:

  • NOT gate 1: input xx → output xx'.
  • NOT gate 2: input yy → output yy'.
  • AND gate 1: inputs xx' and zz → output xzx'z.
  • AND gate 2: inputs xx and yy' → output xyxy'.
  • OR gate: inputs xzx'z and xyxy' → output FF.
x ──┬─────────────────┐
    │                 │
    └─[NOT]─x'─┐    [AND]──xy'──┐
z ────────────┴[AND]─x'z─┐     │
                         └──[OR]── F
y ──[NOT]─y'─────────────────────┘
boolean-algebralogic-gates
11short6 marks

(a) Define the adjacency matrix of a graph. Write the adjacency matrix for a simple undirected graph GG with vertices {v1,v2,v3,v4}\{v_1, v_2, v_3, v_4\} and edges {v1v2,v2v3,v3v4,v4v1,v1v3}\{v_1v_2, v_2v_3, v_3v_4, v_4v_1, v_1v_3\}. (3)

(b) State the conditions under which two graphs are said to be isomorphic. (3)

(a) Adjacency Matrix

The adjacency matrix of a simple undirected graph on nn vertices is the n×nn \times n matrix A=[aij]A = [a_{ij}] where aij=1a_{ij} = 1 if there is an edge between viv_i and vjv_j, and aij=0a_{ij} = 0 otherwise. For a simple undirected graph it is symmetric with zero diagonal.

Edges: {v1v2, v2v3, v3v4, v4v1, v1v3}\{v_1v_2,\ v_2v_3,\ v_3v_4,\ v_4v_1,\ v_1v_3\}. Adjacencies:

  • v1v_1: v2,v3,v4v_2, v_3, v_4
  • v2v_2: v1,v3v_1, v_3
  • v3v_3: v1,v2,v4v_1, v_2, v_4
  • v4v_4: v1,v3v_1, v_3
A=(0111101011011010)A = \begin{pmatrix} 0 & 1 & 1 & 1\\ 1 & 0 & 1 & 0\\ 1 & 1 & 0 & 1\\ 1 & 0 & 1 & 0 \end{pmatrix}

(rows/columns ordered v1,v2,v3,v4v_1,v_2,v_3,v_4).

(b) Conditions for Graph Isomorphism

Two graphs G1=(V1,E1)G_1 = (V_1,E_1) and G2=(V2,E2)G_2 = (V_2,E_2) are isomorphic if there exists a bijection f:V1V2f: V_1 \rightarrow V_2 that preserves adjacency: (u,v)E1    (f(u),f(v))E2(u,v) \in E_1 \iff (f(u), f(v)) \in E_2.

Necessary conditions (must all match — used to test isomorphism):

  1. Same number of vertices.
  2. Same number of edges.
  3. Same degree sequence (same number of vertices of each degree).
  4. Preservation of structural invariants (e.g. same number of cycles/connected components, corresponding subgraphs).

If an adjacency-preserving bijection exists, the graphs are isomorphic.

graph-theorygraph-representationisomorphism
12short4 marks

Define a partially ordered set (poset). Draw the Hasse diagram for the poset (D12,)(D_{12}, \mid), where D12D_{12} is the set of all positive divisors of 12 and \mid denotes the "divides" relation.

Partially Ordered Set (Poset)

A poset is a set SS together with a relation \preceq that is reflexive, anti-symmetric and transitive:

  • Reflexive: aaa \preceq a;
  • Anti-symmetric: aba \preceq b and baa=bb \preceq a \Rightarrow a = b;
  • Transitive: aba \preceq b and bcacb \preceq c \Rightarrow a \preceq c.

It is denoted (S,)(S, \preceq).

Hasse Diagram of (D12,)(D_{12}, \mid)

Divisors of 12: D12={1,2,3,4,6,12}D_{12} = \{1, 2, 3, 4, 6, 12\}, ordered by "aba \mid b" (aa divides bb).

Covering relations (draw bb above aa with an edge when aba \mid b and nothing lies strictly between):

  • 11 is covered by 22 and 33.
  • 22 is covered by 44 and 66.
  • 33 is covered by 66.
  • 44 is covered by 1212.
  • 66 is covered by 1212.

Hasse diagram (bottom = 1, top = 12):

          12
         /  \
        4    6
        |   / \
        |  /   3
        | /   /
        2    /
         \  /
          1

More precisely, edges are: 1 ⁣ ⁣21\!-\!2, 1 ⁣ ⁣31\!-\!3, 2 ⁣ ⁣42\!-\!4, 2 ⁣ ⁣62\!-\!6, 3 ⁣ ⁣63\!-\!6, 4 ⁣ ⁣124\!-\!12, 6 ⁣ ⁣126\!-\!12. The least element is 11 and the greatest element is 1212.

relationspartial-orderhasse-diagram

Frequently asked questions

Where can I find the BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) question paper 2078?
The full BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2078 (regular) question paper is available free on Kekkei. You can read every question online and attempt the paper under timed exam conditions.
Does the Discrete Structure (IOE, CT 551) 2078 paper come with solutions?
Yes. Every question on this Discrete Structure (IOE, CT 551) past paper includes a step-by-step solution, plus instant AI feedback when you attempt it on Kekkei.
How many marks is the BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2078 paper?
The BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2078 paper carries 80 full marks and is meant to be completed in 180 minutes, across 12 questions.
Is practising this Discrete Structure (IOE, CT 551) past paper free?
Yes — reading and attempting this Discrete Structure (IOE, CT 551) past paper on Kekkei is completely free.