Полиномиальный алгоритм изоморфизма графов, не стягиваемых на $K_{3,g}$

В настоящей работе строится полиномиальный алгоритм для проверки изоморфизма графов, не стягиваемых на $K_{3,g}$. При построении используются свойства раскрашенных графов из этого класса и результаты Бабаи-Лакса о канонизации графов. Указанный класс содержит в себе класс графов рода, не превосходящего $g$, и построенный алгоритм применим к распознаванию изоморфизма графов ограниченной валентности. Предложенный метод является обобщением комбинаторного и теоретико-группового подхода к проблеме изоморфизма.