Q7 — GAMES

Minimax backs up 59 through the left subtree while alpha-beta silently kills G, H, J, L and all of M, N, O, P without reading them.

The Question

The figure shows a 4-ply game tree with evaluation function values at the horizon. The nodes in the horizon are assigned labels A, B, C, ..., P. Use these labels when asked to enter a horizon node or a list of horizon nodes.

Tie-breaker: when several nodes qualify then select the left most node, if tie persists then select the deepest node among the left most nodes.

#QuestionOfficial answer
7.1Which of the following are strategies for MAX?A, B
7.2List the horizon nodes in the best strategy for MAX. Enter the nodes in the ascending order of node labels.C,D,E,F
7.3List the first five horizon nodes pruned by Alpha-Beta.G,H,J,L,M

The Topic in 60 Seconds

LayerNodesRule
Ply 3 (horizon parents)L31…L38L3_1 \dots L3_8MIN takes the smaller child value
Ply 2L21…L24L2_1 \dots L2_4MAX takes the larger child value
Ply 1L11,L12L1_1, L1_2MIN takes the smaller child value
RootMAXtakes the larger child value

Alpha-Beta = minimax plus two windows: α\alpha (best MAX can already force) and β\beta (best MIN can already force). Prune the moment β≤α\beta \le \alpha at a node — remaining children there can never influence the root decision.

Deep-dive: browse the Concepts section for minimax and alpha-beta.

Solutions

Static minimax values (bottom-up)

NodeTypeComputationValue
L31L3_1MINmin⁡(45,82)\min(45, 82)45
L32L3_2MINmin⁡(81,59)\min(81, 59)59
L33L3_3MINmin⁡(99,99)\min(99, 99)99
L34L3_4MINmin⁡(30,57)\min(30, 57)30
L35L3_5MINmin⁡(37,54)\min(37, 54)37
L36L3_6MINmin⁡(55,93)\min(55, 93)55
L37L3_7MINmin⁡(76,34)\min(76, 34)34
L38L3_8MINmin⁡(43,87)\min(43, 87)43
L21L2_1MAXmax⁡(45,59)\max(45, 59)59
L22L2_2MAXmax⁡(99,30)\max(99, 30)99
L23L2_3MAXmax⁡(37,55)\max(37, 55)55
L24L2_4MAXmax⁡(34,43)\max(34, 43)43
L11L1_1MINmin⁡(59,99)\min(59, 99)59
L12L1_2MINmin⁡(55,43)\min(55, 43)43
RootMAXmax⁡(59,43)\max(59, 43)59

7.1 — Which of the following are strategies for MAX?

A strategy must commit to ONE child at the root and cover both of MAX's later choices with complete sibling pairs:

OptionLeavesSpans root childVerdict
A — A,B,E,Fboth pairs of L11L1_1 (L31L3_1, L33L3_3)left only (L11L1_1)Valid strategy, guarantees min⁡(45,99)=45\min(45, 99) = 45
B — C,D,G,Hboth pairs of L11L1_1 (L32L3_2, L34L3_4)left only (L11L1_1)Valid strategy, guarantees min⁡(59,30)=30\min(59, 30) = 30
C — A,C,I,JA,C both sit under L21L2_1 (MAX cannot take both), I,J under L12L1_2both sidesInvalid — MAX would need to choose left AND right at the root
D — B,D,J,LB,D both under L21L2_1; J,L both under L23L2_3both sidesInvalid for the same reason

Answer: A, B

7.2 — Horizon nodes of the BEST strategy → C,D,E,F

Enumerate the four legal left-subtree strategies: {A,B}\{A,B\}+{E,F}\{E,F\} gives 45, {A,B}\{A,B\}+{G,H}\{G,H\} gives min⁡(45,30)=30\min(45,30)=30, {C,D}\{C,D\}+{E,F}\{E,F\} gives min⁡(59,99)=59\min(59,99)=59, {C,D}\{C,D\}+{G,H}\{G,H\} gives 30. No right-subtree strategy beats 43 (L12=43<59L1_2 = 43 < 59). Best guarantee = 59 via L21→L32L2_1 \to L3_2 (leaves C, D) and L22→L33L2_2 \to L3_3 (leaves E, F):

value=min⁡(max⁡(min⁡(81,59)⏟59,min⁡(99,99)⏟99))-branch=59\text{value} = \min\big(\max(\underbrace{\min(81,59)}_{59}, \underbrace{\min(99,99)}_{99})\big)\text{-branch} = 59

Answer: C,D,E,F

7.3 — First five horizon nodes pruned by Alpha-Beta → G,H,J,L,M

Left-to-right DFS, passing α,β\alpha, \beta down:

EventNode visitedWindow (α,β)(\alpha, \beta)What happens
1A = 45(−∞,+∞)(-\infty, +\infty) at L31L3_1βL31=45\beta_{L3_1} = 45
2B = 82sameL31L3_1 returns min⁡(45,82)=45\min(45,82) = 45; αL21=45\alpha_{L2_1} = 45
3C = 81(45,+∞)(45, +\infty) at L32L3_2βL32=81>α\beta_{L3_2} = 81 > \alpha, continue
4D = 59sameL32L3_2 returns 59; L21=max⁡(45,59)=59L2_1 = \max(45,59) = 59; βL11=59\beta_{L1_1} = 59
5E = 99, F = 99(−∞,59)(-\infty, 59) at L33L3_3L33L3_3 returns 99; αL22=99≥βL11=59\alpha_{L2_2} = 99 \ge \beta_{L1_1} = 59 → CUT: subtree of L34L3_4 skipped → G, H pruned
6—L11L1_1 completes at 59Root updates α=59\alpha = 59
7I = 37(59,+∞)(59, +\infty) at L35L3_5βL35=37≤α=59\beta_{L3_5} = 37 \le \alpha = 59 → CUT: J pruned; L35L3_5 returns 37
8K = 55(59,+∞)(59, +\infty) at L36L3_6βL36=55≤59\beta_{L3_6} = 55 \le 59 → CUT: L pruned; L36L3_6 returns 55; L23=max⁡(37,55)=55L2_3 = \max(37,55) = 55
9—βL12=55≤αroot=59\beta_{L1_2} = 55 \le \alpha_{root} = 59 → CUTentire L24L2_4 skipped → M, N, O, P pruned

Pruning order of horizon nodes: G, H, then J, then L, then M, N, O, P — the first five are G,H,J,L,M.

Answer: G,H,J,L,M

Interactive alpha-beta trace

Each step shows the window state, exact min/max arithmetic, and what got pruned.

1 / 6
MIN(L3_1): min(A=45, B=82) = 45 alpha(L2_1) = 45. Waiting for second child.
evaluating nowbacked upnot yet reachedpruned (never examined)best strategy / root value

Tricks & Tips

Answers: 7.1 A, B · 7.2 C,D,E,F · 7.3 G,H,J,L,M