私は群論に関連する組合せ論の問題に取り組んでおり、GAP で群論の部分を行うことにしました (b/c GAP はその分野で非常に効率的です)。現在、計算には特定の構成で正確なカバーを見つけることが含まれており、これに取り組む最も簡単な方法は、バックトラッキングにクヌースのアルゴリズム X を使用することです。
Algorithm X / Dancing Links の GAP 実装が既に実装されており、再利用できるかどうか (特に、「GAP」の「A」は「アルゴリズム」を表すため) 疑問に思っていました。ドキュメントでそれについて何も見つけていません。他の誰かがそのようなものに出くわしましたか?