Constraint Satisfaction and Universal Algebra learning seminar

Alexander Wires, Department of Pure Mathematics, University of Waterloo

“Dichotomy for Finite Tournaments III”

We have used cyclic terms and the characterization of Taylor algebras on a two-element to show certain one loop and two loop tournaments of small order are not compatible with a Taylor operation. The next step is to use pp-definable subgraphs to show exactly one loop can be present in any strong Taylor tournament.