Богопольский, Введение в теорию групп, упр. 21.6, стр. 113.
Для нахождения требуется построить 13 неизоморфных
-графов на 3-х вершинах, причем ровно одна вершина выделенная. В
-графе по определению из каждой вершины выходит 2 дуги и входит 2 дуги. 2 входящие дуги должны быть помечены метками
и 2 исходящие - тоже. Графы могут содержать петли, исходящая петля является и входящей.
Я нашел 10 графов. А написано, что их 13. Помогите найти остальные 3.
Графы обязательно связные (условно говоря, слабосвязные).
Найденные 10 графов:
1. 2 графа с петлей у каждой вершины. Все петли в одном графе помечены
, во втором -
. Остальные дуги образуют ориентированный треугольник. Выделенная вершина произвольна.
2. 2 графа, в которых дуги с одинаковыми метками образуют треугольники. В одном графе треугольники соориентированы, в другом - противоположно. Выделенная вершина любая.
3. 2 графа, в которых выделенная вершина выбирается 3-я способами, так что всего 6. 1-й граф имеет у одной вершины петлю
, остальные 2 вершины связаны 2-я дугами с метками
, дуги с меткой
образуют треугольник (ориентация не важна). 2-й граф получается из 1-го заменой
на
и наоборот.
Всего 10 графов. Где еще 3?
(если описание плохое, могу рисунок нарисовать)