VOOZH about

URL: https://www.geeksforgeeks.org/quizzes/partial-order-and-lattices/

ā‡± Quiz about Partial Order and Lattices for GATE

Last Updated :
Discuss
Comments

Question 1

A partial order ā‰¤ is defined on the set S= {x, a1, a2,.....an, y} as x < ai for all i and ai ā‰¤ y for all i, where nā‰„1. The number of total orders on the set S which contain the partial order ā‰¤ is

  • n!

  • n+2

  • n

  • 1

Question 2

Let (5, ā‰¤) be a partial order with two minimal elements a and b, and a maximum element c. 

Let P : S ā†’ {True, False} be a predicate defined on S.
Suppose that P(a) = True, P(b) = False and 
P(x) ā‡’ P(y) for all x, y āˆˆ S satisfying x ā‰¤ y, 
where ā‡’ stands for logical implication.

Which of the following statements CANNOT be true ?

  • P(x) = True for all x āˆˆ S such that x ā‰  b

  • P(x) = False for all x āˆˆ S such that x ā‰  a and x ā‰  c

  • P(x) = False for all x āˆˆ S such that b ā‰¤ x and x ā‰  c

  • P(x) = False for all x āˆˆ S such that a ā‰¤ x and b ā‰¤ x

Question 3

A partial order P is defined on the set of natural numbers as follows. Here x/y denotes integer division.
i. (0, 0) āˆŠ P.
ii. (a, b) āˆŠ P if and only if a % 10 ā‰¤ b % 10 and (a/10, b/10) āˆŠ P.
Consider the following ordered pairs:
i. (101, 22)
ii. (22, 101)
iii. (145, 265)
iv. (0, 153)
Which of these ordered pairs of natural numbers are contained in P?

  • (i) and (iii)

  • (ii) and (iv)

  • (i) and (iv)

  • (iii) and (iv)

Question 4

šŸ‘ Image
 

The minimum number of ordered pairs that need to be added to R to make (X, R) a lattice is _____.

  • 0

  • 1

  • 2

  • 3

Question 5

Consider the following Hasse diagrams.

šŸ‘ Image
 

Which all of the above represent a lattice?

  • (i) and (iv) only

  • (ii) and (iii) only

  • (iii) only

  • (i), (ii) and (iv) only

Question 6

The following is the Hasse diagram of the poset [Tex]\left[\{a,b,c,d,e\},ā‰ŗ\right][/Tex]
 

šŸ‘ Image
 

The poset is

  • not a lattice

  • a lattice but not a distributive lattice

  • a distributive lattice but not a Boolean algebra

  • a Boolean algebra

Question 7

Which of the following statements is/are True for a group G?

  • If for all x, y āˆˆ G, (xy)Ā² = xĀ²yĀ², then G is commutative.

  • If for all x āˆˆ G, x2 = 1, then G is commutative. Here, 1 is the identity element of G.

  • If the order of G is 2, then G is commutative.

  • If G is commutative, then a subgroup of G need not be commutative.

Question 8

Given a set of values R={1,2,3,4,5,6,7}, What is the number of relations on this set which is both partial-order and equivalence relation?

  • 0

  • 1

  • 2

  • 3

Question 9

Consider a partially ordered set (T, ā‰¤) with two minimal elements, p and q, and a maximum element r. Let a predicate Q : T ā†’ {True, False} be defined on T such that:

  1. Q(p) = True
  2. Q(q) = False
  3. Q(u) ā‡’ Q(v) for all u, v āˆˆ T such that u ā‰¤ v, where ā‡’ represents logical implication.

Which of the following statements CANNOT be true?

  • Q(x) = True for all x āˆˆ T such that x ā‰  q.

  • Q(x) = False for all x āˆˆ T such that x ā‰  p and x ā‰  r.

  • Q(x) = False for all x āˆˆ T such that q ā‰¤ x and x ā‰  r.

  • Q(x) = False for all x āˆˆ T such that p ā‰¤ x and q ā‰¤ x.

Question 10

Consider a partially ordered set (S, ā‰¼) with two minimal elements, a and b, and a maximum element c. A predicate P : S ā†’ {True, False} is defined on S with the following rules:

  1. P(a) = True
  2. P(b) = False
  3. P(x) ā‡’ P(y) for all x, y āˆˆ S such that x ā‰¼ y, where ā‡’ denotes logical implication.

Based on this, determine which of the following statements can be true:

  • P(s) = True for all s āˆˆ S such that s ā‰  b.

  • P(s) = False for all s āˆˆ S such that s ā‰  a and s ā‰  c.

  • P(s) = False for all s āˆˆ S such that b ā‰¼ s and s ā‰  c.

  • P(s) = False for all s āˆˆ S such that a ā‰¼ s and b ā‰¼ s.

Tags:

There are 10 questions to complete.

Take a part in the ongoing discussion