PracticeVideosBlogFlashcards

14.2 Selection Games & Team Formation Constraints

Key Takeaways

  • Selection games (In/Out games) require choosing a subset of size k from N candidates, partitioning entities into selected (IN) and unselected (OUT) groups.

  • Conditional selection rules fall into three core patterns: Requirements (X → Y), Exclusions (A → ~B), and Mandatory Inclusions (~C → D).

  • Constructing linked logic chains of direct rules and contrapositives enables multi-variable domino deductions from a single candidate placement.

  • Numerical bounds on team capacity restrict candidate combinations and accelerate the elimination of invalid selection sets.

  • Maintaining dual scratchpad columns for IN and OUT candidates prevents selection errors under exam conditions.

Last updated: August 2026

Selection Games & Team Formation Constraints

Selection games — frequently referred to as In/Out Games — represent a standard and highly scoring question type in the NTS GAT General Analytical Reasoning section. While grouping games involve partitioning all available entities among multiple categories, selection games focus on choosing a specific subset of kk candidates from a larger pool of NN candidates to form a single committee, team, panel, or board.

In these games, candidates who are selected are placed in the IN group, while candidates who are rejected fall into the OUT group. High performance requires systematic tracking of conditional requirements, mutual exclusions, and contrapositive chains.


1. The Three Fundamental Conditional Selection Rules

Every conditional rule in a selection game can be classified into one of three structural patterns. Mastering their formal representations and contrapositives is essential for building error-free logic chains.

1. Requirement Rule:         X  ──>  Y      (Contrapositive:  ~Y ──> ~X)
2. Exclusion Rule:           A  ──> ~B      (Contrapositive:   B ──> ~A)
3. Mandatory Inclusion Rule: ~C  ──>  D      (Contrapositive:  ~D ──>  C)

Pattern 1: Sufficient Requirement (X  ⟹  YX \implies Y)

  • Statement: "If Candidate X is selected, then Candidate Y must be selected."
  • Formal Symbol: X∈IN  ⟹  Y∈INX \in \text{IN} \implies Y \in \text{IN}
  • Contrapositive: Y∈OUT  ⟹  X∈OUTY \in \text{OUT} \implies X \in \text{OUT}
  • Deductive Meaning: Selecting XX forces YY to be IN. However, YY can be selected without XX, and both XX and YY can be OUT together.

Pattern 2: Mutual Exclusion (A  ⟹  ¬BA \implies \neg B)

  • Statement: "Candidate A and Candidate B cannot both be selected." (Or "If A is selected, B is not selected.")
  • Formal Symbol: A∈IN  ⟹  B∈OUTA \in \text{IN} \implies B \in \text{OUT}
  • Contrapositive: B∈IN  ⟹  A∈OUTB \in \text{IN} \implies A \in \text{OUT}
  • Deductive Meaning: At most one of {A,B}\{A, B\} can be IN. They can never both be IN. However, both AA and BB can be OUT simultaneously.

Pattern 3: Mandatory Inclusion / At-Least-One (¬C  ⟹  D\neg C \implies D)

  • Statement: "If Candidate C is not selected, then Candidate D must be selected." (Or "At least one of C or D must be selected.")
  • Formal Symbol: C∈OUT  ⟹  D∈INC \in \text{OUT} \implies D \in \text{IN}
  • Contrapositive: D∈OUT  ⟹  C∈IND \in \text{OUT} \implies C \in \text{IN}
  • Deductive Meaning: At least one of {C,D}\{C, D\} must be IN. They can never both be OUT. They can both be IN simultaneously.
Rule TypeIf First Element is INIf First Element is OUTCan Both Be IN?Can Both Be OUT?
Requirement (X  ⟹  YX \implies Y)YY must be INNo inference on YYYesYes
Exclusion (A  ⟹  ¬BA \implies \neg B)BB must be OUTNo inference on BBNOYes
Inclusion (¬C  ⟹  D\neg C \implies D)No inference on DDDD must be INYesNO

2. Constructing Integrated Logic Chains

