6.3 Grouping, Selection & Constraint Matrix Puzzles

6.3 Grouping, Selection & Constraint Matrix Puzzles

Grouping and selection puzzles constitute a core category of Analytical Reasoning on the HEC HAT. Unlike linear or circular ordering puzzles where relative position is key, selection puzzles focus on membership inclusion and exclusion. Candidates are required to select a sub-group (e.g., a 4-person research committee) from a larger pool of applicants (e.g., 7 candidates) subject to formal logical rules, discipline balance requirements, and multi-variable constraint matrices.

---

Selection Rules & Formal Logical Translation

Every grouping puzzle translates narrative constraints into formal logical rules. Mastering these translations prevents logical misinterpretations under time pressure.

Fundamental Selection Rules

1. Conditional Selection Rule: "If Candidate A is selected, then Candidate B must also be selected."

   • Formal Translation: $A \rightarrow B$
   • Contrapositive: $\neg B \rightarrow \neg A$ (If B is not selected, A cannot be selected).
   • Common Pitfall: If B is selected, A does not necessarily have to be selected ($B \not\rightarrow A$).

2. Mutual Exclusion Rule: "Candidate A and Candidate B cannot both be selected for the committee."

   • Formal Translation: $A \rightarrow \neg B$ (or $B \rightarrow \neg A$).
   • Meaning: At most one of them can be selected. Both can be rejected, but both can never be included simultaneously.

3. Bi-conditional Selection Rule: "Candidate A is selected if and only if Candidate B is selected."

   • Formal Translation: $A \leftrightarrow B$
   • Meaning: Either both $A$ and $B$ are selected together ($A \land B$), or both are rejected together ($\neg A \land \neg B$).

4. Floor and Ceiling Constraints:

   • Floor Constraint: "The committee must include at least two female researchers."
   • Ceiling Constraint: "No more than three engineers can be assigned to Team Alpha."

---

Multi-Variable Constraint Matrix Grids

When a puzzle involves matching multiple distinct categories of attributes (e.g., matching 4 Professors to 4 Universities, 4 Research Topics, and 4 Cities), constructing a Constraint Matrix Grid is mandatory.

                    Multi-Variable Constraint Matrix Setup

                  ┌───────────────────────┬───────────────────────┐
                  │      Universities     │     Research Topics   │
                  ├───────┬───────┬───────┼───────┬───────┬───────┤
                  │ NUST  │ QAU   │ UET   │ AI    │ Bio   │ Nano  │
  ┌───────────────┼───────┼───────┼───────┼───────┼───────┼───────┤
  │ Prof. Ali     │   ✓   │   ✗   │   ✗   │   ✗   │   ✓   │   ✗   │
  ├───────────────┼───────┼───────┼───────┼───────┼───────┼───────┤
  │ Prof. Bilal   │   ✗   │   ✓   │   ✗   │   ✓   │   ✗   │   ✗   │
  ├───────────────┼───────┼───────┼───────┼───────┼───────┼───────┤
  │ Prof. Tariq   │   ✗   │   ✗   │   ✓   │   ✗   │   ✗   │   ✓   │
  └───────────────┴───────┴───────┴───────┴───────┴───────┴───────┘

Matrix Deduction Rules:

1. Positive Match ($\checkmark$) Execution: When a positive match is established between Person $X$ and Attribute $Y$, immediately place crosses ($\times$) across all remaining cells in $X$'s row and $Y$'s column within that sub-grid.
2. Negative Elimination ($\times$) Execution: When $N - 1$ cells in a row or column are filled with crosses ($\times$), the remaining single empty cell must automatically be a positive match ($\checkmark$).
3. Transitive Linking: If Person $X$ matches University $U_1$ ($\checkmark$), and University $U_1$ is known to match Topic $T_1$ ($\checkmark$), then Person $X$ must also match Topic $T_1$ ($\checkmark$).

---

Committee Formation & Group Transfer Puzzles

In group formation puzzles, candidates are partitioned into two or more non-overlapping teams (e.g., Team Alpha and Team Beta). Clues specify inter-group dependencies:

• "If Dr. Khan is in Team Alpha, Dr. Ahmed must be in Team Beta." ($Khan_A \rightarrow Ahmed_B$)
• "Prof. Usman and Prof. Tariq must be in the same team." ($Usman_A \leftrightarrow Tariq_A$ and $Usman_B \leftrightarrow Tariq_B$)

Systematic Grouping Algorithm:

1. Identify Fixed Anchors: Place candidates whose team assignments are explicitly stated.
2. Evaluate Incompatible Pairs: Identify mutually exclusive pairs that must be split across different teams.
3. Track Team Capacity: Continuously count current team members against maximum group limits to identify forced transfers.

---

Full Worked Examples

Selection Problem Worked Example

Problem: A 4-member research panel must be selected from 7 candidates: three Senior Fellows (A, B, C) and four Junior Fellows (W, X, Y, Z).

• Rule 1: The panel must include exactly two Senior Fellows and two Junior Fellows.
• Rule 2: If A is selected, W must be selected ($A \rightarrow W$).
• Rule 3: B and X cannot both be selected ($B \rightarrow \neg X$).
• Rule 4: C and Y must be selected together ($C \leftrightarrow Y$).

Question: If B is selected for the panel, which of the following is a valid 4-member panel?

Step-by-Step Solution:

1. Apply Rule 1: Panel needs 2 Seniors from ${A, B, C}$ and 2 Juniors from ${W, X, Y, Z}$.
2. Incorporate Given Condition: $B$ is selected. Thus, one Senior slot is filled by $B$.
3. Apply Rule 3: Since $B$ is selected, $X$ CANNOT be selected ($X$ is eliminated).
   • Remaining Junior pool: ${W, Y, Z}$. Need to select 2 Juniors from this pool.
4. Evaluate Second Senior Slot: Either $A$ or $C$ must be selected.
   • Case I: Select $A$ as the 2nd Senior.
     • Panel Seniors: ${B, A}$.
     • By Rule 2 ($A \rightarrow W$), $W$ must be selected.
     • Since $X$ is eliminated, the 2nd Junior must be either $Y$ or $Z$.
     • Can $Y$ be selected? Rule 4 states $C \leftrightarrow Y$. Since $C$ is NOT selected, $Y$ CANNOT be selected! Thus $Y$ is eliminated.
     • Therefore, the 2nd Junior MUST be $Z$.
     • Valid Panel Case I: ${A, B, W, Z}$.
   • Case II: Select $C$ as the 2nd Senior.
     • Panel Seniors: ${B, C}$.
     • By Rule 4 ($C \leftrightarrow Y$), $Y$ MUST be selected.
     • Need one more Junior from ${W, Z}$.
     • Since $A$ is NOT selected, Rule 2 ($A \rightarrow W$) does not force or prohibit $W$.
     • Valid Panel Case II: ${B, C, Y, W}$ or ${B, C, Y, Z}$.

Conclusion: Valid panels under $B$'s selection are ${A, B, W, Z}$, ${B, C, W, Y}$, or ${B, C, Y, Z}$.