Hex棋

Hex棋，又叫六角棋，译作海克斯棋。据说这个游戏是约翰·纳什发明的。网上并没有太多介绍，第一次听说是在“中国大学生计算机博弈大赛”官网上。

棋盘为11×11的六边形小格子组成，它是一种两人添子类游戏（跟五子棋一样）。

它的游戏规则是：两人轮流下子，直到有一方用棋子沟通了两条边（比如先手沟通上下两边则胜利，后手沟通左右两边则胜利）

这是一个先手必胜的游戏
这是一个没有和棋的游戏（我认为这就是这个游戏的魅力所在，我们要证明的就是它到底是先手必胜还是先手必败）
如何证明这个游戏不可能和棋呢？
这个问题等价于“给定一个下满棋盘的Hex棋，必然能够找到一条线沟通两边”
实际上，对于一个平面图，要想隔断两条边必然要连接另两条边。这句话就是证明。
Hex棋显然是一个平面图，因为它的棋盘边没有交叉。

如何证明这个游戏先手必胜呢？
假设这个游戏后手必胜，那么先手从第一个子就模拟后手的必胜走法，从而先手必胜。推出矛盾，所以这个游戏先手必胜。
一言以蔽之，这个游戏是一个子越多越好的游戏。如果这个游戏子多反而是一种累赘，那么先手不一定必胜。

这是一个状态挺多的游戏，一般添子类游戏状态都很多。
它的状态数多达10的56次幂之多࿰