Are there any NPFNP-complete problems where there's only one possible certificatesolution?
For example, the travelling salesman problem can have multiple routes all shorter than $X$. There's only one shortest route, but it can't be validated that a given route is the shortest route in polynomial time.
I'm interested in either such an NPFNP-complete problem, or a proof this is impossible.