> I don't know if there's an established formalised terminology for this type of conversion Technically they're polynomial-time many-one reductions. https://e

> I don't know if there's an established formalised terminology for this type of conversion Technically they're polynomial-time many-one reductions. https://en.wikipedia.org/wiki/Many-one_reduction https://en.wikipedia.org/wiki/Many-one_reduction But in practice I think people usually just call them "reductions".