Hard in theory, easy in practice: Why graph isomorphism algorithms seem to be so effective
another classical theorem—the Babai-Erdős-Selkow theorem—showed that almost all graphs can be relabeled to make easy ...