Cтраница 3
Сначала осуществим перечисление унициклических графов, потому что подход, используемый при их перечислении, может быть приспособлен к перечислению функциональных орграфов. Унициклический граф является связным графом, имеющим только один простой цикл. Если G - унициклический граф и его простой цикл имеет длину п, то G можно рассматривать как граф, имеющий корневые деревья, возможно тривиальные, прикрепленные к каждой из п вершин его цикла. Если степенная группа ED имеет множество объектов Yx, то орбиты, состоящие из функций множества Vх, соответствуют в точности унициклическим графам. Следовательно, теорема перечисления Пойа дает такой результат. [31]