ИСТИНА

Программа предназначена для вычисления канонического представления графов. Поскольку канонические представления графов совпадают тогда и только тогда, когда графы изоморфны, то программа, в частности, позволяет устанавливать изоморфность или ее отсутствие для заданных графов.