Танцующие ссылки в GAP
Я работаю над проблемой комбинаторики, которая связана с теорией групп, и я решил сделать теоретико-групповую часть в GAP (b/c GAP действительно эффективен в этой области). Теперь вычисления включают в себя поиск точного покрытия в определенной конфигурации, и самый простой способ решить эту проблему - использовать алгоритм Кнута X для возврата.
Мне было интересно (особенно учитывая, что "A" в "GAP" обозначает "Алгоритмы"), была ли уже реализована реализация GAP "Алгоритм X / Dancing Links" и может ли она использоваться повторно. Я не нашел ничего об этом в документах; кто-нибудь еще сталкивался с чем-то подобным?