Q3 — Game Tree: Strategies, Alpha-Beta and SSS*

Three MIN branches under MAX — the 54 value hides behind a β-cutoff at the very first MAX grandchild.

The Question

Squares = MAX, circles = MIN. Leaves A–K. Tie-breaker: deepest, then leftmost.

#QuestionOfficial answer
3.1Valid strategies (A: D,E,F,G · B: H,I,J,K · C: D,E,F · D: H,I)C and D
3.2Best strategy leavesA,C
3.3Alpha-Beta inspectedA,B,D,H
3.4SSS* solvedA,B,D,H

The Topic in 60 Seconds

  • Strategy for MAX: no MAX node's set-leaves may split across two of its children; MIN's alternatives stay whole.
  • Best strategy maximizes min⁡(leaves)\min(\text{leaves}) = root minimax value.
  • α-β: cutoff when α≥β\alpha \ge \beta.
  • SSS*: solves leaves line-by-line; unneeded leaves never expand.

Deep-dive: Game Strategies, Alpha-Beta Pruning, SSS*.

Step 0 — Back up

  • SQ1=max⁡(60,96)=96SQ_1 = \max(60, 96) = 96; N1=min⁡(54,96)=54N_1 = \min(54, 96) = 54
  • EF=min⁡(78,84)=78EF = \min(78, 84) = 78; SQ2=max⁡(78,90)=90SQ_2 = \max(78, 90) = 90; N2=min⁡(36,90)=36N_2 = \min(36, 90) = 36
  • JK=min⁡(24,30)=24JK = \min(24, 30) = 24; SQ3=max⁡(18,24)=24SQ_3 = \max(18, 24) = 24; N3=min⁡(48,24)=24N_3 = \min(48, 24) = 24
  • Root=max⁡(54,36,24)=54\text{Root} = \max(54, 36, 24) = \mathbf{54} via N1N_1

3.1 — Valid strategies → C (D,E,F) and D (H,I)

OptionCheckVerdict
A: D,E,F,GSQ2SQ_2: E,F via EFEF and G direct — split!Invalid
B: H,I,J,KSQ3SQ_3: I and J,K — split!Invalid
C: D,E,FRoot→N2N_2 ✓; N2N_2 keeps D and SQ2SQ_2; SQ2SQ_2 → EFEF only; EFEF keeps E,F ✓Valid
D: H,IRoot→N3N_3 ✓; SQ3SQ_3 → I only ✓Valid

3.2 — Best strategy → A,C

Root → N1N_1 (54). N1N_1 keeps A and SQ1SQ_1. SQ1SQ_1 (MAX) picks C (96 beats 60). Leaves A, C, guarantee min⁡(54,96)=54\min(54, 96) = 54 = game value ✓

3.3 — Alpha-Beta inspects → A,B,D,H

NodeWindowHappening
N1N_1 (MIN)(−∞,∞)(-\infty, \infty)A = 54 → β=54\beta = 54
SQ1SQ_1 (MAX)(−∞,54)(-\infty, 54)B = 60 ≥ 54 → β-cutoff — C pruned!
Rootα=54\alpha = 54
N2N_2 (MIN)(54,∞)(54, \infty)D = 36 ≤ 54 → α-cutoff — SQ2SQ_2 (E,F,G) pruned
N3N_3 (MIN)(54,∞)(54, \infty)H = 48 ≤ 54 → α-cutoff — SQ3SQ_3 (I,J,K) pruned

Inspected: A, B, D, H ✓ — 4 leaves out of 11.

3.4 — SSS* solves → A,B,D,H

  1. A solved (54) → N1≤54N_1 \le 54.
  2. SQ1SQ_1 live bound 54: solve B (60 ≥ 54) → SQ1SQ_1 proven → C never expanded.
  3. N1N_1 = 54. D solved (36) → N2=36N_2 = 36 (SQ2SQ_2 untouched). H solved (48) → N3=48N_3 = 48.
  4. Root = 54. Solved: A, B, D, H ✓

Interactive α-β trace — squares are MAX, circles are MIN; green = leaf whose value got read:

1 / 5
Root (MAX, −∞,+∞) → leftmost child N1 (MIN). A = 54 → β(N1) = 54.
evaluating nowvalue inspectedpruned by a cutoffnever reached
The pattern

A low first leaf under a MIN node (A=54, D=36, H=48) is a scissors: it cuts every sibling subtree via α-cutoff, and SSS* does the same with bounds. Both algorithms end with the identical 4-leaf set here.

Tricks & Tips

Answers: 3.1 C, D · 3.2 A,C · 3.3 A,B,D,H · 3.4 A,B,D,H