[Dieter]

Originally Posted by virgo

I guess its not buggy
description says "which are different ("Paper beats Rock"), so (0 2) is not an automorphism of RPS."
which means (0 2) is not automorphism of RPS(3)
fyi:I think permutation (012) is automorphism of RPS(3) because if you change 0 to 1, 1 to 2, 2 to 0, it keeps vertices and edges

btw, I can't still understand what "a0 b0 c0 d0" means..
what does alphabet at left hand side mean?

The solution shall be something like
0 -> 1,2,3,4
1 -> 2,3,4,5
.........
8 -> 0,1,2,3