Speaker报告人：Prof. Dr. Christopher Jefferson

Affiliation单位：University of St Andrews，Scotland，United Kingdom

Time时间：2023年4月26日16：00-17：00

Where地点：数学与统计学院235报告厅

Title题目：Applying Group Theory to A.I. and A.I. to Group Theory

Abstract摘要：Many real-world problems feature symmetry -- from interchangeable vehicles in transport, to the rotations of a Rubix Cube. Constraint Programming is a branch of AI which deals with solving discrete logical problems like these. Constraint Programming systems often have trouble dealing with such symmetry -- leading to very poor performance and many symmetric solutions. By applying theory and algorithms from permutation groups, we can greatly improve the performance of constraint programming.

Many problems in mathematics, from intersecting groups to finding combinatorial structures, are hard to solve. The best techniques for solving these problems involve computational searches. By using techniques and tools from constraint programming we can greatly improve these searches and solve much larger problems.

In this talk I will demonstrate how constraint programming tools can be used to solve a range of mathematical problems.

Bio of the speaker报告人简介：Christopher Jefferson is a professor at the School of Computer Science, St Andrews, UK.