全额投注：给我你的钱！

我们提出了一种关于由Angel和Holmes引入的三人博弈游戏的计算机辅助证明。三位玩家分别初始拥有资本为$x, y, z > 0$。在本游戏的每一步中，随机选择两位玩家进行赌博，赌博结果为公平硬币投掷的结果，赌注大小为该时刻两位玩家中资金较少者所持有的总资本。主要关注的数量是玩家1先被消除（到达0资本）的概率。Angel和Holmes已证明该概率作为玩家1初始资本$x$的函数并非单调递减函数。他们推测如果$x < y < z$，则玩家1通过与另一名玩家交换资本后会更好（即更不太可能先被消除）。本文给出了该猜想的计算机辅助证明。为实现此目标，我们引入了名为MeshItUp的理论框架，然后通过混合整数规划方法，对MeshItUp进行两阶段简化，以提高其计算可行性。