Graph Isomorphism is PSPACE-complete
Computational Complexity
2007-08-31 v1
Abstract
Combining the the results of A.R. Meyer and L.J. Stockmeyer "The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space", and K.S. Booth "Isomorphism testing for graphs, semigroups, and finite automata are polynomiamlly equivalent problems" shows that graph isomorphism is PSPACE-complete.
Cite
@article{arxiv.0708.4075,
title = {Graph Isomorphism is PSPACE-complete},
author = {Matthew Delacorte},
journal= {arXiv preprint arXiv:0708.4075},
year = {2007}
}