According to reduction, if X and Y can be solved by the same algorithm then X performs what function in relationship to Y?
It captures the informal notion of a problem being at least as difficult as another problem.