[論文レビュー] The Schreier-Sims algorithm for matrix groups

Henrik Bäärnhielm|ArXiv.org|Oct 28, 2004

Finite Group Theory Research参考文献 21被引用数 3

ひとこと要約

この論文は、置換表現を回避することで効率を向上させる、GAPにおける行列群のためのシュライヤー＝シムズアルゴリズムの新しい直接的実装を提示する。データ構造の最適化と行列固有の演算を活用することで、特に有限体上の大きな行列群に対して、GAPの標準的手法と比較して実行時間の短縮とメモリ使用量の大幅な削減を達成した。

ABSTRACT

This is the report of a project with the aim to make a new implementation of the Schreier-Sims algorithm in GAP, specialized for matrix groups. The standard Schreier-Sims algorithm is described in some detail, followed by descriptions of the probabilistic Schreier-Sims algorithm and the Schreier-Todd-Coxeter-Sims algorithm. Then we discuss our implementation and some optimisations, and finally we report on the performance of our implementation, as compared to the existing implementation in GAP, and we give benchmark results. The conclusion is that our implementation in some cases is faster and consumes much less memory.

研究の動機と目的

• 置換群に変換する前に行列群上で直接動作するシュライヤー＝シムズアルゴリズムの直接的実装を開発すること。
• 行列群の構造を直接活用することで、実行時間とメモリ消費量の両面で計算効率を向上させること。
• 有限体上の行列群を用いたベンチマークテストを通じて、GAPに既存のシュライヤー＝シムズ実装と性能を比較すること。
• 行列群の演算に特化したデータ構造とアルゴリズム的改善を通じて、アルゴリズムを最適化すること。

提案手法

• シュライヤー木とシュライヤーの補題を用いて、置換群への変換を経ずに、行列群上でベースと強い生成集合（BSGS）を直接計算する。
• ベース点の選択を高速化し、計算のオーバーヘッドを低減するために、シュライヤー＝シムズアルゴリズムの確率的変種を採用する。
• コセット代表元の取り扱いやスィービングによるメンバーーシップテストには、シュライヤー＝トッド＝コクセター＝シムズ法を用いる。
• 主な最適化には、効率的な行列演算、動的メモリ管理、および軌道への属性に基づくシュライヤー生成元の選択的生成が含まれる。
• メンバーーシップテスト中にコセット代表元を計算する際には、シュライヤー木からの逆方向パス再構成と軌道代表元を用いる。
• 実行時間とメモリ使用量をGAPの標準実装と比較するために、ベンチマークグループを用いて性能を評価する。

実験結果

リサーチクエスチョン

• RQ1 置換群に変換する前段階を経ずに、行列群上で直接シュライヤー＝シムズアルゴリズムを実装することは、GAPの標準実装を上回る性能を発揮できるか？
• RQ2 シュライヤー＝シムズアルゴリズムを行列群に直接適用することで、速度とメモリ使用量にどの程度の向上が得られるか？
• RQ3 シュライヤー＝シムズアルゴリズムの確率的変種は、行列群の計算時間短縮にどの程度効果的か？
• RQ4 行列群の計算において、どのアルゴリズム的最適化が最も効果的か？

主な発見

• 多くの行列群ベンチマークにおいて、新しい実装はGAPの標準シュライヤー＝シムズアルゴリズムよりも著しく高速な実行時間を達成した。
• いくつかのテストケースではメモリ消費量が大幅に削減され、置換群表現を避けることで、空間効率が優れていることが示された。
• アルゴリズムの確率的変種により、ベース点探索時間の短縮が達成され、全体的な性能向上に寄与した。
• 特に有限体上の大きな行列群では、置換表現に伴うオーバーヘッドが顕著であるため、直接的な行列ベースのアプローチが特に効果的であった。