Условие:
k = 4, a1 = 1, a2 = 2, a3 = 3, a4 = 2. Нарисуйте все попарно неизоморфные графы (в том числе и несвязные) с$k$вершинами, валентности которых равны a1 a2 a3 a4$. Докажите полноту этого списка, вычислив $\sum{\Gamma} \frac{1}{|\mathrm{Aut} \Gamma|}$ (суммирование по всем нарисованным графам $\Gamma$ ) и сравнив ее с вычисленным числом способов разбить $2 N=\sum{i=1}^{k} a_{i}$ ориентированных ребер на $N$ пар для образования неориентированных ребер и одновременно разбить эти же $2 N$ориентированных ребер на группы, состоящие из a1 a2 a3 a4$ ориентированных ребер, исходящих из одной вершины.