Ещё упростил задачу. Существенны 2 варианта:
1. одноцветные, которых
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
2. разноцветные, которых без поворотов
![$n^3-n$ $n^3-n$](https://dxdy-03.korotkov.co.uk/f/e/3/0/e300340525fa0eddbd4c28f9d039932a82.png)
. но каждую разноцветную можно повернуть 1, 2 или 3 раза, и она перейдёт в какую-то из
![$n^3-n$ $n^3-n$](https://dxdy-03.korotkov.co.uk/f/e/3/0/e300340525fa0eddbd4c28f9d039932a82.png)
. поэтому уникальных разноцветных в 3 раза меньше:
![$\frac{n^3-n}{3}$ $\frac{n^3-n}{3}$](https://dxdy-04.korotkov.co.uk/f/f/1/2/f12af3e9754145e330661578a50358bd82.png)
Вопрос что в таком подходе делать, если кол-во вершин -- не простое число. Например, для квадрата раскрасим вершины в цвета
![$xyxy$ $xyxy$](https://dxdy-01.korotkov.co.uk/f/0/8/d/08d488838085ece9ecfc4c7813d1955b82.png)
, тогда квадрат перейдёт в себя уже при повороте на 2, а не на 4.
-- 31.08.2023, 17:17 --Действительно, не туда.
Итак. Разорвём многоугольник и вытянем в одну линию. Таких различных линий будет, естественно,
![$n^6$ $n^6$](https://dxdy-01.korotkov.co.uk/f/c/0/6/c065d79abb3ec8d6f94987d33521067c82.png)
.
При этом линия
![$xyzuvw$ $xyzuvw$](https://dxdy-01.korotkov.co.uk/f/4/0/b/40bdf00b25c3e61e03bed5e7d5cb0ace82.png)
даёт тот же многоугольник, что и
![$yzuvwx$ $yzuvwx$](https://dxdy-03.korotkov.co.uk/f/2/5/0/2501ac6f165a8ac3ed4b129a413e22ca82.png)
,
![$zuvwxy$ $zuvwxy$](https://dxdy-01.korotkov.co.uk/f/4/f/c/4fc4a320cbdda8a56f740f15a180acfd82.png)
и так далее — всего шесть.
Линия
![$xxxxxx$ $xxxxxx$](https://dxdy-01.korotkov.co.uk/f/0/1/b/01b02167cd1c89db137e39d39f4a50e382.png)
даёт многоугольник, который переходит в себя при любом повороте, так что такие многоугольники будут подсчитаны один раз.
Линия
![$xyxyxy$ $xyxyxy$](https://dxdy-03.korotkov.co.uk/f/a/c/1/ac1287a598cbbcf412a9e59b0ffaef4882.png)
даёт многоугольник, который переходит в себя при повороте на две вершины, так что такие многоугольники будут посчитаны два раза.
Наконец,
![$xyzxyz$ $xyzxyz$](https://dxdy-01.korotkov.co.uk/f/c/8/2/c820c12378d50d9caf8232582b0c975482.png)
даёт многоугольник, который переходит в себя при повороте на три вершины и будет подсчитан три раза.
То бишь, формула
![$\frac{C_0}6+{C_1}+\frac{C_2}2+\frac{C_3}3$ $\frac{C_0}6+{C_1}+\frac{C_2}2+\frac{C_3}3$](https://dxdy-04.korotkov.co.uk/f/3/8/8/388db66ab25d2e71d0b4a30e498dc06482.png)
Всё (для шести вершин). Вроде так.
![$$C_0 = n(n-1)(n-2)(n-3)(n-4)(n-5)$$ $$C_0 = n(n-1)(n-2)(n-3)(n-4)(n-5)$$](https://dxdy-02.korotkov.co.uk/f/d/2/e/d2e8678ff1bd4de585934488ea8f58f982.png)
![$$C_1=n$$ $$C_1=n$$](https://dxdy-04.korotkov.co.uk/f/f/3/8/f38b3255b9d311a20072603be263cdb482.png)
![$$C_2=3 n (n-1)$$ $$C_2=3 n (n-1)$$](https://dxdy-04.korotkov.co.uk/f/3/4/3/34388440398318052d5563ae97e5592082.png)
![$$C_3=2 n (n-1)(n-2)$$ $$C_3=2 n (n-1)(n-2)$$](https://dxdy-03.korotkov.co.uk/f/e/e/8/ee8f8b9ad1be461b6db37b648e14005882.png)
Верно понял
![$C_i$ $C_i$](https://dxdy-02.korotkov.co.uk/f/d/b/0/db0e77b2ab4f495dea1f5c5c0858828882.png)
?