Theoretical computer ... problem called graph isomorphism. The result could provide a deeper understanding of the nature of computing and “might be the theoretical computer science result ...