Sounds like a question for discrete math professors.