Kwan adds, "The graph isomorphism problem does not seem hard, but we somehow can't yet prove that it's easy." Graphs are used to model a wide variety of systems, such as social networks ...