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.
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
