The class of all (possibly multivalued) NPMV functions that are total (that is, defined for every input).
The class of all (possibly partial, possibly multivalued) functions computed by an NP machine as follows: ignore the rejecting paths, and consider any output of an accepting path to be "one of the outputs."
Defined in [BLS84].
Contrast with FNP.
Has the same relation to NPMVt as P-Sel does to P.
Defined in [HHN+95].
The class of all NPSV functions that are total (that is, defined on every input).
Contained in NPMVt.