[論文レビュー] Algorithms for groups

John J. Cannon, George Havas|arXiv (Cornell University)|Jun 15, 1994

Finite Group Theory Research参考文献 63被引用数 12

ひとこと要約

本稿は、有限生成および置換群を対象とした計算群論の基盤的アルゴリズムを提示する。Todd-Coxeterアルゴリズムやlow-indexアルゴリズムといった主要な技術を概説し、群論における構造的および意思決定的問題の解法において実用的な計算効率を発揮する役割を示している。

ABSTRACT

Group theory is a particularly fertile field for the design of practical algorithms. Algorithms have been developed across the various branches of the subject and they find wide application. Because of its relative maturity, computational group theory may be used to gain insight into the general structure of algebraic algorithms. This paper examines the basic ideas behind some of the more important algorithms for finitely presented groups and permutation groups, and surveys recent developments in these fields.

研究の動機と目的

• 計算群論における実用的アルゴリズムの包括的概説を提供すること。
• 有限生成群および置換群のためのアルゴリズムの理論的および計算的基盤を検討すること。
• これらのアルゴリズムが代数的構造の理解において果たす役割を強調すること。
• アルゴリズム群論分野における最近の進展およびその実装上の課題を調査すること。
• 群論的例を通じて一般代数的アルゴリズム設計の洞察を築く基盤を確立すること。

提案手法

• 有限生成群におけるコセット列挙に向けたTodd-Coxeterアルゴリズムの適用。
• 有限生成群における小さな指数の部分群を列挙するためのlow-index部分群アルゴリズムの使用。
• 構造的解析および群の性質の計算に向けた置換群アルゴリズムの活用。
• 記号計算のためのMAGNUSシステム内でのこれらのアルゴリズムの統合。
• 語の問題や部分群属性といった意思決定問題を解くために計算ツールを活用すること。
• 実用的なアルゴリズムの性能向上を図るための効率的なデータ構造およびヒューリスティクスの設計。

実験結果

リサーチクエスチョン

• RQ1 どのようにして有限生成群に対して効果的に計算できるアルゴリズムを設計できるか？
• RQ2 有限生成群における小さな指数の部分群を列挙するための最も効果的な方法は何か？
• RQ3 置換群における計算技法は、構造的群論的問題の解決をどのように支援するか？
• RQ4 計算群論のコアなアルゴリズムの実用的限界および性能特性は何か？
• RQ5 群論におけるアルゴリズム設計は、一般用途の代数的アルゴリズムの開発にどのように寄与できるか？

主な発見

• Todd-Coxeterアルゴリズムは、多くの場合において語の問題を解くための信頼できる方法を提供する。
• low-index部分群アルゴリズムは、小さな指数の部分群を効果的に列挙でき、群の構造の研究を容易にする。
• 置換群アルゴリズムにより、群の位数、生成元、軌道構造の計算が効率的に行える。
• MAGNUSのようなシステムへのこれらのアルゴリズムの統合により、非自明な群論的問題に対する実用的計算が可能になる。
• これらのアルゴリズムは、ヒューリスティックな最適化と組み合わせることで、幅広い群論的問題に対して強固で効率的な性能を示す。
• 本稿は、計算群論が一般代数的アルゴリズムの開発と検証のための肥沃な分野であることを確立している。