[math-fun] NP super-problems