[10 points] What are the disadvantages of using a heuristic function for A* which is not consistent? Be precise and provide an example to support the points you are making.
[15 points] The functions g and h each play a different role in A*. What are those roles? What happens when you emphasize or de-emphasize one of them by using different weights in f(n)? Consider the case in which f(n) = (1 - w)g(n) + wh(n), with 0 ≤ w ≤ 1. Be specific and analyze what happens for different values of w.
[15 points] Discuss the possible advantages of the following state-space search strategy: obtain by some method a path to a goal node and its associated cost f(Goal)=C. This cost is not necessarily minimal but it gives an upper bound on the minimal cost. Now use A* with an admissible $h$ function and discard immediately any OPEN nodes reached whose f values are greater than C.
Explain if the modified A* algorithm with this strategy is guaranteed to find an optimal solution if one exists or not. Be short but precise.
Explain if the fact that the algorithm discards some of the OPEN nodes (i.e. nodes in the frontier) means that fewer nodes are expanded. Be short but precise.
Does this strategy reduce the total storage requirements? Explain your reasoning.
[10 points] Answer the following questions on Uniform Cost search briefly but precisely:
Is it possible for Uniform Cost to expand more nodes than Depth-First search? Feel free to use an example to support your answer.
Does Uniform Cost search expand more nodes than A*? Why (or why not)?
[20 points] Answer the following questions explaining your reasoning briefly but precisely.
Why any node in OPEN with f(n) < f^*(n) (the cost of the optimal solution path) will eventually be selected for expansion by A*?
Is it true that all admissible heuristics are equal in the sense that A* will search the states in the same order no matter what the heuristic is?
Is Breadth-First search complete if the state space has infinite depth but a finite branching factor?
Does the fact that A* is ``optimally efficient'' mean that A* will never expand more nodes than any other algorithm?
