CIRCA Seminar 5th November 1pm
There will be a CIRCA lunchtime seminar on Thursday 5th November at 1pm in Maths Lecture Theatre B.
Finn Smith and Ruth Hoffmann will speak.
Finn’s Title: Constraints in Semigroup Theory
Finn’s Abstract: A common pattern in Computational Semigroup Theory is that CST problems reduce to a mathematical soup of pleasant group theory and graph theory, cooked in a complicated combinatorial broth. Very often this broth can be seen as a Constraint Satisfaction Problem, though typically it is handled using bespoke algorithms rather than general CSP solvers. I will give a quick introduction to semigroup theory and how this pattern arises, and then discuss a particular problem related to translational hulls of semigroups that might benefit from expert CSP advice.
Ruth’s Title: Analysing different versions of McSplit
Ruth’s Abstract: McSplit is a very fast Maximum Common Subgraph solver (i.e. find the largest subgraph between to graphs). Since 2019 when McSplit was introduced with its branch and bound approach quite a few (occasionally questionable) improvements to the algorithm have been released. These variants include incorporating reinforcement-learning-guided branching, tighter bounding, and structural symmetry reduction.
This talk will introduce McSplit and its variants, and if there is time we will cover why some of the variants are not as good as they claim to be.
Details on the University Events as follows:- Centre for Interdisciplinary Research in Computational Algebra (CIRCA) seminar | Events