The unpinning avoidance game PSPACE-completeness conjecture

Less than 1 year old · traced to

Let γ ⁣:⨆i=1sS1↬Σ\gamma\colon\bigsqcup_{i=1}^s S^1\looparrowright\Sigma be a multiloop on a surface Σ\Sigma. In the unpinning avoidance game, two players alternately remove pins while leaving a pinning set after each turn; the first player with no legal move loses. Let UnpinAVOID(Σ,s)\mathsf{Unpin_{AVOID}}(\Sigma,s) be the decision problem asking whether Player 1 has a winning strategy, and let SimpleUnpinAVOID(Σ,s)\mathsf{SimpleUnpin_{AVOID}}(\Sigma,s) be its restriction to simple multiloops.

Unpinning avoidance game complexity conjecture. The problem UnpinAVOID(Σ,s)\mathsf{Unpin_{AVOID}}(\Sigma,s) is PSPACE\textsf{PSPACE}-complete for any ss and Σ\Sigma, and SimpleUnpinAVOID(Σ,s)\mathsf{SimpleUnpin_{AVOID}}(\Sigma,s) is PSPACE\textsf{PSPACE}-complete for any s≥4s\geq 4.

The conjecture is motivated by the relationship with Node Kayles, which is known to be PSPACE\textsf{PSPACE}-complete, but the paper leaves these game-complexity claims unresolved.

References

Primary source

Eric Seo, Christopher-Lloyd Simon and Ben Stucky, “The complexity of pinning simple multiloops”, arXiv:2602.07344 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.