Machine-translated by Google. Questions are authored in English.
Top

Discrete Mathematics Questions and Answers

1.

A binary relation \(R\) on \(\mathbb{N} \times \mathbb{N}\) is defined as follows: \((a,b)R(c,d)\) if \(a \le c\) or \(b \le d\). Consider the following propositions:

P: \(R\) is reflexive
Q: \(R\) is transitive

Which one of the following statements is TRUE?

Exam Year(s)

GATE CS - 2016,

Answer: B

P is true and Q is false: \(R\) is reflexive but not transitive.

Reflexive: \((a,b)R(a,b)\) holds because \(a \le a\).

Not transitive: take \((1,5)R(2,1)\), true since \(1 \le 2\), and \((2,1)R(0,3)\), true since \(1 \le 3\). But \((1,5)R(0,3)\) needs \(1 \le 0\) or \(5 \le 3\), and both fail. The “or” lets each step use a different coordinate, so the chain does not carry through.

Hence options calling \(R\) transitive, or not reflexive, are wrong.

Please log in or register to report this question.

2.

Let \(U = \{1, 2, \ldots, n\}\), where \(n\) is a large positive integer greater than 1000. Let \(k\) be a positive integer less than \(n\). Let \(A, B\) be subsets of \(U\) with \(|A| = |B| = k\) and \(A \cap B = \emptyset\). We say that a permutation of \(U\) separates \(A\) from \(B\) if one of the following is true.

- All members of \(A\) appear in the permutation before any of the members of \(B\).
- All members of \(B\) appear in the permutation before any of the members of \(A\).

How many permutations of \(U\) separate \(A\) from \(B\)?

Exam Year(s)

GATE CS - 2023,

Answer: D

The count is \(2\binom{n}{2k}(n-2k)!\,(k!)^{2}\).

Build a separating permutation in steps:

  1. Choose the 2k positions that the members of \(A \cup B\) will occupy: \(\binom{n}{2k}\) ways.
  2. Fill the other \(n - 2k\) positions with the remaining elements: \((n-2k)!\) ways.
  3. Decide which set comes first in the chosen positions: 2 ways. The first k of those positions then hold that set and the last k the other.
  4. Arrange A within its k positions and B within its k positions: \(k!\,k! = (k!)^{2}\) ways.

Multiplying gives the answer. The option without the factor 2 counts only one of the two orders, the option without \((k!)^{2}\) forgets to arrange the members inside each set, and \(n!\) counts every permutation, separating or not.

Please log in or register to report this question.

Loading…
Tags: Set Theory and Relations Questions and Answers || Set Theory and Relations MCQ Questions and Answers || Set Theory and Relations GK Questions and Answers || Set Theory and Relations GK MCQ Questions || Set Theory and Relations Multiple Choice Questions and Answers || Set Theory and Relations GK || GK on Set Theory and Relations || Discrete Mathematics Questions and Answers || Discrete Mathematics MCQ Questions and Answers || Discrete Mathematics GK Questions and Answers || GK on Discrete Mathematics