Consider the below,
Let the heuristics be defined as below:
h( a ) = 11, h( b ) = 5, h( c ) = 7
This is consistent but not admissible (as h(a) overestimates).
“All consistent heuristics are admissible heuristics” is a theorem. What I am missing here?