The complete classification for quantified equality constraints

04/01/2021
by   Dmitriy Zhuk, et al.
0

We prove that QCSP(ℕ;x=y→ y=z) is PSpace-complete, settling a question open for more than ten years. This completes the complexity classification for quantified equality languages as a trichotomy between Logspace, NP-complete and PSpace-complete.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset