Graph nonisomorphism problem