4 problems

The P/NP-complete dichotomy conjecture. The CSPs of first-order reducts of finitely bounded homogeneous structures should exhibit a P/NP-complete complexity dichotomy: each such CS…

Feder–Vardi tractability conjecture. If ${\mathfrak B}$ does not interpret primitively positively a graph which is homomorphically equivalent to $K_3$, then

Infinite-domain CSP dichotomy conjecture. One of the following holds: $\mathbb{A}$ satisfies some non-trivial set of h1 identities locally, and $\operatorname{csp}(\mathbb{A})$ is…

Let $\mathcal{G}$ be an oligomorphic permutation group on a set $G$, and let $\mathbb{G}$ be a countable smooth digraph of algebraic length $1$ on $G$ that is invariant under…