Предполагается обсудить точное утверждение результата Бабаи, подход Лакса к проблеме изоморфизма графов и структуру алгоритма Бабаи (с высоты птичьего полета).