2 J an 2 00 8 Graph isomorphism is polynomial