When a selection game presents multiple conditional rules, combine them into a single continuous Logic Chain. Combining statements allows you to deduce long domino effects from a single selection choice.

Suppose a puzzle provides the following three rules:

  1. P  ⟹  QP \implies Q
  2. Q  ⟹  ¬RQ \implies \neg R
  3. ¬S  ⟹  R\neg S \implies R

Step A: Find the Contrapositive of Each Rule

  1. ¬Q  ⟹  ¬P\neg Q \implies \neg P
  2. R  ⟹  ¬QR \implies \neg Q
  3. ¬R  ⟹  S\neg R \implies S

Step B: Link Direct Rules and Contrapositives

  • Direct Chain: P  ⟹  Q  ⟹  ¬R  ⟹  SP \implies Q \implies \neg R \implies S (If P is IN, then Q is IN, R is OUT, and S is IN!)
  • Contrapositive Chain: ¬S  ⟹  R  ⟹  ¬Q  ⟹  ¬P\neg S \implies R \implies \neg Q \implies \neg P (If S is OUT, then R is IN, Q is OUT, and P is OUT!)

By linking these rules upfront, selecting PP immediately resolves four variables at once (P∈IN,Q∈IN,R∈OUT,S∈INP \in \text{IN}, Q \in \text{IN}, R \in \text{OUT}, S \in \text{IN}).


3. Worked NTS Delegation Selection Problem

Let us apply this logic to a comprehensive NTS-style committee selection problem.

Problem Prompt

A 4-member delegation must be selected from a pool of 7 candidates: P, Q, R, S, T, U, V.

  • Rule 1: Exactly 4 candidates must be selected (IN = 4, OUT = 3).
  • Rule 2: If P is selected, Q must be selected (P  ⟹  QP \implies Q).
  • Rule 3: Candidate R and Candidate S cannot both be selected (R  ⟹  ¬SR \implies \neg S).
  • Rule 4: If T is not selected, U must be selected (¬T  ⟹  U\neg T \implies U).
  • Rule 5: Candidate V is selected only if Candidate R is selected (V  ⟹  RV \implies R).
  • Rule 6: Candidate S is selected (S∈INS \in \text{IN}).

Step-by-Step Analytical Solution

Step 1: Formalize Rules and Contrapositives

  • Rule 2: P  ⟹  QP \implies Q | Contrapositive: ¬Q  ⟹  ¬P\neg Q \implies \neg P
  • Rule 3: R  ⟹  ¬SR \implies \neg S | Contrapositive: S  ⟹  ¬RS \implies \neg R
  • Rule 4: ¬T  ⟹  U\neg T \implies U | Contrapositive: ¬U  ⟹  T\neg U \implies T
  • Rule 5: V  ⟹  RV \implies R | Contrapositive: ¬R  ⟹  ¬V\neg R \implies \neg V
  • Rule 6: S∈INS \in \text{IN}

Step 2: Process the Given Fact (S∈INS \in \text{IN})

  • Place SS into the IN column: IN={S,… }\text{IN} = \{S, \dots\}.
  • Apply Rule 3 contrapositive (S  ⟹  ¬RS \implies \neg R): Since SS is IN, R must be OUT.
  • Place RR into the OUT column: OUT={R,… }\text{OUT} = \{R, \dots\}.
  • Apply Rule 5 contrapositive (¬R  ⟹  ¬V\neg R \implies \neg V): Since RR is OUT, V must be OUT.
  • Place VV into the OUT column: OUT={R,V,… }\text{OUT} = \{R, V, \dots\}.

Step 3: Utilize Capacity Limits

  • Total candidates = 7. Selected (IN) = 4. Unselected (OUT) = 3.
  • We have already placed 2 candidates into OUT: OUT={R,V}\text{OUT} = \{R, V\}.
  • Therefore, only 1 remaining candidate can be placed in OUT!
  • Consequently, at least 3 of the remaining candidates {P, Q, T, U} MUST be placed in IN.

