同型性判定途中