In the case of lipton and tarjan, their motivation for designing a separator was to be able to apply a divide-and-conquer approach to planar graph problems to get an approximation algorithm. They use the separated sets A and B as the smaller subproblems and apply the algorithm recursively, so the smaller S is, the better the approximation bound.