我正在研究一个与群论有关的组合问题，我决定在 GAP 中做群论部分（b/c GAP 在该领域非常有效）。现在，计算涉及在特定配置中找到精确的覆盖，解决这个问题的最直接方法是使用 Knuth 的算法 X 进行回溯。
我想知道（特别是因为“GAP”中的“A”代表“算法”）算法 X / Dancing Links 的 GAP 实现是否已经实现并且可以重用。我在文档中没有找到任何关于它的信息；有没有其他人遇到过这样的事情？
我正在研究一个与群论有关的组合问题，我决定在 GAP 中做群论部分（b/c GAP 在该领域非常有效）。现在，计算涉及在特定配置中找到精确的覆盖，解决这个问题的最直接方法是使用 Knuth 的算法 X 进行回溯。
我想知道（特别是因为“GAP”中的“A”代表“算法”）算法 X / Dancing Links 的 GAP 实现是否已经实现并且可以重用。我在文档中没有找到任何关于它的信息；有没有其他人遇到过这样的事情？