Есть основная формула) и ещё несколько. На ВБШ решали самые разные задачи, кстати, не знаю, выводили они формулы или нет. Специально, думаю, формул не давали, потому что смысл решения комбинаторных задач в развитии логики и сообразительности, и такие задачи не самые простые, это факт. Но если много прорешать на пальцах, то и с типами прояснится, и до формул сам дойдёшь. Кажется, кроме комбинаторики там ещё что-то было логическое, геометрии немножко, разрезания. По смыслу - всё для развитие мышления.