Consider the following statements :

S1: A heuristic is admissible if it never overestimates the cost to reach the goal.

S2: A heuristic is monotonous if it follows the triangle inequality property. Which one of the following is true referencing the above statements?

1. ANeither of the statements S1 and S2 are true.
2. BStatement S1 is false but statement S2 is true.
3. CStatement S1 is true but statement S2 is false.
4. DBoth the statements S1 and S2 are true.

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: D. Both the statements S1 and S2 are true.

Explanation

Admissible means never overestimating the cost to the goal; consistent (monotone) means h(n) ≤ c(n, n′) + h(n′), the triangle inequality. Both are true.