Распознавание графов с помощью трёх агентов

Рассматривается задача распознавания графов с помощью трёх агентов. Два агента- исследователя перемещаются по графу, считывают и изменяют метки в вершинах, ребрах и инциденторах графа. Агент-экспериментатор получает от этих агентов информацию об их перемещении и метках, и на этой основе распознает исследуемый граф с точностью до отметок на графе. Предложен алгоритм распознавания квадратичной (от числа вершин графа) временной сложности, квадратичной емкостной сложности и коммуникационной сложности равной O((n2)·log(n)), при этом верхняя оценка числа ребер, посещенных агентами исследователями равна O(n2). Для распознавания агентам требуется по две различные краски (всего три краски).Алгоритм основан на методе обхода графа в глубину