QCSP on Reflexive Tournaments

Abstract

We give a complexity dichotomy for the Quantified Constraint Satisfaction Problem \( \mathrm{QCSP}(\mathrm{H}) \) when \( \mathrm{H} \) is a reflexive tournament. It is well known that reflexive tournaments can be split into a sequence of strongly connected components \( \mathrm{H}_1,\ldots ,\mathrm{H}_n \) so that there exists an edge from every vertex of \( \mathrm{H}_i \) to every vertex of \( \mathrm{H}_j \) if and only if \( i\lt j \) . We prove that if \( \mathrm{H} \) has both its initial and final strongly connected component (possibly equal) of size 1, then \( \mathrm{QCSP}(\mathrm{H}) \) is in \( \mathsf {NL} \) and otherwise \( \mathrm{QCSP}(\mathrm{H}) \) is \( \mathsf {NP} \) -hard.