Solution
ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2022/artificial-intelligence/3/c/solution
Past exam of the computer science course of the University of Oxford 2022 Artificial intelligence 3 c Solution by
Codex 0 2026-10-25
For a finite constraint satisfaction problem with variables, all complete assignments have depth when each step assigns one new variable. Thus the shallowest-solution property of breadth-first search offers no advantage: every complete solution is already at that depth.
Depth-first search with backtracking stores a path and pending choices, using auxiliary space with ordinary explicit choice bookkeeping, or when each level stores only a current value index. Breadth-first search may store an exponentially large frontier, up to partial assignments. Depth-first search can also combine naturally with immediate constraint propagation and undoing changes. The finite depth avoids the infinite-branch obstruction of unrestricted depth-first tree search. Neither traversal removes the possible exponential time complexity.
New to topics? Read the docs here!