Slide 49 of 63
Notes:
Starting at 0000, the first four choices are equivalent, so we don’t need to try them all; one is sufficient. Similar reasoning lets us to stop searching when we backtrack to the point where 1,2,3 changes to 1,2,4 since they are equivalent.
