Квазиполиномиальный алгоритм Л.Бабаи для проверки изоморфизма графов. Краткое введение.

Квазиполиномиальный алгоритм Л.Бабаи для проверки изоморфизма графов. Краткое введение.

Докладчик:

И. Н. Пономаренко

Дата:

Friday, September 23, 2016 - 17:30

Аннотация:

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