GATE1997-6.1

Question

A partial order $≤$ is defined on the set $S=\left \{ x, a_1, a_2, \ldots, a_n, y \right \}$ as $x$ $\leq _{i}$ $a_{i}$ for all $i$ and $a_{i}\leq y$ for all $i$, where $n ≥ 1$. The number of total orders on the set S which contain the partial order $≤$ is

• A. $n!$
• B. $n+2$
• C. $n$
• D. $1$

Answer 1

To make this partial order a total order, we need the relation to hold for every two element of the partial order. Currently between any $a_i$ and $a_j,$ there is no relation. So, for every $a_i, a_j,$ we have to add either $(a_i, a_j)$ or $(a_j, a_i)$ in total order. So, this translates to giving an ordering for $n$ elements between $x$ and $y,$ which can be done in $n!$ ways. So, answer is (a).

The bottom figure is for a total order. We can permute the $a_i$ from $i = 1$ to $n,$ and each permutation will also be a total order containing the given partial order. 

Comments

Answer to this is (C) i.e n. An order is set in which every two elements are comparable. So we can not take two or more than two ai in a TOSET as you have shown above. Tosets that are possible will be {x,a1,y},{x,a2,y}........{x,an,y}. So only 'n' tosets are possible.

To back up this argument we can also state a qoute from wikipedia that "maximum number of chains that an order can be divided into is ATMOST k, where k is the width of the lattice which here is n.

---

The question asks for NUMBER of total orders possible. {x, a1, a2, ... an, y} where there element at position i ≤ element at position i+1, is one such TOSET. Similarly, we can have {x, a2, a1, a3, ... an, y} which is another TOSET with the same relation. Both of these TOSET contains the given POSET in question. In this way we can permute a1..an in any order and each permutation will be a new TOSET and will contain the given POSET.

---

OK I got it..I was instead dividing the POSET into maximum number of TOSETS that it can be divided into with the same relation.

But question asks for TOSETs that contain the given POSET in it.

Thank You..

---

Agreed

---

arjun sir,what is meant by the TOSET will contain the given poset?? how is it retained in the TOSET??Can you explain??

---

@Arjun. Its not that we have to order it in chain. Its that in how many ways we can have x1, x2......,xn arranged in between 'a' and 'b' so that the given partial order is preserved.

---

@Arjun Sir, I think the given ans fails for subset operation on Powerset of set A={a,b}.

where <= means subset operation

P(A)=S={phi,{a},{b},{a,b}}

Here x=Phi a1={a} a2={b} y=A

we know {a} is not subset of {b} and vice versa. so both can't present in TOSET.

But u told in ur ans...a1 and a2 both can present simultaneously in n! order..which contradicts with above example.

---

let A={0,1,2,3,∞}

here x=0, y=∞, a₁=1, a₂=2, a₃=3.

∞                                      ∞

|                                        |

1                and                 3

|                                        |

2                                       1

|                                         |

3                                       2

|                                        |

0                                       0

is a Toset                       is also a Toset 

bcz as mentiond in question , ≤ is applicable only for (x,a₁) and (a₃,y), however a₁, a₂, a₃ (1,2,3) can be permutate in any order (3!=6) as long as x has leat value and y has greatest value in the set. same thing applicable for your query, i think. 

---

In question it is given that

x ≤ a_i for all i and a_i ≤ y for all i, 

---

  Rajesh Pradhan in ques they dont mention any relationship between a(i) and a(j) so u can arrange in any order

---

@Rajesh, Its mentioned in question about the partial order ≤ & analysis has to be done wrt that only. Dont change the Poset. Hope it clears your doubt.

---

Are we doing n! Permutations because relation between any ai and aj is not specified in question ???

---

We are doing n!, because in the question it is given that

The number of total orders on the set S which contain the partial order ≤ is

Cond 1: it should be TOSET:-

So, as per the definiition of the toset it should contain all the elements of the set,

 Cond 2: it should satisfy the relation x <= a_i <= y.

That's why from cond 1 we have to take all n elements with x and y, and from cond 2 we can arrange in any order i.e. n!.

Hence, it is n! is the answer.

---

x is related to all a's and all a's are related to y in the partial order given. So x is the lowest element and y the top most. The a's can be arranged in any way which is n!

---

A partial order relation is total order , when it satisfies comparibility, means $a\leqslant b$ or $b\leqslant a$ . Then how poset looking like $a_{1},a_{2},.......$ has no relation between them? example https://math.stackexchange.com/questions/599086/total-order-relation

Answer 2

The given POSET is drawn as shown in the best answer here. To make this into a TOSET, we have to make it a chain. So, connect all the a's together, and link one end of the "a chain" with x, and the other end with y.

The whole "a chain" can be made in $n!$ ways, and x and y are fixed.

So, possible Total orders = $n!$

Option A