Attractors and cyclic states in finite dynamic systems of complete graphs orientations

Graph models occupy an important place in information security tasks. Finite dynamic systems of complete graphs orientations are considered. States of a dynamic system ($\Gamma_{K_n}$, $\alpha$), $n \geq 1$, are all possible orientations of a given complete graph ${K_n}$, and the evolutionary function transforms the complete graph orientation by reversing all arcs that go into sinks, and there are no other differences between the given and the next digraphs. The cyclic (belonging to attractors) states of the system are characterized, namely, state belongs to an attractor, if and only if it hasn't a sink or its indegrees vector is $(n-1,n-2,\ldots,0)$. A table is given with the number of cyclic and non-cyclic states in the systems of complete graphs orientations with the number of vertices from $1$ to $8$ inclusive. The formation of attractors of the system, their type and length are described, namely, there are attractors of length $1$, each of which is formed by state without sink, and attractors of length $n$, each of which is formed by such states $\overrightarrow{G} \in \Gamma_{K_n}$, in which indegrees vector is $(n-1,n-2,\ldots,0)$, wherein each such attractor represents a circuit, in which each next state is obtained from the previous one as follows: if $\overrightarrow{G}$ has vector of indegrees of its vertices in the order of their enumeration $(d^{-}(v_1),d^{-}(v_2),\ldots,d^{-}(v_n))$, then $\alpha(\overrightarrow{G}) \in \Gamma_{K_n}$ has vector of indegrees of its vertices in the order of their enumeration $(d^{-}(v_1)+1,d^{-}(v_2)+1,\ldots,d^{-}(v_n)+1)$, where the addition is calculated modulo $n$, and only these attractors. Note that in the considered finite dynamic systems the number of attractors of length $n$ is equal to $(n-1)!$ and the number belonging to the attractors states is equal to $n!$. A table is given with the corresponding number of attractors in the systems of complete graphs orientations with the number of vertices from $1$ to $8$ inclusive.