图同构是 PSPACE-完全的
计算复杂性
2007-08-31 v1
摘要
结合 A.R. Meyer 和 L.J. Stockmeyer 的结果“带平方运算的正则表达式的等价性问题需要指数空间”，以及 K.S. Booth 的“图、半群和有限自动机的同构测试是多项式等价问题”，表明图同构是 PSPACE-完全的。
引用
@article{arxiv.0708.4075,
title = {Graph Isomorphism is PSPACE-complete},
author = {Matthew Delacorte},
journal= {arXiv preprint arXiv:0708.4075},
year = {2007}
}