群におけるアルゴリズム問題の線形平均ケース複雑さ

群理論における単語問題の平均ケース時間複雑性は線形である。