[marketforlemmas]

You are right that the general problem is intractable; a lot of the advances in these match making algorithms come from better heuristics and computing power.