标签： algorithm gap-system
我正在研究与群论有联系的组合学问题，我决定在GAP中做组理论部分（b / c GAP在该领域非常有效）。 现在，计算涉及在某种配置中找到精确的覆盖，而解决这个问题的最直接的方法是使用Knuth的算法X进行回溯。
我很想知道（特别是因为＆＃39; A＆＃39; GAP＆＃39;代表算法＆＃39;）是否算法X / Dancing Links的GAP实现已经实施，可以重复使用。我在文档中找不到任何关于它的内容;还有其他人遇到类似的东西吗？