完成is_permutation