that was a nice soln.. But there seems to be one catch. You ask for a non-combinatorial
solution. Which would imply that your blackbox algorithm time complexity is not combinatorial. So if Rabin Karp has also given an algorithm which given the set, and the subsets , gives a polynomial time solution then that completes the nice solution
that you have given.