Complexity Class Marked Vertex Input Symbol Invertible Function Turing Machine
All sets complete for NP under 1-L reductions are complete under length-increasing, invertible, and “almost one-one” ≤mp reductions. All sets complete for PSPACE under 1-L reductions are p-isomorphic.