What nodes DFS expand?
Some left prefix of the tree.
Could process the whole tree!
If m is finite, takes time O(bm)
How much space does the fringe take?
Only has siblings on path to root, so O(bm)
Is it complete?
m could be infinite, so only if we prevent cycles (more later)
Is it optimal?
No, it finds the “leftmost” solution, regardless of depth or cost