Optimal heuristic algorithms for the image of an injective function