>>830
言ってるのは俺自身ですがちゃんと理解してるか怪しいのも俺自身です

素数判定のように、単純群判定にも多項式時間のアルゴリズムが存在するだろうという「予想」です