GateAI
Discrete Mathematics

GATE CSE 2017 Set 2 · Q21

NAT1 markEasy

Time

Consider the set X={a,b,c,d,e}X = \{a,b,c,d,e\} under the partial ordering R={(a,a),(a,b),(a,c),(a,d),(a,e),(b,b),(b,c),(b,e),(c,c),(c,e),(d,d),(d,e),(e,e)}.R = \{(a,a),(a,b),(a,c),(a,d),(a,e),(b,b),(b,c),(b,e),(c,c),(c,e),(d,d),(d,e),(e,e)\}. The Hasse diagram of the partial order (X,R)(X,R) is shown below. The minimum number of ordered pairs that need to be added to RR to make (X,R)(X,R) a lattice is _________ .

GATE CSE 2017 Set 2 Q21 diagram

Your answerNumerical answer

Enter a value to check

Solution

Step-by-step verified solution

Official answer: 0 (±0.01) (±0.01)

Discrete Mathematics

A partially ordered set (X,R)(X, R) is a lattice if every pair of elements has a unique least upper bound (LUB / join, ∨\vee) and a unique greatest lower bound (GLB / meet, ∧\wedge).

Let us verify whether every pair of elements in (X,R)(X, R) already has a unique LUB and GLB:

  1. Pairs involving aa or ee:

    • aa is the least element (bottom), so for any x∈Xx \in X, a∧x=aa \wedge x = a and a∨x=xa \vee x = x.

    • ee is the greatest element (top), so for any x∈Xx \in X, e∧x=xe \wedge x = x and e∨x=ee \vee x = e.

  2. Pair {b,c}\{b, c\}:

    • Since b≤cb \le c, b∧c=bb \wedge c = b and b∨c=cb \vee c = c.

  3. Pair {b,d}\{b, d\}:

    • Lower bounds of {b,d}\{b, d\}: {a}  ⟹  b∧d=a\{a\} \implies b \wedge d = a.

    • Upper bounds of {b,d}\{b, d\}: {e}  ⟹  b∨d=e\{e\} \implies b \vee d = e.

  4. Pair {c,d}\{c, d\}:

    • Lower bounds of {c,d}\{c, d\}: {a}  ⟹  c∧d=a\{a\} \implies c \wedge d = a.

    • Upper bounds of {c,d}\{c, d\}: {e}  ⟹  c∨d=e\{e\} \implies c \vee d = e.

Since every pair of elements in XX already has a unique GLB and a unique LUB, the given poset (X,R)(X, R) is already a lattice.

Therefore, the minimum number of ordered pairs that need to be added is 0.

Try the question first, then check your work.

Think the official key or this write-up is wrong?

Report error or challenge

Examiner trap

The misconception this question tests

This Discrete Mathematics previous year question is Q21 of the GATE CSE 2017 Set 2 paper. Find more GATE CSE PYQs on Discrete Mathematics in Engineering Mathematics, or browse all GATE CSE PYQs.

Free diagnostic

Where do you stand for GATE?

Take the 20-minute diagnostic: the 3 topics that cost you the most marks, and a rank range. Or sit 5 related Discrete Mathematics PYQs now with no account.

One GATE CSE PYQ every morning

An official question by email at 7 AM IST, with a link to its verified solution. Unsubscribe in one click.

Discrete Mathematics in GATE CSE

Discrete Mathematics has 50 GATE CSE PYQs across 23 papers from 2011 to 2026. 10 of them are 1-mark NAT questions like this one, and GATE CSE 2017 Set 2 has 3.

How GATE tests Discrete Mathematics

More from GATE CSE 2017 Set 2

Share this solution

A plain-text card for WhatsApp or Telegram study groups.

GateAI solution cardGATE CSE 2017 Set 2 · Q21 · NAT

Consider the set X = {a,b,c,d,e} under the partial ordering R = {(a,a),(a,b),(a,c),(a,d),(a,e),(b,b),(b,c),(b,e),(c,c),(c,e),(d,d),(d,e),(e,e)}. The Hasse diagram of the partial order (X,R) is shown below. The minimum number of ordered pairs that need to be added to R to make (X,R) a lattice is …

Topic-wise GATE CS PYQs with verified steps

Independent practice explanation verified by the GateAI team. GATE is conducted by the IITs; question text follows the official paper.