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.