反模式游戏：一个基于模态逻辑的博弈难题
2025-08-13
本文介绍了一个名为“反模式游戏”的二人游戏，玩家轮流在一条线上放置黑白棋子，如果出现连续三个相同的子序列模式则算输。作者使用Haskell程序找到了玩家1在22步内获胜的策略。文章还探讨了更广泛的问题，例如合作玩家能否无限游戏，更多颜色或重复规则下的游戏策略，以及三玩家游戏的获胜条件和策略。这些问题都具有挑战性，部分答案尚不清楚。
游戏
模态逻辑