Вот условие целиком

Понимаете, если вы хотите, чтобы Вас поняли, то условие надо сразу писать "целиком".
Каждая вершина дерева независимо от остальных окрашивается в один из m цветов.

Может, Вы не это имели в виду? В такой формулировке число раскрашенных деревьев равно

, умноженному на число нераскрашенных. Что с Вашей формулой для

соотносится плохо

Да, виноват, но сути это не меняет, если Вам не понятна формула то посмотрите пример для 3 по ссылке выше. Там хорошо объяснена логика. Для 4 вершин есть 4 варианта выбора корня и структуры. Если есть m цветов то всего можно сделать 4m деревьев, в случае когда используем один цвет. Это о первом слагаемом. Остальные так же рассчитываются, я же задаю вопрос - Почему нету слагаемого для случая выбора трех цветов из m??