https://jakub-oprsal.vercel.app/secret/ Recent content in Secrets on jakub opršal Hugo -- gohugo.io en-gb Wed, 12 Aug 2026 09:00:00 +0200 https://jakub-oprsal.vercel.app/secret/esslli/ Wed, 12 Aug 2026 09:00:00 +0200 https://jakub-oprsal.vercel.app/secret/esslli/ Algebraic approach to constraint satisfaction link to slides main theorem If there is a natural transformation $\operatorname{pol}(A) \to \operatorname{pol}(B)$ then $\operatorname{CSP}(B)$ reduces to $\operatorname{CSP}(A)$ in logspace. I recommend these two papers as an entry point into the theory. The first is recommended to anyone who knows what a functor is, and provides a categorical treatment of the above theorem. The second is more tradional. It was written for combinatorists, and provides a good overview of the state-of-the-art of the field just before the resolution of the dichotomy conjecture.