带终端位置或阻塞机动的 Wythoff 游戏变体

我们展示了如何使用软件 Walnut 来获得关于包含阻塞机动或终端位置的著名 Wythoff 游戏变体的结果的简洁证明，分别讨论见于Larsson (2011) 和Komak等人 (2025)。我们的ethods 提供了自动证明，既确认又扩展了他们的结果，相同技术也适用于新的变体。然后，通过经典技术，我们获得了 Wythoff 类游戏的新的递归和 morphic 描述，其中终端位置集合 $(x,y)$ 满足 $x+y\le\ell$。 Walnut 在组合游戏论中的应用相对较新，迄今为止仅探索了少数例子。 Wythoff 游戏由于直接与斐波那契计数系统相关，特别适合这种方法。它使我们能够求解固定参数的值。