2024 Term 1 · Forenoon — Worked Solutions

Every question solved from scratch: the reasoning, the algorithm trace, and the shortcuts that get you to the answer fast.

Q1SEARCH

Q1 — Best First Search, A* and Branch-and-Bound on the Grid Map

Three algorithms, three different paths — Best First finds 14, A* finds 10, and only Branch-and-Bound uncovers the cost-8 northern route.

Best First SearchA*Branch-and-BoundManhattan heuristicAdmissibility
Q2TSP BRANCH-AND-BOUND

Q2 — TSP Branch-and-Bound: Refine Order and the 402 Tour

Queue simulation gives b1,c1,d1,d2 — then leaf e2 pops at 402 and the six-city tour reconstructs itself.

TSPBranch-and-BoundLower boundsTour reconstruction
Q3GAMES

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

A three-branch MAX root with nested MAX/MIN pairs — strategies A and C, best line D,E, and five pruned leaves.

MinimaxGame strategiesAlpha-Beta pruningSSS*
Q4PROBLEM DECOMPOSITION

Q4 — AO* on an AND–OR Decomposition

OR(A) wins at 22, survives A's refinement to 54, then B's cheap E-branch drags S down to 24 — and E's true cost lands it at 38.

AO*AND-OR graphsCost revisionMarker switching
Q5RULE BASED EXPERT SYSTEMS

Q5 — Rete Net: Lens Classification

Convex/Plane/Concave surfaces with radius comparisons — R2's Convex-Plane pair is the only listed full match, R3 wins specificity, R6 wins recency.

Rete algorithmConflict setSpecificityRecency
Q6AUTOMATED PLANNING

Q6 — Blocks World: Applicable vs Relevant, Planning-Graph Mutexes

The arm holds D while A, B, E sit clear — applicable vs relevant splits cleanly and the layer-1 mutexes all hinge on holding(D).

STRIPSBlocks worldApplicable actionsRelevant actionsGraphPlanMutex
Q7CONSTRAINT SATISFACTION

Q7 — Waltz Line Labeling: Two Drawings, Both NIL

A house drawing and a podium drawing — the T-junction forces arrows, the boundary edges force W1, and both domains wipe out.

Waltz labelingLine drawingsConstraint propagationTrihedral junctions