#pspacecomplete — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #pspacecomplete, aggregated by home.social.
-
At #Integers2025 this spring, I collaborated with a new group and proved that Misere Partizan Arc Kayles is PSPACE-complete. That paper just went up on the arXiv: https://arxiv.org/abs/2511.21888
For that paper we implemented two new playable games: Misere Partizan Arc Kayles itself (https://kyleburke.info/DB/combGames/miserePartizanArcKayles.html) and a Normal-Play version of Bounded Constraint Logic (https://kyleburke.info/DB/combGames/normalBoundedConstraintLogic.html).
I'm especially excited about how clearly we talked about using Constraint Logic to provide computational hardness.