On 3-terminal positions in Hex

TL;DR

This paper explores 3-terminal regions in Hex, characterizing their properties, introducing infinite families of such positions, and demonstrating their applications in strategy verification and disproving existing conjectures.

Contribution

It characterizes Hex as a universal planar Shannon game of degree 3 and develops a comprehensive analysis of 3-terminal regions, including an infinite family called superswitches and a database of realizable values.

Findings

Infinite distinct Hex-realizable values for 3-terminal regions

Introduction of superswitches with specific properties

Applications in verifying templates and disproving conjectures

Abstract

This paper is about 3-terminal regions in Hex. A 3-terminal region is a region of the Hex board that is completely surrounded by black and white stones, in such a way that the black boundary stones form 3 connected components. We characterize Hex as the universal planar Shannon game of degree 3. This ensures that every Hex position can be decomposed into 3-terminal regions. We then investigate the combinatorial game theory of 3-terminal regions. We show that there are infinitely many distinct Hex-realizable values for such regions. We introduce an infinite family of 3-terminal positions called superswitches and investigate their properties. We also present a database of Hex-realizable 3-terminal values, and illustrate its utility as a problem-solving tool by giving various applications. The applications include the automated verification of connects-both templates and pivoting templates, a new handicap strategy for $11\times 11$ Hex, and a method for constructing witnesses for the non-inferiority of probes in many Hex templates. These methods allow us to disprove a conjecture by Henderson and Hayward.