Computational complexity: Graph non isomorphism is in IP

Loading comments...