サブグループ法

サブグループ法は、群論という数学の分野で使われるアルゴリズムです。要素の単語を見つけるために使用されます。常に最小の単語を返すわけではありませんが、使用されるサブグループの系列に基づいて最適な単語を返すことができます。コードは次のようになります。

関数operate(要素、ジェネレータ)
    <要素に対して操作されたジェネレーターを返します>

関数サブグループ(g)
    シーケンス := (メソッドに応じて使用されるサブグループのセット)
    単語:=[]
    シーケンス内のサブグループ
        コセット代表:= []
        <coset_representatives に (次のサブグループ)/サブグループの剰余類代表を入力します>
        coset_representativesにおける演算
            の場合、 operate (g, operation)が次のサブグループにある場合、
                単語に追加操作
                g =操作(g, 操作)
                中断
    戻り単語