Most natural NP-complete reductions (e.g., Cook-Levin) do introduce overhead, but this reflects prob...
This proposition has not been edited since the history system was added.