Optimization problems are trickier. Algorithms lean on powerful theorems to know when they're done.
Syntactic check, solve independently and compare. That is, checking is no easier than solving from scratch.
