[math-fun] NP-complete matching problem?