| Previous partial or special-case results include the following: If G is a finite strongly connected aperiodic directed graph with no multiple edges, and G contains a simple cycle of prime length which is a proper subset of G, then G has a synchronizing coloring. |
Частичные результаты или специальные случаи, полученные до доказательства теоремы: Если G - конечный сильно связанный апериодичный ориентированный граф без кратных рёбер и G содержит цикл простой длины, тогда G имеет синхронизирующую раскраску. |