What the exam asks you to produce. The value at every internal node; α and β written AT each node as the pair that node received, updated as its loop runs; every cut marked with the inequality that caused it; the whole subtree below a cut crossed out; the leaf count; and one sentence saying that reordering changes the work and never the root value.
Part 7 archetypes A12 (minimax plus alpha-beta plus reorder) and A13 (three player vectors). Anchored on the deck's p.26 pseudocode: the test runs BEFORE the update, and the comparisons are non-strict. Part 7 chapter · pack index
▲ MAX node ▼ MIN node ■ terminal (leaf) = v exact value ≥ v lower bound (MAX returned early) ≤ v upper bound (MIN returned early) struck never generated amber changed this step
The highlighted line is the one this step executes.
The course states the rule twice and the two statements attach the Greek letters to opposite ends of the same cut. Both are internally consistent. This visualiser anchors on the deck p.26 pseudocode and prints the exercise-session naming beside every cut, so a hand answer written from either reading matches.
| Source | How the rule is written | Node where the loop stops | Letter naming that cut |
|---|---|---|---|
| Deck pp.25 and 26 | min-value: if v ≤ α return v | a MIN node | α (inherited from a MAX ancestor) |
| Deck pp.25 and 26 | max-value: if v ≥ β return v | a MAX node | β (inherited from a MIN ancestor) |
| Exercise session 5 solutions, slide 26 | "Prune: Max node ≥ β" | a MIN node | β (that MIN node's own running bound) |
| Exercise session 5 solutions, slide 42 | "Prune: Min node ≤ α" | a MAX node | α (that MAX node's own running bound) |
The safe exam answer marks each cut with the inequality that produced it and defines α and β as the best value MAX or MIN can already secure on the path to the root. Then the drawing is correct under either reading.