Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra

点击翻译按钮获取中文摘要

Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving constraint problems and for the study of formal languages. With a team of top international researchers developing new interactions between mathematics and the study of algorithms, the project will foster a culture of innovation and bring Australia into the play in this internationally competitive area.