the strategy whereby one compares the current state to the goal state, often using this information to break a large problem into smaller subproblems, is called