Havannah is PSPACE-generalized . The proof is by a reduction from complete geography and is based on using ring-threats to represent the geography graph .
Havannah is PSPACE-complete . The proof is by a reduction from generalized geography and is based on using ring-threats to represent the geography graph .