What can we expect from an optimal algorithm?
that its cost is optimal
that its cost is O(1)
that it necessarily gives a solution
that if it gives a solution, it is optimal