Problem Reduction Representation