added definition of the RDPProblem.