Polynomial-time many-one reduction

Summary