A reduction that maps an instance of one problem into an equivalent instance of another problem.