Богопольский, Введение в теорию групп, упр. 21.6, стр. 113.
Для нахождения требуется построить 13 неизоморфных
![$s$ $s$](https://dxdy-03.korotkov.co.uk/f/6/f/9/6f9bad7347b91ceebebd3ad7e6f6f2d182.png)
-графов на 3-х вершинах, причем ровно одна вершина выделенная. В
![$s$ $s$](https://dxdy-03.korotkov.co.uk/f/6/f/9/6f9bad7347b91ceebebd3ad7e6f6f2d182.png)
-графе по определению из каждой вершины выходит 2 дуги и входит 2 дуги. 2 входящие дуги должны быть помечены метками
![$a,b$ $a,b$](https://dxdy-04.korotkov.co.uk/f/b/4/b/b4bbe16e32e2319d5835a2ce2360eb4b82.png)
и 2 исходящие - тоже. Графы могут содержать петли, исходящая петля является и входящей.
Я нашел 10 графов. А написано, что их 13. Помогите найти остальные 3.
Графы обязательно связные (условно говоря, слабосвязные).
Найденные 10 графов:
1. 2 графа с петлей у каждой вершины. Все петли в одном графе помечены
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
, во втором -
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
. Остальные дуги образуют ориентированный треугольник. Выделенная вершина произвольна.
2. 2 графа, в которых дуги с одинаковыми метками образуют треугольники. В одном графе треугольники соориентированы, в другом - противоположно. Выделенная вершина любая.
3. 2 графа, в которых выделенная вершина выбирается 3-я способами, так что всего 6. 1-й граф имеет у одной вершины петлю
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
, остальные 2 вершины связаны 2-я дугами с метками
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
, дуги с меткой
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
образуют треугольник (ориентация не важна). 2-й граф получается из 1-го заменой
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
на
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
и наоборот.
Всего 10 графов. Где еще 3?
(если описание плохое, могу рисунок нарисовать)