>>831
>単純群判定にも多項式時間のアルゴリズムが存在するだろうという「予想」です
 ふーん なんで単純群にこだわってんのかはわかんないけど、判定したいのね