Polynomial-time reductions are defined to work for any standard encoding; encoding choice doesn't af...
This proposition has not been edited since the history system was added.