### Abstract

There are several parameterized classes of graphs for which polynomial time isomorphism tests are known. Attempts have been made to develop one conceptionally simple parameterized class of algorithms to solve the graph isomorphism problem for all of these classes. Such unified algorithms have been designed to handle almost all of these classes except for the case of bounded eigenvalue multiplicity. It is shown here that this case can also be handled in a more direct way by discrete methods. The new algorithm uses combinatorics and group theory closely related to the methods used for the other feasible classes of graphs.The classical polynomial time graph isomorphism test of Babai, Grigoriev and Mount for graphs of bounded eigenvalue multiplicity consists of two distinct parts. First, in the linear algebra part, numerical approximations of all eigenvalues and projections of the basis vectors into the eigenspaces are computed. The precision has to be chosen carefully to ensure that it is decidable whether two such projections are equal or have equal length. Also equal angles between such projections have to be recognized. In a second combinatorial and group theoretical part, this information is used to try isomorphisms in the projections and either to combine them to a global isomorphism or to detect that none exists. The numerical part is alien to such a discrete mathematical problem. A direct combinatorial approach is more natural and gives more insight. It is shown that such an approach is indeed possible. It is an important step towards one unified algorithm for the graph isomorphism problem for all natural polynomially solvable classes. It helps understanding under which circumstances computationally feasible isomorphism tests are possible.

Original language | English (US) |
---|---|

Title of host publication | Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995 |

Publisher | Association for Computing Machinery |

Pages | 624-631 |

Number of pages | 8 |

ISBN (Electronic) | 0898713498 |

State | Published - Jan 22 1995 |

Event | 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995 - San Francisco, United States Duration: Jan 22 1995 → Jan 24 1995 |

### Publication series

Name | Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms |
---|

### Other

Other | 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995 |
---|---|

Country | United States |

City | San Francisco |

Period | 1/22/95 → 1/24/95 |

### All Science Journal Classification (ASJC) codes

- Software
- Mathematics(all)

## Fingerprint Dive into the research topics of 'Graph isomorphism testing without numerics for graphs of bounded eigenvalue multiplicity'. Together they form a unique fingerprint.

## Cite this

*Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995*(pp. 624-631). (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms). Association for Computing Machinery.