math - 我被困在为 2 人策略游戏生成谓词逻辑的问题上。如果有人可以提出解决方案

Question

考虑玩家 A 和 B 交替玩的 2 人游戏。初始配置是列表1；3；4；2. 游戏从玩家 A 开始。玩家移动的每一步允许交换任意两个元素的位置。但是，如果移动导致与游戏早期已经发生的相同配置，则该移动是非法的。如果在任何时候达到配置 1,2,3,4，则玩家 A 获胜，如果达到 4,3,2,1，则玩家 B 获胜（无论哪个玩家领先对于获胜的配置，只有配置很重要）。如果要移动的玩家没有合法移动，则游戏以平局结束。对于给定的配置，确定两个玩家的最佳发挥（每个玩家都试图获胜）的结果。

标签： mathlogicpredicatediscrete-mathematics