Аннотация:В работе Анны Демидовой исследуется следующая задача. Дан неориентированный граф без петель и кратных ребер. По графу перемещается автомат, который должен определить, есть ли в графе циклы. Рассматриваются 2 случая. Первый случай – это графы с ограниченным ветвлением, и в этом случае автомат «видит» все ребра, инцидентные вершине, в которой он находится. Второй случай – графы с неограниченным ветвлением, в этом случае автомат видит только цвет ребра, которое ему подают. В первом случае срабатывает стандартный алгоритм обхода графа с раскраской ребер графа в три цвета. Во втором случае алгоритм сложнее. Но удалось показать, что двух цветов для выявления циклов недостаточно, а трех цветов достаточно.