partitioning & graph isomorphism search