Expanding the toolbox for search algorithms

该项目的目标是深化和加强与圣安德鲁斯（英国）的几位同事在计算机代数主题上的成功合作。我们的主要目标是：1.扩展我们在基于有向图的搜索算法上的工作。这包括优化实施以及扩展理论概念。2.进一步开发我们的算法来计算规范图像，并将方法扩展到更一般的结构。3.探索使用组的同态图像的搜索算法的想法。

The goal of this project is to deepen and intensify the successful collaboration with several colleagues in St Andrews (UK)on topics in computer algebra. Our main objectives are: 1. Extending our work on search algorithms based on directed graphs. This includes optimising the implementation as well as extending the theoretical concepts. 2. Developing our algorithms for calculating canonical images even further and extending the methods to more general structures. 3. Exploring ideas for search algorithms that use homomorphic images of groups.