Quotient Space Based Problem Solving