Hex游戏：自动定理证明技术在游戏编程中应用.pdfVIP

table{边框‑合并:;}table,th,td{边框:1px实线#000;}

Hex游戏：一种自动定理证明方法

在游戏编程中的应用VadimV.Anshelevich

Vanshel公司1200

NavahoTrail理查森，德

克萨斯州75080

vanshel

@earthlink.net

是一种两人对弈的游戏，规则简单，具有深刻的数学美感，战略复杂度可与国际象棋

围相美。为国际象棋开发的大量游戏树搜索技术，以及成功应用于跳棋、黑白棋和其他

和棋媲

一游的技术，在面对像围棋和Hex这样分支因子较大的游戏时变得不那么有用。我们提出

些戏

一新方法，从而提高了游戏的强度。这种方法强调对相对较少的游戏位置进行深入分析。

了种的

为实这一目标，我们开发了一种用于Hex位置拓扑分析的自动定理证明技术。我们还详细

了现

论使电气电阻电路模型来模拟Hex位置的想法。我们解释了这种技术如何在Hexy中实

讨了用

现计机程序，能够与顶级人类玩家竞争。

——这是已知最强的Hex游戏算

1.引言

Hex的规则极其简单。然而，有经验的玩家认识到，Hex需要深厚的战略理解和敏锐的

战术技巧。多次尝试构建强