Step 4: Test Remaining Candidates {P, Q, T, U}

  • Evaluate Rule 4 (¬T  ⟹  U\neg T \implies U): Can both TT and UU be OUT? No, because we only have 1 open slot in OUT, and Rule 4 forbids both TT and UU from being OUT. Thus, at least one of {T,U}\{T, U\} is IN.

  • Evaluate Rule 2 (P  ⟹  QP \implies Q): Suppose PP is OUT. Then OUT={R,V,P}\text{OUT} = \{R, V, P\}.

    • This fills the OUT group completely (3 items: R,V,PR, V, P).
    • Therefore, all remaining candidates (Q,T,UQ, T, U) MUST be IN!
    • Check if IN={S,Q,T,U}\text{IN} = \{S, Q, T, U\} satisfies all rules:
      • Rule 1: Size is 4. (Pass)
      • Rule 2: P  ⟹  QP \implies Q is vacuously true since P∉INP \notin \text{IN}. (Pass)
      • Rule 3: R∈OUT,S∈INR \in \text{OUT}, S \in \text{IN}. (Pass)
      • Rule 4: Both TT and UU are IN, satisfying ¬T  ⟹  U\neg T \implies U. (Pass)
      • Rule 5: V∈OUT,R∈OUTV \in \text{OUT}, R \in \text{OUT}. (Pass)
    • Valid Delegation 1: {S,Q,T,U}\{S, Q, T, U\}
  • Now suppose PP is IN:

    • By Rule 2 (P  ⟹  QP \implies Q), QQ MUST also be IN.
    • So IN\text{IN} contains {S,P,Q}\{S, P, Q\} (3 members).
    • The 4th member of IN must be either TT or UU (since OUT has 1 slot left for the other).
    • If TT is IN and UU is OUT: IN={S,P,Q,T}\text{IN} = \{S, P, Q, T\} and OUT={R,V,U}\text{OUT} = \{R, V, U\}. Valid!
    • If UU is IN and TT is OUT: IN={S,P,Q,U}\text{IN} = \{S, P, Q, U\} and OUT={R,V,T}\text{OUT} = \{R, V, T\}. Valid!

Selection Breakdown Table

Option SetSelected Members (IN)Rejected Candidates (OUT)Validity Status
Set 1S, Q, T, UR, V, P✅ Valid
Set 2S, P, Q, TR, V, U✅ Valid
Set 3S, P, Q, UR, V, T✅ Valid
Any with RIncludes RExcludes S or V❌ Invalid (S is forced IN)
Loading diagram...
Selection Rule Logic Chains & Contrapositive Links
Test Your Knowledge

Which of the following is the logically equivalent contrapositive of the selection rule: 'If Candidate A is selected, then Candidate B is not selected'?

A

If Candidate A is not selected, then Candidate B is selected.

B

If Candidate B is selected, then Candidate A is selected.

C

If Candidate B is selected, then Candidate A is not selected.

D

If Candidate B is not selected, then Candidate A is selected.

Test Your Knowledge

If a team selection rule states: 'At least one of Candidate M or Candidate N must be selected', which of the following candidate outcomes is strictly forbidden?

A

Both Candidate M and Candidate N are selected.

B

Candidate M is selected and Candidate N is not selected.

C

Candidate N is selected and Candidate M is not selected.

D

Neither Candidate M nor Candidate N is selected.

Test Your Knowledge

In the worked 4-member delegation problem, why was Candidate V automatically excluded from the delegation once Candidate S was selected?

A

Selecting S forces R to be OUT (Rule 3), and R being OUT forces V to be OUT via the contrapositive of Rule 5.

B

Rule 2 states that selecting S directly forces V to be OUT.

C

Candidate V cannot be selected whenever Candidate Q is selected.

D

Candidate S and Candidate V form a mutual exclusion pair in Rule 1.

Test Your Knowledge

A committee of 3 members is chosen from 5 candidates {A, B, C, D, E}. If A → B, and C → ~B, and A is selected, which 3 members MUST compose the committee?

A

{A, C, D}

B

{A, B, D}

C

{B, C, E}

D

{A, B, C}

Sections you finish are checked off in the contents.